2011-07-31 22:06:40 +02:00
|
|
|
# JOE syntax highlight file for Prolog
|
|
|
|
|
|
|
|
=Idle
|
2011-08-01 20:48:33 +02:00
|
|
|
=Comment green
|
|
|
|
=Constant cyan
|
|
|
|
=Escape bold cyan
|
|
|
|
=Keyword bold
|
|
|
|
=Bad bold red
|
2011-07-31 22:06:40 +02:00
|
|
|
|
2011-10-30 20:33:38 +01:00
|
|
|
=Brace #magenta
|
2015-02-18 19:42:13 +01:00
|
|
|
=Variable #yellow
|
2011-08-01 20:48:33 +02:00
|
|
|
=Predicate red
|
2011-07-31 22:43:51 +02:00
|
|
|
|
2011-07-31 22:06:40 +02:00
|
|
|
:idle Idle
|
|
|
|
* idle
|
2011-07-31 22:43:51 +02:00
|
|
|
"\n" idle
|
|
|
|
"%" line_comment recolor=-1
|
|
|
|
"/" maybe_comment
|
2011-07-31 22:06:40 +02:00
|
|
|
"0-9" first_digit recolor=-1
|
|
|
|
"'" string_sq_1 recolor=-1
|
2011-08-01 11:21:59 +02:00
|
|
|
"\"" string_dq_1 recolor=-1
|
2011-08-01 15:30:09 +02:00
|
|
|
|
|
|
|
# marking -> predicate hilite
|
|
|
|
# buffering -> keyword hilite
|
|
|
|
"a-z" atom mark buffer
|
|
|
|
|
2011-07-31 22:06:40 +02:00
|
|
|
"A-Z" variable recolor=-1
|
|
|
|
"_" _variable
|
2011-08-01 11:21:59 +02:00
|
|
|
"[]" brace recolor=-1
|
2011-07-31 22:43:51 +02:00
|
|
|
|
|
|
|
:line_comment Comment
|
|
|
|
* line_comment
|
2011-08-01 11:21:59 +02:00
|
|
|
"\n" idle
|
2011-07-31 22:43:51 +02:00
|
|
|
|
|
|
|
:maybe_comment Idle
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
|
|
|
"*" comment recolor=-2
|
2011-07-31 22:06:40 +02:00
|
|
|
|
|
|
|
:comment Comment
|
|
|
|
* comment
|
2011-07-31 22:43:51 +02:00
|
|
|
"*" maybe_end_comment
|
|
|
|
|
|
|
|
:maybe_end_comment Comment
|
|
|
|
* comment
|
|
|
|
"/" idle
|
|
|
|
"*" maybe_end_comment
|
|
|
|
|
|
|
|
:brace Brace
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
|
|
|
|
:string_sq_1 Constant
|
|
|
|
* string_sq noeat
|
|
|
|
|
|
|
|
:string_sq Constant
|
|
|
|
* string_sq
|
|
|
|
"\'" idle
|
|
|
|
"\\" string_sq_esc recolor=-1
|
|
|
|
|
|
|
|
:string_sq_esc Escape
|
|
|
|
* string_sq
|
|
|
|
"\n" string_sq recolor=-2
|
|
|
|
|
|
|
|
:string_dq_1 Constant
|
|
|
|
* string_dq noeat
|
|
|
|
|
|
|
|
:string_dq Constant
|
|
|
|
* string_dq
|
|
|
|
"\"" idle
|
|
|
|
"\\" string_dq_esc recolor=-1
|
|
|
|
|
|
|
|
:string_dq_esc Escape
|
|
|
|
* string_dq
|
|
|
|
"\n" string_dq recolor=-2
|
|
|
|
|
|
|
|
:first_digit Constant
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
# no float support
|
|
|
|
# "." float
|
|
|
|
"0-9" first_number
|
|
|
|
|
|
|
|
:first_number Constant
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
"0-9" first_number
|
|
|
|
"." float
|
|
|
|
|
|
|
|
:float Constant
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
"eE" epart
|
|
|
|
"0-9" float
|
|
|
|
|
|
|
|
:epart Constant
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
"0-9+\-" enum
|
|
|
|
|
|
|
|
:enum Constant
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
"0-9" enum
|
|
|
|
|
2011-07-31 22:43:51 +02:00
|
|
|
# list of keywords includes some predicates...
|
2011-07-31 22:06:40 +02:00
|
|
|
:atom Idle
|
2011-08-01 15:30:09 +02:00
|
|
|
* atom_end noeat markend strings
|
2011-07-31 22:43:51 +02:00
|
|
|
"append" kw
|
|
|
|
"atom" kw
|
|
|
|
"atomic" kw
|
|
|
|
"call" kw
|
|
|
|
"catch" kw
|
|
|
|
"clause" kw
|
|
|
|
"close" kw
|
2011-07-31 22:06:40 +02:00
|
|
|
"fail" kw
|
2011-07-31 22:43:51 +02:00
|
|
|
"findall" kw
|
|
|
|
"float" kw
|
|
|
|
"halt" kw
|
|
|
|
"integer" kw
|
|
|
|
"is" kw
|
|
|
|
"member" kw
|
|
|
|
"nl" kw
|
|
|
|
"nonvar" kw
|
|
|
|
"number" kw
|
|
|
|
"once" kw
|
|
|
|
"op" kw
|
|
|
|
"open" kw
|
|
|
|
"read" kw
|
|
|
|
"repeat" kw
|
|
|
|
"throw" kw
|
|
|
|
"true" kw
|
|
|
|
"var" kw
|
|
|
|
"write" kw
|
2011-07-31 22:06:40 +02:00
|
|
|
done
|
|
|
|
"a-zA-Z0-9_" atom
|
|
|
|
|
|
|
|
:kw Keyword
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
|
2011-08-01 15:30:09 +02:00
|
|
|
:atom_end Idle
|
|
|
|
* idle noeat
|
|
|
|
" " atom_end
|
|
|
|
"(" pred_end recolormark
|
|
|
|
":" maybe_pred_end
|
|
|
|
|
2011-08-01 15:34:07 +02:00
|
|
|
:pred_end Predicate
|
2011-08-01 15:30:09 +02:00
|
|
|
* idle noeat
|
|
|
|
|
|
|
|
:maybe_pred_end Idle
|
|
|
|
* idle noeat
|
|
|
|
"-" pred_end recolormark
|
|
|
|
|
2011-07-31 22:06:40 +02:00
|
|
|
:variable Variable
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
"a-zA-Z0-9_" variable
|
|
|
|
|
|
|
|
:_variable Idle
|
2011-08-01 11:21:59 +02:00
|
|
|
* idle noeat
|
2011-07-31 22:06:40 +02:00
|
|
|
# if it's not only _, color it
|
|
|
|
"a-zA-Z0-9_" variable recolor=-2
|