3 <!DOCTYPE MODE SYSTEM "xmode.dtd">
5 <!-- jEdit Prolog syntax file
6 based on the INRIA ISO Prolog web page @ http://pauillac.inria.fr/~hodgson/prolog
8 written by Giulio Piancastelli
10 created on 31st December 2001
11 last revised 19th November 2002
16 <PROPERTY NAME="lineComment" VALUE="%" />
17 <PROPERTY NAME="commentStart" VALUE="/*" />
18 <PROPERTY NAME="commentEnd" VALUE="*/" />
20 <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
23 <EOL_SPAN TYPE="COMMENT1">%</EOL_SPAN>
24 <!--- ISO compliant C-style comments -->
25 <SPAN TYPE="COMMENT1">
30 <!-- String literals -->
31 <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE">
35 <SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE">
40 <!-- List literals -->
41 <SPAN TYPE="LITERAL2" NO_LINE_BREAK="TRUE" DELEGATE="LIST">
47 <SEQ TYPE="OPERATOR">--></SEQ>
48 <SEQ TYPE="OPERATOR">:-</SEQ>
49 <SEQ TYPE="OPERATOR">?-</SEQ>
50 <SEQ TYPE="OPERATOR">;</SEQ>
51 <SEQ TYPE="OPERATOR">-></SEQ>
52 <SEQ TYPE="OPERATOR">,</SEQ>
53 <SEQ TYPE="OPERATOR">\+</SEQ> <!-- ISO Prolog uses it instead of 'not' -->
54 <SEQ TYPE="OPERATOR">==</SEQ>
55 <SEQ TYPE="OPERATOR">\==</SEQ>
56 <SEQ TYPE="OPERATOR">\=</SEQ>
57 <SEQ TYPE="OPERATOR">@<</SEQ>
58 <SEQ TYPE="OPERATOR">@=<</SEQ>
59 <SEQ TYPE="OPERATOR">@>=</SEQ>
60 <SEQ TYPE="OPERATOR">@></SEQ>
61 <SEQ TYPE="OPERATOR">=..</SEQ>
62 <SEQ TYPE="OPERATOR">=:=</SEQ>
63 <SEQ TYPE="OPERATOR">=\=</SEQ>
64 <SEQ TYPE="OPERATOR">=<</SEQ>
65 <SEQ TYPE="OPERATOR">>=</SEQ>
66 <SEQ TYPE="OPERATOR">+</SEQ>
67 <SEQ TYPE="OPERATOR">-</SEQ>
68 <SEQ TYPE="OPERATOR">/\</SEQ>
69 <SEQ TYPE="OPERATOR">\/</SEQ>
70 <SEQ TYPE="OPERATOR">//</SEQ>
71 <SEQ TYPE="OPERATOR"><<</SEQ>
72 <SEQ TYPE="OPERATOR"><</SEQ>
73 <SEQ TYPE="OPERATOR">>></SEQ>
74 <SEQ TYPE="OPERATOR">></SEQ>
75 <SEQ TYPE="OPERATOR">**</SEQ>
76 <SEQ TYPE="OPERATOR">^</SEQ>
77 <SEQ TYPE="OPERATOR">\</SEQ>
78 <SEQ TYPE="OPERATOR">/</SEQ>
79 <SEQ TYPE="OPERATOR">=</SEQ>
80 <SEQ TYPE="OPERATOR">*</SEQ>
82 <!-- The '.' at the end of each clause -->
83 <SEQ TYPE="OPERATOR">.</SEQ>
86 <SEQ TYPE="MARKUP">(</SEQ>
87 <SEQ TYPE="MARKUP">)</SEQ>
88 <SEQ TYPE="NULL">{</SEQ>
89 <SEQ TYPE="NULL">}</SEQ>
93 <!-- Keywords that are 0 arity built-in predicates -->
94 <KEYWORD1>true</KEYWORD1>
95 <KEYWORD1>fail</KEYWORD1>
96 <KEYWORD1>!</KEYWORD1> <!-- cut -->
97 <KEYWORD1>at_end_of_stream</KEYWORD1>
98 <KEYWORD1>nl</KEYWORD1>
99 <KEYWORD1>repeat</KEYWORD1>
100 <KEYWORD1>halt</KEYWORD1>
102 <!-- Keywords that are built-in predicates with arity greater than or equal to 1 -->
103 <FUNCTION>call</FUNCTION>
104 <FUNCTION>catch</FUNCTION>
105 <FUNCTION>throw</FUNCTION>
106 <FUNCTION>unify_with_occurs_check</FUNCTION>
107 <FUNCTION>var</FUNCTION>
108 <FUNCTION>atom</FUNCTION>
109 <FUNCTION>integer</FUNCTION>
110 <FUNCTION>float</FUNCTION>
111 <FUNCTION>atomic</FUNCTION>
112 <FUNCTION>compound</FUNCTION>
113 <FUNCTION>nonvar</FUNCTION>
114 <FUNCTION>number</FUNCTION>
115 <FUNCTION>functor</FUNCTION>
116 <FUNCTION>arg</FUNCTION>
117 <FUNCTION>copy_term</FUNCTION>
118 <FUNCTION>clause</FUNCTION>
119 <FUNCTION>current_predicate</FUNCTION>
120 <FUNCTION>asserta</FUNCTION>
121 <FUNCTION>assertz</FUNCTION>
122 <FUNCTION>retract</FUNCTION>
123 <FUNCTION>abolish</FUNCTION>
124 <FUNCTION>findall</FUNCTION>
125 <FUNCTION>bagof</FUNCTION>
126 <FUNCTION>setof</FUNCTION>
127 <FUNCTION>current_input</FUNCTION>
128 <FUNCTION>current_output</FUNCTION>
129 <FUNCTION>set_input</FUNCTION>
130 <FUNCTION>set_output</FUNCTION>
131 <FUNCTION>open</FUNCTION>
132 <FUNCTION>close</FUNCTION>
133 <FUNCTION>stream_property</FUNCTION>
134 <FUNCTION>at_end_of_stream</FUNCTION> <!-- arity 1 -->
135 <FUNCTION>set_stream_position</FUNCTION>
136 <FUNCTION>get_char</FUNCTION>
137 <FUNCTION>get_code</FUNCTION>
138 <FUNCTION>peek_char</FUNCTION>
139 <FUNCTION>peek_code</FUNCTION>
140 <FUNCTION>put_char</FUNCTION>
141 <FUNCTION>put_code</FUNCTION>
142 <FUNCTION>nl</FUNCTION> <!-- arity 1 -->
143 <FUNCTION>get_byte</FUNCTION>
144 <FUNCTION>peek_byte</FUNCTION>
145 <FUNCTION>put_byte</FUNCTION>
146 <FUNCTION>read_term</FUNCTION>
147 <FUNCTION>read</FUNCTION>
148 <FUNCTION>write_term</FUNCTION>
149 <FUNCTION>write</FUNCTION>
150 <FUNCTION>writeq</FUNCTION>
151 <FUNCTION>write_canonical</FUNCTION>
152 <FUNCTION>op</FUNCTION>
153 <FUNCTION>current_op</FUNCTION>
154 <FUNCTION>char_conversion</FUNCTION>
155 <FUNCTION>current_char_conversion</FUNCTION>
156 <FUNCTION>once</FUNCTION>
157 <FUNCTION>atom_length</FUNCTION>
158 <FUNCTION>atom_concat</FUNCTION>
159 <FUNCTION>sub_atom</FUNCTION>
160 <FUNCTION>atom_chars</FUNCTION>
161 <FUNCTION>atom_codes</FUNCTION>
162 <FUNCTION>char_code</FUNCTION>
163 <FUNCTION>number_chars</FUNCTION>
164 <FUNCTION>number_codes</FUNCTION>
165 <FUNCTION>set_prolog_flag</FUNCTION>
166 <FUNCTION>current_prolog_flag</FUNCTION>
167 <FUNCTION>halt</FUNCTION> <!-- arity 1 -->
169 <!-- Mathematical functions -->
170 <FUNCTION>sin</FUNCTION>
171 <FUNCTION>cos</FUNCTION>
172 <FUNCTION>atan</FUNCTION>
173 <FUNCTION>exp</FUNCTION>
174 <FUNCTION>log</FUNCTION>
175 <FUNCTION>sqrt</FUNCTION>
177 <!-- Keywords that should be operators -->
178 <KEYWORD2>is</KEYWORD2>
179 <KEYWORD2>rem</KEYWORD2>
180 <KEYWORD2>mod</KEYWORD2>
182 <!-- Singleton variable -->
183 <KEYWORD3>_</KEYWORD3>
189 <RULES SET="LIST" DEFAULT="LITERAL2" ESCAPE="\">
190 <SPAN TYPE="LITERAL2" NO_LINE_BREAK="TRUE" DELEGATE="LIST">