File: abc.prolog.native

package info (click to toggle)
haskell-skylighting-core 0.14.7-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 6,720 kB
  • sloc: xml: 124,686; haskell: 3,117; cs: 72; ada: 67; java: 37; ansic: 32; cpp: 31; php: 25; tcl: 19; lisp: 14; perl: 11; makefile: 4
file content (169 lines) | stat: -rw-r--r-- 4,137 bytes parent folder | download | duplicates (3)
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
163
164
165
166
167
168
169
[ [ ( NormalTok , "abc_problem " ) , ( KeywordTok , ":-" ) ]
, [ ( NormalTok , "        maplist(abc_problem" )
  , ( KeywordTok , "," )
  , ( NormalTok , " [" )
  , ( StringTok , "''" )
  , ( NormalTok , ", " )
  , ( StringTok , "'" )
  , ( ErrorTok , "A" )
  , ( StringTok , "'" )
  , ( NormalTok , ", bark, bOOk, treAT, " )
  , ( StringTok , "'" )
  , ( ErrorTok , "COmmon" )
  , ( StringTok , "'" )
  , ( NormalTok , ", sQuaD, " )
  , ( StringTok , "'" )
  , ( ErrorTok , "CONFUSE" )
  , ( StringTok , "'" )
  , ( NormalTok , "])" )
  , ( KeywordTok , "." )
  ]
, []
, []
, [ ( NormalTok , "abc_problem(" )
  , ( DataTypeTok , "Word" )
  , ( NormalTok , ") " )
  , ( KeywordTok , ":-" )
  ]
, [ ( NormalTok , "        " )
  , ( DataTypeTok , "L" )
  , ( NormalTok , " " )
  , ( KeywordTok , "=" )
  , ( NormalTok
    , " [[b,o],[x,k],[d,q],[c,p],[n,a],[g,t],[r,e],[t,g],[q,d],[f,s],"
    )
  ]
, [ ( NormalTok
    , "             [j,w],[h,u],[v,i],[a,n],[o,b],[e,r],[f,s],[l,y],[p,c],[z,m]]"
    )
  , ( KeywordTok , "," )
  ]
, []
, [ ( NormalTok , "        (   abc_problem(" )
  , ( DataTypeTok , "L" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "Word" )
  , ( NormalTok , ")" )
  ]
, [ ( NormalTok , "        " )
  , ( KeywordTok , "->" )
  , ( NormalTok , "  format(" )
  , ( StringTok , "'~" )
  , ( ErrorTok , "w OK" )
  , ( StringTok , "~" )
  , ( ErrorTok , "n" )
  , ( StringTok , "'" )
  , ( KeywordTok , "," )
  , ( NormalTok , " [" )
  , ( DataTypeTok , "Word" )
  , ( NormalTok , "])" )
  ]
, [ ( NormalTok , "        " )
  , ( KeywordTok , ";" )
  , ( NormalTok , "   format(" )
  , ( StringTok , "'~" )
  , ( ErrorTok , "w KO" )
  , ( StringTok , "~" )
  , ( ErrorTok , "n" )
  , ( StringTok , "'" )
  , ( KeywordTok , "," )
  , ( NormalTok , " [" )
  , ( DataTypeTok , "Word" )
  , ( NormalTok , "]))" )
  , ( KeywordTok , "." )
  ]
, []
, [ ( NormalTok , "abc_problem(" )
  , ( DataTypeTok , "L" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "Word" )
  , ( NormalTok , ") " )
  , ( KeywordTok , ":-" )
  ]
, [ ( NormalTok , "        " )
  , ( FunctionTok , "atom_chars" )
  , ( NormalTok , "(" )
  , ( DataTypeTok , "Word" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "C_Words" )
  , ( NormalTok , ")" )
  , ( KeywordTok , "," )
  ]
, [ ( NormalTok , "        maplist(downcase_atom" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "C_Words" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "D_Words" )
  , ( NormalTok , ")" )
  , ( KeywordTok , "," )
  ]
, [ ( NormalTok , "        can_makeword(" )
  , ( DataTypeTok , "L" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "D_Words" )
  , ( NormalTok , ")" )
  , ( KeywordTok , "." )
  ]
, []
, [ ( NormalTok , "can_makeword(" )
  , ( DataTypeTok , "_L" )
  , ( KeywordTok , "," )
  , ( NormalTok , " [])" )
  , ( KeywordTok , "." )
  ]
, []
, [ ( NormalTok , "can_makeword(" )
  , ( DataTypeTok , "L" )
  , ( KeywordTok , "," )
  , ( NormalTok , " [" )
  , ( DataTypeTok , "H" )
  , ( NormalTok , " " )
  , ( FunctionTok , "|" )
  , ( NormalTok , " " )
  , ( DataTypeTok , "T" )
  , ( NormalTok , "]) " )
  , ( KeywordTok , ":-" )
  ]
, [ ( NormalTok , "        (   select([" )
  , ( DataTypeTok , "H" )
  , ( NormalTok , ", " )
  , ( DataTypeTok , "_" )
  , ( NormalTok , "]" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "L" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "L1" )
  , ( NormalTok , ")" )
  , ( KeywordTok , ";" )
  , ( NormalTok , " select([" )
  , ( DataTypeTok , "_" )
  , ( NormalTok , ", " )
  , ( DataTypeTok , "H" )
  , ( NormalTok , "]" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "L" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "L1" )
  , ( NormalTok , "))" )
  , ( KeywordTok , "," )
  ]
, [ ( NormalTok , "        can_makeword(" )
  , ( DataTypeTok , "L1" )
  , ( KeywordTok , "," )
  , ( NormalTok , " " )
  , ( DataTypeTok , "T" )
  , ( NormalTok , ")" )
  , ( KeywordTok , "." )
  ]
, []
]