ThirdParty/Pygments/pygments/lexers/prolog.py

changeset 4697
c2e9bf425554
parent 4172
4f20dba37ab6
child 5713
6762afd9f963
equal deleted inserted replaced
4696:bf4d19a7cade 4697:c2e9bf425554
3 pygments.lexers.prolog 3 pygments.lexers.prolog
4 ~~~~~~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~~~~~~
5 5
6 Lexers for Prolog and Prolog-like languages. 6 Lexers for Prolog and Prolog-like languages.
7 7
8 :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details. 9 :license: BSD, see LICENSE for details.
10 """ 10 """
11 11
12 import re 12 import re
13 13
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

eric ide

mercurial