Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 1 | " Vim syntax file |
| 2 | " Language: PROLOG |
Bram Moolenaar | 64d8e25 | 2016-09-06 22:12:34 +0200 | [diff] [blame] | 3 | " Maintainer: Thomas Koehler <jean-luc@picard.franken.de> |
| 4 | " Please be aware: I'm often slow to answer email due to a high |
| 5 | " non-computer related workload (sometimes 4-8 weeks) |
| 6 | " Last Change: 2016 September 6 |
Bram Moolenaar | 543b7ef | 2013-06-01 14:50:56 +0200 | [diff] [blame] | 7 | " URL: http://gott-gehabt.de/800_wer_wir_sind/thomas/Homepage/Computer/vim/syntax/prolog.vim |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 8 | |
| 9 | " There are two sets of highlighting in here: |
| 10 | " If the "prolog_highlighting_clean" variable exists, it is rather sparse. |
| 11 | " Otherwise you get more highlighting. |
| 12 | |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 13 | " quit when a syntax file was already loaded |
| 14 | if exists("b:current_syntax") |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 15 | finish |
| 16 | endif |
| 17 | |
| 18 | " Prolog is case sensitive. |
| 19 | syn case match |
| 20 | |
| 21 | " Very simple highlighting for comments, clause heads and |
| 22 | " character codes. It respects prolog strings and atoms. |
| 23 | |
Bram Moolenaar | 543b7ef | 2013-06-01 14:50:56 +0200 | [diff] [blame] | 24 | syn region prologCComment start=+/\*+ end=+\*/+ |
| 25 | syn match prologComment +%.*+ |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 26 | |
Bram Moolenaar | 543b7ef | 2013-06-01 14:50:56 +0200 | [diff] [blame] | 27 | syn keyword prologKeyword module meta_predicate multifile dynamic |
| 28 | syn match prologCharCode +0'\\\=.+ |
| 29 | syn region prologString start=+"+ skip=+\\\\\|\\"+ end=+"+ |
| 30 | syn region prologAtom start=+'+ skip=+\\\\\|\\'+ end=+'+ |
| 31 | syn region prologClause matchgroup=prologClauseHead start=+^\s*[a-z]\w*+ matchgroup=Normal end=+\.\s\|\.$+ contains=ALLBUT,prologClause |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 32 | |
| 33 | if !exists("prolog_highlighting_clean") |
| 34 | |
| 35 | " some keywords |
| 36 | " some common predicates are also highlighted as keywords |
| 37 | " is there a better solution? |
| 38 | syn keyword prologKeyword abolish current_output peek_code |
| 39 | syn keyword prologKeyword append current_predicate put_byte |
| 40 | syn keyword prologKeyword arg current_prolog_flag put_char |
| 41 | syn keyword prologKeyword asserta fail put_code |
| 42 | syn keyword prologKeyword assertz findall read |
Bram Moolenaar | 543b7ef | 2013-06-01 14:50:56 +0200 | [diff] [blame] | 43 | syn keyword prologKeyword at_end_of_stream float read_term |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 44 | syn keyword prologKeyword atom flush_output repeat |
| 45 | syn keyword prologKeyword atom_chars functor retract |
Bram Moolenaar | 543b7ef | 2013-06-01 14:50:56 +0200 | [diff] [blame] | 46 | syn keyword prologKeyword atom_codes get_byte set_input |
| 47 | syn keyword prologKeyword atom_concat get_char set_output |
| 48 | syn keyword prologKeyword atom_length get_code set_prolog_flag |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 49 | syn keyword prologKeyword atomic halt set_stream_position |
| 50 | syn keyword prologKeyword bagof integer setof |
| 51 | syn keyword prologKeyword call is stream_property |
| 52 | syn keyword prologKeyword catch nl sub_atom |
| 53 | syn keyword prologKeyword char_code nonvar throw |
| 54 | syn keyword prologKeyword char_conversion number true |
| 55 | syn keyword prologKeyword clause number_chars unify_with_occurs_check |
| 56 | syn keyword prologKeyword close number_codes var |
Bram Moolenaar | 543b7ef | 2013-06-01 14:50:56 +0200 | [diff] [blame] | 57 | syn keyword prologKeyword compound once write |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 58 | syn keyword prologKeyword copy_term op write_canonical |
| 59 | syn keyword prologKeyword current_char_conversion open write_term |
| 60 | syn keyword prologKeyword current_input peek_byte writeq |
| 61 | syn keyword prologKeyword current_op peek_char |
| 62 | |
| 63 | syn match prologOperator "=\\=\|=:=\|\\==\|=<\|==\|>=\|\\=\|\\+\|<\|>\|=" |
| 64 | syn match prologAsIs "===\|\\===\|<=\|=>" |
| 65 | |
Bram Moolenaar | 543b7ef | 2013-06-01 14:50:56 +0200 | [diff] [blame] | 66 | syn match prologNumber "\<[0123456789]*\>'\@!" |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 67 | syn match prologCommentError "\*/" |
| 68 | syn match prologSpecialCharacter ";" |
| 69 | syn match prologSpecialCharacter "!" |
Bram Moolenaar | 543b7ef | 2013-06-01 14:50:56 +0200 | [diff] [blame] | 70 | syn match prologSpecialCharacter ":-" |
| 71 | syn match prologSpecialCharacter "-->" |
| 72 | syn match prologQuestion "?-.*\." contains=prologNumber |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 73 | |
| 74 | |
| 75 | endif |
| 76 | |
Bram Moolenaar | 3918c95 | 2005-03-15 22:34:55 +0000 | [diff] [blame] | 77 | syn sync maxlines=50 |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 78 | |
| 79 | |
| 80 | " Define the default highlighting. |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 81 | " Only when an item doesn't have highlighting yet |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 82 | |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 83 | " The default highlighting. |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 84 | hi def link prologComment Comment |
| 85 | hi def link prologCComment Comment |
| 86 | hi def link prologCharCode Special |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 87 | |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 88 | if exists ("prolog_highlighting_clean") |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 89 | |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 90 | hi def link prologKeyword Statement |
| 91 | hi def link prologClauseHead Statement |
| 92 | hi def link prologClause Normal |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 93 | |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 94 | else |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 95 | |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 96 | hi def link prologKeyword Keyword |
| 97 | hi def link prologClauseHead Constant |
| 98 | hi def link prologClause Normal |
| 99 | hi def link prologQuestion PreProc |
| 100 | hi def link prologSpecialCharacter Special |
| 101 | hi def link prologNumber Number |
| 102 | hi def link prologAsIs Normal |
| 103 | hi def link prologCommentError Error |
| 104 | hi def link prologAtom String |
| 105 | hi def link prologString String |
| 106 | hi def link prologOperator Operator |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 107 | |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 108 | endif |
| 109 | |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 110 | |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 111 | let b:current_syntax = "prolog" |
| 112 | |
| 113 | " vim: ts=8 |