1 | |
2 | Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "=", l("[]", Prolog$Var(id=0L, instance=r5), "|", l("[]", r5, "is", "tasty")))) |
3 | Goal arity 3: "[]"($l, "=", "[]"($x, "|", "[]"($x, is, tasty))) |
4 | nextSolution |
5 | Goal: "[]"($l, "=", "[]"($x, "|", "[]"($x, is, tasty))). Got clause: "[]"(_1, "=", "[]"(_2, "|", _3)) :- "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"(_1, "=", retrieve, "()"(_4)) |
6 | Clause unifies to: "[]"($l, "=", "[]"(_2, "|", "[]"(_2, is, tasty))) :- "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"($l, "=", retrieve, "()"(_4)) |
7 | gdash: "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"($l, "=", retrieve, "()"(_4)) |
8 | Goal arity 4: "[]"(_4, "=", new, collector) |
9 | New goal: "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"($l, "=", retrieve, "()"(_4)) |
10 | Goal: "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"($l, "=", retrieve, "()"(_4)). Got clause: "[]"(_6, "=", new, collector) :- native |
11 | Clause unifies to: "[]"(_4, "=", new, collector) :- native |
12 | Clause is native. |
13 | gdash: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true); "[]"($l, "=", retrieve, "()"(___)) |
14 | Goal arity 3: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true) |
15 | New goal: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true); "[]"($l, "=", retrieve, "()"(___)) |
16 | Goal: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true); "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_12, or, _13) :- _12 |
17 | Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true) :- "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))) |
18 | gdash: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))); "[]"($l, "=", retrieve, "()"(___)) |
19 | Goal arity 2: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))) |
20 | New goal: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))); "[]"($l, "=", retrieve, "()"(___)) |
21 | Goal: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))); "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_17, ",", _18, ",", _19))) :- _18; "[]"(saveTo, "()"("[]"(_17, ",", _19))); false |
22 | Clause unifies to: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))) :- _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false |
23 | gdash: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
24 | Weird: Goal is variable: _5 |
25 | New goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
26 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true |
27 | Clause unifies to: true |
28 | gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
29 | Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___))) |
30 | New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
31 | Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_20, ",", _21))) :- native |
32 | Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native |
33 | Clause is native. |
34 | gdash: false; "[]"($l, "=", retrieve, "()"(___)) |
35 | Goal arity 0: false |
36 | New goal: false; "[]"($l, "=", retrieve, "()"(___)) |
37 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_26, "=", new, collector) :- native |
38 | Clause unifies to: "[]"(_26, "=", new, collector) :- native |
39 | Clause is native. |
40 | gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
41 | Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___))) |
42 | New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
43 | Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_27, ",", _28))) :- native |
44 | Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native |
45 | Clause is native. |
46 | gdash: false; "[]"($l, "=", retrieve, "()"(___)) |
47 | Goal arity 0: false |
48 | New goal: false; "[]"($l, "=", retrieve, "()"(___)) |
49 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_33, ",", _34))) :- native |
50 | Clause unifies to: "[]"(saveTo, "()"("[]"(_33, ",", _34))) :- native |
51 | Clause is native. |
52 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
53 | Native clause fails |
54 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_35, "=", _36, "()"(_37)) :- native |
55 | Clause unifies to: "[]"(_35, "=", _36, "()"(_37)) :- native |
56 | Clause is native. |
57 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
58 | Native clause fails |
59 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native |
60 | Clause unifies to: nativeTest2 :- native |
61 | Clause is native. |
62 | gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
63 | Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___))) |
64 | New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
65 | Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_38, ",", _39))) :- native |
66 | Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native |
67 | Clause is native. |
68 | gdash: false; "[]"($l, "=", retrieve, "()"(___)) |
69 | Goal arity 0: false |
70 | New goal: false; "[]"($l, "=", retrieve, "()"(___)) |
71 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native |
72 | Clause unifies to: nativeFail :- native |
73 | Clause is native. |
74 | Native clause fails |
75 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_44, "=", intmul, "()"("[]"(_45, ",", _46))) :- native |
76 | Clause unifies to: "[]"(_44, "=", intmul, "()"("[]"(_45, ",", _46))) :- native |
77 | Clause is native. |
78 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
79 | Native clause fails |
80 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_47, "=", intdiv, "()"("[]"(_48, ",", _49))) :- native |
81 | Clause unifies to: "[]"(_47, "=", intdiv, "()"("[]"(_48, ",", _49))) :- native |
82 | Clause is native. |
83 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
84 | Native clause fails |
85 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_50, "=", intadd, "()"("[]"(_51, ",", _52))) :- native |
86 | Clause unifies to: "[]"(_50, "=", intadd, "()"("[]"(_51, ",", _52))) :- native |
87 | Clause is native. |
88 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
89 | Native clause fails |
90 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_53, "=", intminus, "()"("[]"(_54, ",", _55))) :- native |
91 | Clause unifies to: "[]"(_53, "=", intminus, "()"("[]"(_54, ",", _55))) :- native |
92 | Clause is native. |
93 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
94 | Native clause fails |
95 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_56, is, greater, than, _57) :- native |
96 | Clause unifies to: "[]"(_56, is, greater, than, _57) :- native |
97 | Clause is native. |
98 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
99 | Native clause fails |
100 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _58, exists, in, theory, _59) :- native |
101 | Clause unifies to: "[]"(head, _58, exists, in, theory, _59) :- native |
102 | Clause is native. |
103 | Exception in native: java.lang.NullPointerException |
104 | Native clause fails |
105 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_60, "=", all, theory, names) :- native |
106 | Clause unifies to: "[]"(_60, "=", all, theory, names) :- native |
107 | Clause is native. |
108 | gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
109 | Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___))) |
110 | New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
111 | Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_61, ",", _62))) :- native |
112 | Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native |
113 | Clause is native. |
114 | gdash: false; "[]"($l, "=", retrieve, "()"(___)) |
115 | Goal arity 0: false |
116 | New goal: false; "[]"($l, "=", retrieve, "()"(___)) |
117 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_67, "=", tocons, "()"(_68)) :- native |
118 | Clause unifies to: "[]"(_67, "=", tocons, "()"(_68)) :- native |
119 | Clause is native. |
120 | gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
121 | Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___))) |
122 | New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
123 | Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_69, ",", _70))) :- native |
124 | Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native |
125 | Clause is native. |
126 | gdash: false; "[]"($l, "=", retrieve, "()"(___)) |
127 | Goal arity 0: false |
128 | New goal: false; "[]"($l, "=", retrieve, "()"(___)) |
129 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_75, is, less, than, _76) :- native |
130 | Clause unifies to: "[]"(_75, is, less, than, _76) :- native |
131 | Clause is native. |
132 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
133 | Native clause fails |
134 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_77, "=", arg, _78, in, _79) :- native |
135 | Clause unifies to: "[]"(_77, "=", arg, _78, in, _79) :- native |
136 | Clause is native. |
137 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
138 | Native clause fails |
139 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_80, "=", arity, of, _81) :- native |
140 | Clause unifies to: "[]"(_80, "=", arity, of, _81) :- native |
141 | Clause is native. |
142 | gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
143 | Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___))) |
144 | New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
145 | Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_82, ",", _83))) :- native |
146 | Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native |
147 | Clause is native. |
148 | gdash: false; "[]"($l, "=", retrieve, "()"(___)) |
149 | Goal arity 0: false |
150 | New goal: false; "[]"($l, "=", retrieve, "()"(___)) |
151 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_88, "=", operator, "()"(_89)) :- native |
152 | Clause unifies to: "[]"(_88, "=", operator, "()"(_89)) :- native |
153 | Clause is native. |
154 | gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
155 | Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___))) |
156 | New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
157 | Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_90, ",", _91))) :- native |
158 | Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native |
159 | Clause is native. |
160 | gdash: false; "[]"($l, "=", retrieve, "()"(___)) |
161 | Goal arity 0: false |
162 | New goal: false; "[]"($l, "=", retrieve, "()"(___)) |
163 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_96)) :- native |
164 | Clause unifies to: "[]"(isQuoted, "()"(_96)) :- native |
165 | Clause is native. |
166 | Native clause fails |
167 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty) |
168 | Clause unifies to: "[]"(lasagna, is, tasty) |
169 | gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
170 | Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___))) |
171 | New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
172 | Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_97, ",", _98))) :- native |
173 | Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native |
174 | Clause is native. |
175 | gdash: false; "[]"($l, "=", retrieve, "()"(___)) |
176 | Goal arity 0: false |
177 | New goal: false; "[]"($l, "=", retrieve, "()"(___)) |
178 | Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_103, ",", _104, ",", _105))) :- _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false |
179 | Clause unifies to: "[]"(forall_impl, "()"("[]"(_103, ",", _104, ",", _105))) :- _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false |
180 | gdash: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
181 | Weird: Goal is variable: _104 |
182 | New goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
183 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true |
184 | Clause unifies to: true |
185 | gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
186 | Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105))) |
187 | New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
188 | Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_106, ",", _107))) :- native |
189 | Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native |
190 | Clause is native. |
191 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
192 | Native clause fails |
193 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_112, "=", new, collector) :- native |
194 | Clause unifies to: "[]"(_112, "=", new, collector) :- native |
195 | Clause is native. |
196 | gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
197 | Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105))) |
198 | New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
199 | Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_113, ",", _114))) :- native |
200 | Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native |
201 | Clause is native. |
202 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
203 | Native clause fails |
204 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_119, ",", _120))) :- native |
205 | Clause unifies to: "[]"(saveTo, "()"("[]"(_119, ",", _120))) :- native |
206 | Clause is native. |
207 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
208 | Native clause fails |
209 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_121, "=", _122, "()"(_123)) :- native |
210 | Clause unifies to: "[]"(_121, "=", _122, "()"(_123)) :- native |
211 | Clause is native. |
212 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
213 | Native clause fails |
214 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native |
215 | Clause unifies to: nativeTest2 :- native |
216 | Clause is native. |
217 | gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
218 | Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105))) |
219 | New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
220 | Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_124, ",", _125))) :- native |
221 | Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native |
222 | Clause is native. |
223 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
224 | Native clause fails |
225 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native |
226 | Clause unifies to: nativeFail :- native |
227 | Clause is native. |
228 | Native clause fails |
229 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_130, "=", intmul, "()"("[]"(_131, ",", _132))) :- native |
230 | Clause unifies to: "[]"(_130, "=", intmul, "()"("[]"(_131, ",", _132))) :- native |
231 | Clause is native. |
232 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
233 | Native clause fails |
234 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_133, "=", intdiv, "()"("[]"(_134, ",", _135))) :- native |
235 | Clause unifies to: "[]"(_133, "=", intdiv, "()"("[]"(_134, ",", _135))) :- native |
236 | Clause is native. |
237 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
238 | Native clause fails |
239 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_136, "=", intadd, "()"("[]"(_137, ",", _138))) :- native |
240 | Clause unifies to: "[]"(_136, "=", intadd, "()"("[]"(_137, ",", _138))) :- native |
241 | Clause is native. |
242 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
243 | Native clause fails |
244 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_139, "=", intminus, "()"("[]"(_140, ",", _141))) :- native |
245 | Clause unifies to: "[]"(_139, "=", intminus, "()"("[]"(_140, ",", _141))) :- native |
246 | Clause is native. |
247 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
248 | Native clause fails |
249 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_142, is, greater, than, _143) :- native |
250 | Clause unifies to: "[]"(_142, is, greater, than, _143) :- native |
251 | Clause is native. |
252 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
253 | Native clause fails |
254 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _144, exists, in, theory, _145) :- native |
255 | Clause unifies to: "[]"(head, _144, exists, in, theory, _145) :- native |
256 | Clause is native. |
257 | Exception in native: java.lang.NullPointerException |
258 | Native clause fails |
259 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_146, "=", all, theory, names) :- native |
260 | Clause unifies to: "[]"(_146, "=", all, theory, names) :- native |
261 | Clause is native. |
262 | gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
263 | Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105))) |
264 | New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
265 | Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_147, ",", _148))) :- native |
266 | Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native |
267 | Clause is native. |
268 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
269 | Native clause fails |
270 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_153, "=", tocons, "()"(_154)) :- native |
271 | Clause unifies to: "[]"(_153, "=", tocons, "()"(_154)) :- native |
272 | Clause is native. |
273 | gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
274 | Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105))) |
275 | New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
276 | Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_155, ",", _156))) :- native |
277 | Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native |
278 | Clause is native. |
279 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
280 | Native clause fails |
281 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_161, is, less, than, _162) :- native |
282 | Clause unifies to: "[]"(_161, is, less, than, _162) :- native |
283 | Clause is native. |
284 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
285 | Native clause fails |
286 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_163, "=", arg, _164, in, _165) :- native |
287 | Clause unifies to: "[]"(_163, "=", arg, _164, in, _165) :- native |
288 | Clause is native. |
289 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
290 | Native clause fails |
291 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_166, "=", arity, of, _167) :- native |
292 | Clause unifies to: "[]"(_166, "=", arity, of, _167) :- native |
293 | Clause is native. |
294 | gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
295 | Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105))) |
296 | New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
297 | Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_168, ",", _169))) :- native |
298 | Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native |
299 | Clause is native. |
300 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
301 | Native clause fails |
302 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_174, "=", operator, "()"(_175)) :- native |
303 | Clause unifies to: "[]"(_174, "=", operator, "()"(_175)) :- native |
304 | Clause is native. |
305 | gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
306 | Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105))) |
307 | New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
308 | Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_176, ",", _177))) :- native |
309 | Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native |
310 | Clause is native. |
311 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
312 | Native clause fails |
313 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_182)) :- native |
314 | Clause unifies to: "[]"(isQuoted, "()"(_182)) :- native |
315 | Clause is native. |
316 | Native clause fails |
317 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty) |
318 | Clause unifies to: "[]"(lasagna, is, tasty) |
319 | gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
320 | Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105))) |
321 | New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
322 | Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_183, ",", _184))) :- native |
323 | Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native |
324 | Clause is native. |
325 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
326 | Native clause fails |
327 | Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_189, ",", _190, ",", _191))) :- _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false |
328 | Clause unifies to: "[]"(forall_impl, "()"("[]"(_189, ",", _190, ",", _191))) :- _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false |
329 | gdash: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
330 | Weird: Goal is variable: _190 |
331 | New goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
332 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true |
333 | Clause unifies to: true |
334 | gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
335 | Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191))) |
336 | New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
337 | Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_192, ",", _193))) :- native |
338 | Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native |
339 | Clause is native. |
340 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
341 | Native clause fails |
342 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_198, "=", new, collector) :- native |
343 | Clause unifies to: "[]"(_198, "=", new, collector) :- native |
344 | Clause is native. |
345 | gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
346 | Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191))) |
347 | New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
348 | Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_199, ",", _200))) :- native |
349 | Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native |
350 | Clause is native. |
351 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
352 | Native clause fails |
353 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_205, ",", _206))) :- native |
354 | Clause unifies to: "[]"(saveTo, "()"("[]"(_205, ",", _206))) :- native |
355 | Clause is native. |
356 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
357 | Native clause fails |
358 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_207, "=", _208, "()"(_209)) :- native |
359 | Clause unifies to: "[]"(_207, "=", _208, "()"(_209)) :- native |
360 | Clause is native. |
361 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
362 | Native clause fails |
363 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native |
364 | Clause unifies to: nativeTest2 :- native |
365 | Clause is native. |
366 | gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
367 | Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191))) |
368 | New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
369 | Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_210, ",", _211))) :- native |
370 | Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native |
371 | Clause is native. |
372 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
373 | Native clause fails |
374 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native |
375 | Clause unifies to: nativeFail :- native |
376 | Clause is native. |
377 | Native clause fails |
378 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_216, "=", intmul, "()"("[]"(_217, ",", _218))) :- native |
379 | Clause unifies to: "[]"(_216, "=", intmul, "()"("[]"(_217, ",", _218))) :- native |
380 | Clause is native. |
381 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
382 | Native clause fails |
383 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_219, "=", intdiv, "()"("[]"(_220, ",", _221))) :- native |
384 | Clause unifies to: "[]"(_219, "=", intdiv, "()"("[]"(_220, ",", _221))) :- native |
385 | Clause is native. |
386 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
387 | Native clause fails |
388 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_222, "=", intadd, "()"("[]"(_223, ",", _224))) :- native |
389 | Clause unifies to: "[]"(_222, "=", intadd, "()"("[]"(_223, ",", _224))) :- native |
390 | Clause is native. |
391 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
392 | Native clause fails |
393 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_225, "=", intminus, "()"("[]"(_226, ",", _227))) :- native |
394 | Clause unifies to: "[]"(_225, "=", intminus, "()"("[]"(_226, ",", _227))) :- native |
395 | Clause is native. |
396 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
397 | Native clause fails |
398 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_228, is, greater, than, _229) :- native |
399 | Clause unifies to: "[]"(_228, is, greater, than, _229) :- native |
400 | Clause is native. |
401 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
402 | Native clause fails |
403 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _230, exists, in, theory, _231) :- native |
404 | Clause unifies to: "[]"(head, _230, exists, in, theory, _231) :- native |
405 | Clause is native. |
406 | Exception in native: java.lang.NullPointerException |
407 | Native clause fails |
408 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_232, "=", all, theory, names) :- native |
409 | Clause unifies to: "[]"(_232, "=", all, theory, names) :- native |
410 | Clause is native. |
411 | gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
412 | Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191))) |
413 | New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
414 | Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_233, ",", _234))) :- native |
415 | Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native |
416 | Clause is native. |
417 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
418 | Native clause fails |
419 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_239, "=", tocons, "()"(_240)) :- native |
420 | Clause unifies to: "[]"(_239, "=", tocons, "()"(_240)) :- native |
421 | Clause is native. |
422 | gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
423 | Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191))) |
424 | New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
425 | Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_241, ",", _242))) :- native |
426 | Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native |
427 | Clause is native. |
428 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
429 | Native clause fails |
430 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_247, is, less, than, _248) :- native |
431 | Clause unifies to: "[]"(_247, is, less, than, _248) :- native |
432 | Clause is native. |
433 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
434 | Native clause fails |
435 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_249, "=", arg, _250, in, _251) :- native |
436 | Clause unifies to: "[]"(_249, "=", arg, _250, in, _251) :- native |
437 | Clause is native. |
438 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
439 | Native clause fails |
440 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_252, "=", arity, of, _253) :- native |
441 | Clause unifies to: "[]"(_252, "=", arity, of, _253) :- native |
442 | Clause is native. |
443 | gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
444 | Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191))) |
445 | New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
446 | Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_254, ",", _255))) :- native |
447 | Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native |
448 | Clause is native. |
449 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
450 | Native clause fails |
451 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_260, "=", operator, "()"(_261)) :- native |
452 | Clause unifies to: "[]"(_260, "=", operator, "()"(_261)) :- native |
453 | Clause is native. |
454 | gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
455 | Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191))) |
456 | New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
457 | Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_262, ",", _263))) :- native |
458 | Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native |
459 | Clause is native. |
460 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
461 | Native clause fails |
462 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_268)) :- native |
463 | Clause unifies to: "[]"(isQuoted, "()"(_268)) :- native |
464 | Clause is native. |
465 | Native clause fails |
466 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty) |
467 | Clause unifies to: "[]"(lasagna, is, tasty) |
468 | gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
469 | Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191))) |
470 | New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
471 | Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_269, ",", _270))) :- native |
472 | Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native |
473 | Clause is native. |
474 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
475 | Native clause fails |
476 | Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_275, ",", _276, ",", _277))) :- _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false |
477 | Clause unifies to: "[]"(forall_impl, "()"("[]"(_275, ",", _276, ",", _277))) :- _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false |
478 | gdash: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
479 | Weird: Goal is variable: _276 |
480 | New goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
481 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true |
482 | Clause unifies to: true |
483 | gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
484 | Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277))) |
485 | New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
486 | Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_278, ",", _279))) :- native |
487 | Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native |
488 | Clause is native. |
489 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
490 | Native clause fails |
491 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_284, "=", new, collector) :- native |
492 | Clause unifies to: "[]"(_284, "=", new, collector) :- native |
493 | Clause is native. |
494 | gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
495 | Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277))) |
496 | New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
497 | Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_285, ",", _286))) :- native |
498 | Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native |
499 | Clause is native. |
500 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
501 | Native clause fails |
502 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_291, ",", _292))) :- native |
503 | Clause unifies to: "[]"(saveTo, "()"("[]"(_291, ",", _292))) :- native |
504 | Clause is native. |
505 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
506 | Native clause fails |
507 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_293, "=", _294, "()"(_295)) :- native |
508 | Clause unifies to: "[]"(_293, "=", _294, "()"(_295)) :- native |
509 | Clause is native. |
510 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
511 | Native clause fails |
512 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native |
513 | Clause unifies to: nativeTest2 :- native |
514 | Clause is native. |
515 | gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
516 | Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277))) |
517 | New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
518 | Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_296, ",", _297))) :- native |
519 | Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native |
520 | Clause is native. |
521 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
522 | Native clause fails |
523 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native |
524 | Clause unifies to: nativeFail :- native |
525 | Clause is native. |
526 | Native clause fails |
527 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_302, "=", intmul, "()"("[]"(_303, ",", _304))) :- native |
528 | Clause unifies to: "[]"(_302, "=", intmul, "()"("[]"(_303, ",", _304))) :- native |
529 | Clause is native. |
530 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
531 | Native clause fails |
532 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_305, "=", intdiv, "()"("[]"(_306, ",", _307))) :- native |
533 | Clause unifies to: "[]"(_305, "=", intdiv, "()"("[]"(_306, ",", _307))) :- native |
534 | Clause is native. |
535 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
536 | Native clause fails |
537 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_308, "=", intadd, "()"("[]"(_309, ",", _310))) :- native |
538 | Clause unifies to: "[]"(_308, "=", intadd, "()"("[]"(_309, ",", _310))) :- native |
539 | Clause is native. |
540 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
541 | Native clause fails |
542 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_311, "=", intminus, "()"("[]"(_312, ",", _313))) :- native |
543 | Clause unifies to: "[]"(_311, "=", intminus, "()"("[]"(_312, ",", _313))) :- native |
544 | Clause is native. |
545 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
546 | Native clause fails |
547 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_314, is, greater, than, _315) :- native |
548 | Clause unifies to: "[]"(_314, is, greater, than, _315) :- native |
549 | Clause is native. |
550 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
551 | Native clause fails |
552 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _316, exists, in, theory, _317) :- native |
553 | Clause unifies to: "[]"(head, _316, exists, in, theory, _317) :- native |
554 | Clause is native. |
555 | Exception in native: java.lang.NullPointerException |
556 | Native clause fails |
557 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_318, "=", all, theory, names) :- native |
558 | Clause unifies to: "[]"(_318, "=", all, theory, names) :- native |
559 | Clause is native. |
560 | gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
561 | Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277))) |
562 | New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
563 | Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_319, ",", _320))) :- native |
564 | Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native |
565 | Clause is native. |
566 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
567 | Native clause fails |
568 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_325, "=", tocons, "()"(_326)) :- native |
569 | Clause unifies to: "[]"(_325, "=", tocons, "()"(_326)) :- native |
570 | Clause is native. |
571 | gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
572 | Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277))) |
573 | New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
574 | Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_327, ",", _328))) :- native |
575 | Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native |
576 | Clause is native. |
577 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
578 | Native clause fails |
579 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_333, is, less, than, _334) :- native |
580 | Clause unifies to: "[]"(_333, is, less, than, _334) :- native |
581 | Clause is native. |
582 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
583 | Native clause fails |
584 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_335, "=", arg, _336, in, _337) :- native |
585 | Clause unifies to: "[]"(_335, "=", arg, _336, in, _337) :- native |
586 | Clause is native. |
587 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
588 | Native clause fails |
589 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_338, "=", arity, of, _339) :- native |
590 | Clause unifies to: "[]"(_338, "=", arity, of, _339) :- native |
591 | Clause is native. |
592 | gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
593 | Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277))) |
594 | New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
595 | Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_340, ",", _341))) :- native |
596 | Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native |
597 | Clause is native. |
598 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
599 | Native clause fails |
600 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_346, "=", operator, "()"(_347)) :- native |
601 | Clause unifies to: "[]"(_346, "=", operator, "()"(_347)) :- native |
602 | Clause is native. |
603 | gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
604 | Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277))) |
605 | New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
606 | Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_348, ",", _349))) :- native |
607 | Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native |
608 | Clause is native. |
609 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
610 | Native clause fails |
611 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_354)) :- native |
612 | Clause unifies to: "[]"(isQuoted, "()"(_354)) :- native |
613 | Clause is native. |
614 | Native clause fails |
615 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty) |
616 | Clause unifies to: "[]"(lasagna, is, tasty) |
617 | gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
618 | Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277))) |
619 | New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
620 | Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_355, ",", _356))) :- native |
621 | Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native |
622 | Clause is native. |
623 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
624 | Native clause fails |
625 | Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_361, ",", _362, ",", _363))) :- _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false |
626 | Clause unifies to: "[]"(forall_impl, "()"("[]"(_361, ",", _362, ",", _363))) :- _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false |
627 | gdash: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
628 | Weird: Goal is variable: _362 |
629 | New goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
630 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true |
631 | Clause unifies to: true |
632 | gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
633 | Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363))) |
634 | New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
635 | Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_364, ",", _365))) :- native |
636 | Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native |
637 | Clause is native. |
638 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
639 | Native clause fails |
640 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_370, "=", new, collector) :- native |
641 | Clause unifies to: "[]"(_370, "=", new, collector) :- native |
642 | Clause is native. |
643 | gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
644 | Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363))) |
645 | New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
646 | Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_371, ",", _372))) :- native |
647 | Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native |
648 | Clause is native. |
649 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
650 | Native clause fails |
651 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_377, ",", _378))) :- native |
652 | Clause unifies to: "[]"(saveTo, "()"("[]"(_377, ",", _378))) :- native |
653 | Clause is native. |
654 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
655 | Native clause fails |
656 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_379, "=", _380, "()"(_381)) :- native |
657 | Clause unifies to: "[]"(_379, "=", _380, "()"(_381)) :- native |
658 | Clause is native. |
659 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
660 | Native clause fails |
661 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native |
662 | Clause unifies to: nativeTest2 :- native |
663 | Clause is native. |
664 | gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
665 | Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363))) |
666 | New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
667 | Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_382, ",", _383))) :- native |
668 | Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native |
669 | Clause is native. |
670 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
671 | Native clause fails |
672 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native |
673 | Clause unifies to: nativeFail :- native |
674 | Clause is native. |
675 | Native clause fails |
676 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_388, "=", intmul, "()"("[]"(_389, ",", _390))) :- native |
677 | Clause unifies to: "[]"(_388, "=", intmul, "()"("[]"(_389, ",", _390))) :- native |
678 | Clause is native. |
679 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
680 | Native clause fails |
681 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_391, "=", intdiv, "()"("[]"(_392, ",", _393))) :- native |
682 | Clause unifies to: "[]"(_391, "=", intdiv, "()"("[]"(_392, ",", _393))) :- native |
683 | Clause is native. |
684 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
685 | Native clause fails |
686 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_394, "=", intadd, "()"("[]"(_395, ",", _396))) :- native |
687 | Clause unifies to: "[]"(_394, "=", intadd, "()"("[]"(_395, ",", _396))) :- native |
688 | Clause is native. |
689 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
690 | Native clause fails |
691 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_397, "=", intminus, "()"("[]"(_398, ",", _399))) :- native |
692 | Clause unifies to: "[]"(_397, "=", intminus, "()"("[]"(_398, ",", _399))) :- native |
693 | Clause is native. |
694 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
695 | Native clause fails |
696 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_400, is, greater, than, _401) :- native |
697 | Clause unifies to: "[]"(_400, is, greater, than, _401) :- native |
698 | Clause is native. |
699 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
700 | Native clause fails |
701 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _402, exists, in, theory, _403) :- native |
702 | Clause unifies to: "[]"(head, _402, exists, in, theory, _403) :- native |
703 | Clause is native. |
704 | Exception in native: java.lang.NullPointerException |
705 | Native clause fails |
706 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_404, "=", all, theory, names) :- native |
707 | Clause unifies to: "[]"(_404, "=", all, theory, names) :- native |
708 | Clause is native. |
709 | gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
710 | Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363))) |
711 | New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
712 | Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_405, ",", _406))) :- native |
713 | Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native |
714 | Clause is native. |
715 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
716 | Native clause fails |
717 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_411, "=", tocons, "()"(_412)) :- native |
718 | Clause unifies to: "[]"(_411, "=", tocons, "()"(_412)) :- native |
719 | Clause is native. |
720 | gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
721 | Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363))) |
722 | New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
723 | Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_413, ",", _414))) :- native |
724 | Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native |
725 | Clause is native. |
726 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
727 | Native clause fails |
728 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_419, is, less, than, _420) :- native |
729 | Clause unifies to: "[]"(_419, is, less, than, _420) :- native |
730 | Clause is native. |
731 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
732 | Native clause fails |
733 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_421, "=", arg, _422, in, _423) :- native |
734 | Clause unifies to: "[]"(_421, "=", arg, _422, in, _423) :- native |
735 | Clause is native. |
736 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
737 | Native clause fails |
738 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_424, "=", arity, of, _425) :- native |
739 | Clause unifies to: "[]"(_424, "=", arity, of, _425) :- native |
740 | Clause is native. |
741 | gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
742 | Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363))) |
743 | New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
744 | Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_426, ",", _427))) :- native |
745 | Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native |
746 | Clause is native. |
747 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
748 | Native clause fails |
749 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_432, "=", operator, "()"(_433)) :- native |
750 | Clause unifies to: "[]"(_432, "=", operator, "()"(_433)) :- native |
751 | Clause is native. |
752 | gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
753 | Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363))) |
754 | New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
755 | Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_434, ",", _435))) :- native |
756 | Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native |
757 | Clause is native. |
758 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
759 | Native clause fails |
760 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_440)) :- native |
761 | Clause unifies to: "[]"(isQuoted, "()"(_440)) :- native |
762 | Clause is native. |
763 | Native clause fails |
764 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty) |
765 | Clause unifies to: "[]"(lasagna, is, tasty) |
766 | gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
767 | Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363))) |
768 | New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
769 | Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_441, ",", _442))) :- native |
770 | Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native |
771 | Clause is native. |
772 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
773 | Native clause fails |
774 | Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_447, ",", _448, ",", _449))) :- _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false |
775 | Clause unifies to: "[]"(forall_impl, "()"("[]"(_447, ",", _448, ",", _449))) :- _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false |
776 | gdash: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
777 | Weird: Goal is variable: _448 |
778 | New goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
779 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true |
780 | Clause unifies to: true |
781 | gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
782 | Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449))) |
783 | New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
784 | Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_450, ",", _451))) :- native |
785 | Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native |
786 | Clause is native. |
787 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
788 | Native clause fails |
789 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_456, "=", new, collector) :- native |
790 | Clause unifies to: "[]"(_456, "=", new, collector) :- native |
791 | Clause is native. |
792 | gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
793 | Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449))) |
794 | New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
795 | Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_457, ",", _458))) :- native |
796 | Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native |
797 | Clause is native. |
798 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
799 | Native clause fails |
800 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_463, ",", _464))) :- native |
801 | Clause unifies to: "[]"(saveTo, "()"("[]"(_463, ",", _464))) :- native |
802 | Clause is native. |
803 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
804 | Native clause fails |
805 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_465, "=", _466, "()"(_467)) :- native |
806 | Clause unifies to: "[]"(_465, "=", _466, "()"(_467)) :- native |
807 | Clause is native. |
808 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
809 | Native clause fails |
810 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native |
811 | Clause unifies to: nativeTest2 :- native |
812 | Clause is native. |
813 | gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
814 | Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449))) |
815 | New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
816 | Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_468, ",", _469))) :- native |
817 | Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native |
818 | Clause is native. |
819 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
820 | Native clause fails |
821 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native |
822 | Clause unifies to: nativeFail :- native |
823 | Clause is native. |
824 | Native clause fails |
825 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_474, "=", intmul, "()"("[]"(_475, ",", _476))) :- native |
826 | Clause unifies to: "[]"(_474, "=", intmul, "()"("[]"(_475, ",", _476))) :- native |
827 | Clause is native. |
828 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
829 | Native clause fails |
830 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_477, "=", intdiv, "()"("[]"(_478, ",", _479))) :- native |
831 | Clause unifies to: "[]"(_477, "=", intdiv, "()"("[]"(_478, ",", _479))) :- native |
832 | Clause is native. |
833 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
834 | Native clause fails |
835 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_480, "=", intadd, "()"("[]"(_481, ",", _482))) :- native |
836 | Clause unifies to: "[]"(_480, "=", intadd, "()"("[]"(_481, ",", _482))) :- native |
837 | Clause is native. |
838 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
839 | Native clause fails |
840 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_483, "=", intminus, "()"("[]"(_484, ",", _485))) :- native |
841 | Clause unifies to: "[]"(_483, "=", intminus, "()"("[]"(_484, ",", _485))) :- native |
842 | Clause is native. |
843 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
844 | Native clause fails |
845 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_486, is, greater, than, _487) :- native |
846 | Clause unifies to: "[]"(_486, is, greater, than, _487) :- native |
847 | Clause is native. |
848 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
849 | Native clause fails |
850 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _488, exists, in, theory, _489) :- native |
851 | Clause unifies to: "[]"(head, _488, exists, in, theory, _489) :- native |
852 | Clause is native. |
853 | Exception in native: java.lang.NullPointerException |
854 | Native clause fails |
855 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_490, "=", all, theory, names) :- native |
856 | Clause unifies to: "[]"(_490, "=", all, theory, names) :- native |
857 | Clause is native. |
858 | gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
859 | Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449))) |
860 | New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
861 | Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_491, ",", _492))) :- native |
862 | Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native |
863 | Clause is native. |
864 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
865 | Native clause fails |
866 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_497, "=", tocons, "()"(_498)) :- native |
867 | Clause unifies to: "[]"(_497, "=", tocons, "()"(_498)) :- native |
868 | Clause is native. |
869 | gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
870 | Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449))) |
871 | New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
872 | Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_499, ",", _500))) :- native |
873 | Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native |
874 | Clause is native. |
875 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
876 | Native clause fails |
877 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_505, is, less, than, _506) :- native |
878 | Clause unifies to: "[]"(_505, is, less, than, _506) :- native |
879 | Clause is native. |
880 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
881 | Native clause fails |
882 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_507, "=", arg, _508, in, _509) :- native |
883 | Clause unifies to: "[]"(_507, "=", arg, _508, in, _509) :- native |
884 | Clause is native. |
885 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
886 | Native clause fails |
887 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_510, "=", arity, of, _511) :- native |
888 | Clause unifies to: "[]"(_510, "=", arity, of, _511) :- native |
889 | Clause is native. |
890 | gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
891 | Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449))) |
892 | New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
893 | Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_512, ",", _513))) :- native |
894 | Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native |
895 | Clause is native. |
896 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
897 | Native clause fails |
898 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_518, "=", operator, "()"(_519)) :- native |
899 | Clause unifies to: "[]"(_518, "=", operator, "()"(_519)) :- native |
900 | Clause is native. |
901 | gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
902 | Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449))) |
903 | New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
904 | Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_520, ",", _521))) :- native |
905 | Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native |
906 | Clause is native. |
907 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
908 | Native clause fails |
909 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_526)) :- native |
910 | Clause unifies to: "[]"(isQuoted, "()"(_526)) :- native |
911 | Clause is native. |
912 | Native clause fails |
913 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty) |
914 | Clause unifies to: "[]"(lasagna, is, tasty) |
915 | gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
916 | Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449))) |
917 | New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
918 | Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_527, ",", _528))) :- native |
919 | Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native |
920 | Clause is native. |
921 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
922 | Native clause fails |
923 | Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_533, ",", _534, ",", _535))) :- _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false |
924 | Clause unifies to: "[]"(forall_impl, "()"("[]"(_533, ",", _534, ",", _535))) :- _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false |
925 | gdash: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
926 | Weird: Goal is variable: _534 |
927 | New goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
928 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true |
929 | Clause unifies to: true |
930 | gdash: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
931 | Goal arity 2: "[]"(saveTo, "()"("[]"(_533, ",", _535))) |
932 | New goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
933 | Goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_536, ",", _537))) :- native |
934 | Clause unifies to: "[]"(saveTo, "()"("[]"(_533, ",", _535))) :- native |
935 | Clause is native. |
936 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
937 | Native clause fails |
938 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_542, "=", new, collector) :- native |
939 | Clause unifies to: "[]"(_542, "=", new, collector) :- native |
940 | Clause is native. |
941 | gdash: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
942 | Goal arity 2: "[]"(saveTo, "()"("[]"(_533, ",", _535))) |
943 | New goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
944 | Goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_543, ",", _544))) :- native |
945 | Clause unifies to: "[]"(saveTo, "()"("[]"(_533, ",", _535))) :- native |
946 | Clause is native. |
947 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
948 | Native clause fails |
949 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_549, ",", _550))) :- native |
950 | Clause unifies to: "[]"(saveTo, "()"("[]"(_549, ",", _550))) :- native |
951 | Clause is native. |
952 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
953 | Native clause fails |
954 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_551, "=", _552, "()"(_553)) :- native |
955 | Clause unifies to: "[]"(_551, "=", _552, "()"(_553)) :- native |
956 | Clause is native. |
957 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
958 | Native clause fails |
959 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native |
960 | Clause unifies to: nativeTest2 :- native |
961 | Clause is native. |
962 | gdash: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
963 | Goal arity 2: "[]"(saveTo, "()"("[]"(_533, ",", _535))) |
964 | New goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)) |
965 | Goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_554, ",", _555))) :- native |
966 | Clause unifies to: "[]"(saveTo, "()"("[]"(_533, ",", _535))) :- native |
967 | Clause is native. |
968 | Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector |
969 | Native clause fails |
970 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native |
971 | Clause unifies to: nativeFail :- native |
972 | Clause is native. |
973 | Native clause fails |
974 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_560, "=", intmul, "()"("[]"(_561, ",", _562))) :- native |
975 | Clause unifies to: "[]"(_560, "=", intmul, "()"("[]"(_561, ",", _562))) :- native |
976 | Clause is native. |
977 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
978 | Native clause fails |
979 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_563, "=", intdiv, "()"("[]"(_564, ",", _565))) :- native |
980 | Clause unifies to: "[]"(_563, "=", intdiv, "()"("[]"(_564, ",", _565))) :- native |
981 | Clause is native. |
982 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
983 | Native clause fails |
984 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_566, "=", intadd, "()"("[]"(_567, ",", _568))) :- native |
985 | Clause unifies to: "[]"(_566, "=", intadd, "()"("[]"(_567, ",", _568))) :- native |
986 | Clause is native. |
987 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
988 | Native clause fails |
989 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_569, "=", intminus, "()"("[]"(_570, ",", _571))) :- native |
990 | Clause unifies to: "[]"(_569, "=", intminus, "()"("[]"(_570, ",", _571))) :- native |
991 | Clause is native. |
992 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
993 | Native clause fails |
994 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_572, is, greater, than, _573) :- native |
995 | Clause unifies to: "[]"(_572, is, greater, than, _573) :- native |
996 | Clause is native. |
997 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
998 | Native clause fails |
999 | Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _574, exists, in, theory, _575) :- native |
1000 | Clause unifies to: "[]"(head, _574, exists, in, theory, _575) :- native |
1001 | Clause is native. |
1002 | [Log overflow] |
Snippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #3000240 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000240/1 |
| Text MD5: | 2a10e3476be6242524ff27a04810edef |
| Author: | someone |
| Category: | |
| Type: | New Tinybrain snippet |
| Gummipassword: | eleutheria-for-user |
| Uploaded from IP: | 69.10.46.185 |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2016-03-09 21:13:27 |
| Source code size: | 123168 bytes / 1002 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 624 / 117 |
| Referenced in: | [show references] |