summaryrefslogtreecommitdiff
path: root/pygments
diff options
context:
space:
mode:
Diffstat (limited to 'pygments')
-rw-r--r--pygments/lexers/cplint.py32
1 files changed, 12 insertions, 20 deletions
diff --git a/pygments/lexers/cplint.py b/pygments/lexers/cplint.py
index 79e9a826..e6c63652 100644
--- a/pygments/lexers/cplint.py
+++ b/pygments/lexers/cplint.py
@@ -2,9 +2,8 @@
pygments.lexers.cplint
~~~~~~~~~~~~~~~~~~~~~~
- Lexer for the cplint language https://cplint.eu, including CP-logic, Logic Programs with Annotated Disjunctions,
- ProbLog and Distributional Clauses syntax
-
+ Lexer for the cplint language
+
:copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
"""
@@ -21,32 +20,25 @@ __all__ = ['CplintLexer']
class CplintLexer(PrologLexer):
"""
- Lexer for cplint files, https://cplint.eu, including CP-logic, Logic Programs with Annotated Disjunctions,
- ProbLog and Distributional Clauses syntax
- .. versionadded:: 2.11
+ Lexer for `cplint <https://cplint.eu>`_ files, including CP-logic, Logic Programs with Annotated Disjunctions,
+ Distributional Clauses syntax, ProbLog, DTProbLog
+
+ .. versionadded:: 2.11
"""
name = 'cplint'
aliases = ['cplint']
filenames = ['*.ecl', '*.prolog', '*.pro', '*.pl', '*.P', '*.lpad', '*.cpl']
mimetypes = ['text/x-cplint']
- flags = re.UNICODE | re.MULTILINE
-
tokens = {
'root': [
+ (r'map_query',Keyword),
(words(('gaussian','uniform_dens','dirichlet','gamma','beta','poisson','binomial','geometric',
- 'exponential','pascal','multinomial','user',
- 'uniform','discrete','finite'), suffix=r'\b'),Name.Builtin),
- (r'([a-z]+)(:)', bygroups(String.Atom, Punctuation)),
- (r'::', Operator),
- (r':', Operator),
- (r'~=', Operator),
- (r'~', Operator),
- (r'([a-z\u00c0-\u1fff\u3040-\ud7ff\ue000-\uffef]'
- r'[\w$\u00c0-\u1fff\u3040-\ud7ff\ue000-\uffef]*)'
- r'(\s*)(:=)',
- bygroups(Name.Function, Text, Operator)), # function defn
- (r':=', Operator),
+ 'exponential','pascal','multinomial','user','val',
+ 'uniform','discrete','finite')),Name.Builtin),
+ (r'([a-z]+)(:)', bygroups(String.Atom, Punctuation)), # annotations of atoms
+ (r':(-|=)|::?|~=?|=>', Operator),
+ (r'\?', Name.Builtin),
inherit,
],
}