1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
| /*
| Language: Prolog
| Description: Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.
| Author: Raivo Laanemets <raivo@infdot.com>
| Website: https://en.wikipedia.org/wiki/Prolog
| */
|
| function prolog(hljs) {
| const ATOM = {
|
| begin: /[a-z][A-Za-z0-9_]*/,
| relevance: 0
| };
|
| const VAR = {
|
| className: 'symbol',
| variants: [
| {
| begin: /[A-Z][a-zA-Z0-9_]*/
| },
| {
| begin: /_[A-Za-z0-9_]*/
| }
| ],
| relevance: 0
| };
|
| const PARENTED = {
|
| begin: /\(/,
| end: /\)/,
| relevance: 0
| };
|
| const LIST = {
|
| begin: /\[/,
| end: /\]/
| };
|
| const LINE_COMMENT = {
|
| className: 'comment',
| begin: /%/,
| end: /$/,
| contains: [ hljs.PHRASAL_WORDS_MODE ]
| };
|
| const BACKTICK_STRING = {
|
| className: 'string',
| begin: /`/,
| end: /`/,
| contains: [ hljs.BACKSLASH_ESCAPE ]
| };
|
| const CHAR_CODE = {
| className: 'string', // 0'a etc.
| begin: /0'(\\'|.)/
| };
|
| const SPACE_CODE = {
| className: 'string',
| begin: /0'\\s/ // 0'\s
| };
|
| const PRED_OP = { // relevance booster
| begin: /:-/
| };
|
| const inner = [
|
| ATOM,
| VAR,
| PARENTED,
| PRED_OP,
| LIST,
| LINE_COMMENT,
| hljs.C_BLOCK_COMMENT_MODE,
| hljs.QUOTE_STRING_MODE,
| hljs.APOS_STRING_MODE,
| BACKTICK_STRING,
| CHAR_CODE,
| SPACE_CODE,
| hljs.C_NUMBER_MODE
| ];
|
| PARENTED.contains = inner;
| LIST.contains = inner;
|
| return {
| name: 'Prolog',
| contains: inner.concat([
| { // relevance booster
| begin: /\.$/
| }
| ])
| };
| }
|
| module.exports = prolog;
|
|
