blob: e937d9e50db33523453709a94397ba0474f8290f (
plain)
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
'% From [Van den Broeck et al., 2010].' Comment.Single
'\n\n' Text
':-' Operator
' ' Text
'use_module' Name.Function
'(' Punctuation
'library' Name.Function
'(' Punctuation
'pita' Literal.String.Atom
')' Punctuation
')' Punctuation
'.' Punctuation
'\n\n' Text
':-' Operator
' ' Text
'pita' Literal.String.Atom
'.' Punctuation
'\n\n' Text
':-' Operator
' ' Text
'begin_lpad' Literal.String.Atom
'.' Punctuation
'\n\n' Text
'0.3' Literal.Number.Float
'::' Operator
'rain' Literal.String.Atom
'.' Punctuation
'\n' Text
'0.5' Literal.Number.Float
'::' Operator
'wind' Literal.String.Atom
'.' Punctuation
'\n\n' Text
'% decision facts' Comment.Single
'\n' Text
'?' Name.Builtin
' ' Text
'::' Operator
' ' Text
'umbrella' Literal.String.Atom
'.' Punctuation
'\n' Text
'?' Name.Builtin
' ' Text
'::' Operator
' ' Text
'raincoat' Literal.String.Atom
'.' Punctuation
'\n\n' Text
'broken_umbrella' Name.Function
' ' Text
':-' Operator
' ' Text
'rain' Literal.String.Atom
',' Punctuation
'umbrella' Literal.String.Atom
',' Punctuation
'wind' Literal.String.Atom
'.' Punctuation
'\n' Text
'dry' Name.Function
' ' Text
':-' Operator
' ' Text
'rain' Literal.String.Atom
',' Punctuation
' ' Text
'raincoat' Literal.String.Atom
'.' Punctuation
'\n' Text
'dry' Name.Function
' ' Text
':-' Operator
' ' Text
'rain' Literal.String.Atom
',' Punctuation
' ' Text
'umbrella' Literal.String.Atom
',' Punctuation
' ' Text
'\\+' Literal.String.Atom
'(' Punctuation
'broken_umbrella' Literal.String.Atom
')' Punctuation
'.' Punctuation
'\n' Text
'dry' Name.Function
' ' Text
':-' Operator
' ' Text
'\\+' Literal.String.Atom
'(' Punctuation
'rain' Literal.String.Atom
')' Punctuation
'.' Punctuation
'\n\n' Text
'% utility facts' Comment.Single
'\n' Text
'broken_umbrella' Literal.String.Atom
' ' Text
'=>' Operator
' ' Text
'-' Operator
'40.' Literal.Number.Float
'\n' Text
'raincoat' Literal.String.Atom
' ' Text
'=>' Operator
' ' Text
'-' Operator
'20.' Literal.Number.Float
'\n' Text
'umbrella' Literal.String.Atom
' ' Text
'=>' Operator
' ' Text
'-' Operator
'2.' Literal.Number.Float
'\n' Text
'dry' Literal.String.Atom
' ' Text
'=>' Operator
' ' Text
'60.' Literal.Number.Float
'\n\n' Text
':-' Operator
' ' Text
'end_lpad' Literal.String.Atom
'.' Punctuation
'\n\n' Text
'/*' Comment.Multiline
'\n ' Comment.Multiline
'*' Comment.Multiline
' ?- dt_solve(Strategy,Value).\n ' Comment.Multiline
'*' Comment.Multiline
' Expected result:\n ' Comment.Multiline
'*' Comment.Multiline
' Strategy = [umbrella]\n ' Comment.Multiline
'*' Comment.Multiline
' Value = 43.0\n' Comment.Multiline
'*/' Comment.Multiline
'\n' Text
|
