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
103
104
105
106
107
|
/*! `prolog` grammar compiled for Highlight.js 11.11.1 */
(function(){
var hljsGrammar = (function () {
'use strict';
/*
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
Category: functional
*/
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: /\.$/ }
])
};
}
return prolog;
})();
hljs.registerLanguage('prolog', hljsGrammar);
})();
|
