153 # Term unification |
153 # Term unification |
154 (r'(subsumes_term|unify_with_occurs_check)(?=[(])', Keyword), |
154 (r'(subsumes_term|unify_with_occurs_check)(?=[(])', Keyword), |
155 # Term creation and decomposition |
155 # Term creation and decomposition |
156 (r'(functor|arg|copy_term|numbervars|term_variables)(?=[(])', Keyword), |
156 (r'(functor|arg|copy_term|numbervars|term_variables)(?=[(])', Keyword), |
157 # Evaluable functors |
157 # Evaluable functors |
158 (r'(rem|m(ax|in|od)|abs|sign)(?=[(])', Keyword), |
158 (r'(div|rem|m(ax|in|od)|abs|sign)(?=[(])', Keyword), |
159 (r'float(_(integer|fractional)_part)?(?=[(])', Keyword), |
159 (r'float(_(integer|fractional)_part)?(?=[(])', Keyword), |
160 (r'(floor|truncate|round|ceiling)(?=[(])', Keyword), |
160 (r'(floor|t(an|runcate)|round|ceiling)(?=[(])', Keyword), |
161 # Other arithmetic functors |
161 # Other arithmetic functors |
162 (r'(cos|a(cos|sin|tan)|exp|log|s(in|qrt))(?=[(])', Keyword), |
162 (r'(cos|a(cos|sin|tan|tan2)|exp|log|s(in|qrt)|xor)(?=[(])', Keyword), |
163 # Term testing |
163 # Term testing |
164 (r'(var|atom(ic)?|integer|float|c(allable|ompound)|n(onvar|umber)|' |
164 (r'(var|atom(ic)?|integer|float|c(allable|ompound)|n(onvar|umber)|' |
165 r'ground|acyclic_term)(?=[(])', Keyword), |
165 r'ground|acyclic_term)(?=[(])', Keyword), |
166 # Term comparison |
166 # Term comparison |
167 (r'compare(?=[(])', Keyword), |
167 (r'compare(?=[(])', Keyword), |
210 (r'(=|\\=)', Operator), |
210 (r'(=|\\=)', Operator), |
211 # Term comparison |
211 # Term comparison |
212 (r'(==|\\==|@=<|@<|@>=|@>)', Operator), |
212 (r'(==|\\==|@=<|@<|@>=|@>)', Operator), |
213 # Evaluable functors |
213 # Evaluable functors |
214 (r'(//|[-+*/])', Operator), |
214 (r'(//|[-+*/])', Operator), |
215 (r'\b(e|pi|mod|rem)\b', Operator), |
215 (r'\b(e|pi|div|mod|rem)\b', Operator), |
216 # Other arithemtic functors |
216 # Other arithemtic functors |
217 (r'\b\*\*\b', Operator), |
217 (r'\b\*\*\b', Operator), |
218 # DCG rules |
218 # DCG rules |
219 (r'-->', Operator), |
219 (r'-->', Operator), |
220 # Control constructs |
220 # Control constructs |