1 | null |
2 | ``` |
3 | Starting on goal: [think [user says [what is the text of [theory tennis]]]] and [say $x] |
4 | Goal arity 3: [think [user says [what is the text of [theory tennis]]]] and [say $x] |
5 | nextSolution |
6 | Got clause: _1 and _2 |
7 | Clause unifies to: [think [user says [what is the text of [theory tennis]]]] and [say $x] |
8 | gdash: think [user says [what is the text of [theory tennis]]] |
9 | Goal arity 2: think [user says [what is the text of [theory tennis]]] |
10 | Got clause: think _7 |
11 | Clause unifies to: think [user says [what is the text of [theory tennis]]] |
12 | Clause is native. |
13 | gdash: say $x |
14 | Goal arity 2: say $x |
15 | Got clause: say [it's _21 !] |
16 | Clause unifies to: say [it's _21 !] |
17 | gdash: user says [_22 * _23] |
18 | Goal arity 3: user says [_22 * _23] |
19 | Got clause: say [_53 is _54 !] |
20 | Clause unifies to: say [_53 is _54 !] |
21 | gdash: rewrite with theory "add question mark to user input" |
22 | Goal arity 4: rewrite with theory "add question mark to user input" |
23 | Got clause: rewrite with theory _86 |
24 | Clause unifies to: rewrite with theory "add question mark to user input" |
25 | Clause is native. |
26 | REW user says $e1 :- ... |
27 | Starting on goal: user says _88 |
28 | Goal arity 3: user says _88 |
29 | Got clause: user says [what is the text of [theory tennis]] |
30 | Clause unifies to: user says [what is the text of [theory tennis]] |
31 | gdash: _87 = add question mark ([what is the text of [theory tennis]]) |
32 | Goal arity 6: _87 = add question mark ([what is the text of [theory tennis]]) |
33 | Got clause: _123 = add question mark (_124) |
34 | Clause unifies to: _87 = add question mark ([what is the text of [theory tennis]]) |
35 | gdash: _125 = tocons ([what is the text of [theory tennis]]) |
36 | Goal arity 4: _125 = tocons ([what is the text of [theory tennis]]) |
37 | Got clause: _142 = tocons (_143) |
38 | Clause unifies to: _125 = tocons ([what is the text of [theory tennis]]) |
39 | Clause is native. |
40 | gdash: not ([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?]) |
41 | Goal arity 2: not ([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?]) |
42 | Got clause: not (_154) |
43 | Clause unifies to: not ([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?]) |
44 | gdash: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ? |
45 | Goal arity 3: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ? |
46 | Got clause: endswithword_c [cons _158 _159] _160 |
47 | Clause unifies to: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ? |
48 | gdash: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ? |
49 | Goal arity 3: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ? |
50 | Got clause: endswithword_c [cons _164 _165] _166 |
51 | Clause unifies to: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ? |
52 | gdash: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ? |
53 | Goal arity 3: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ? |
54 | Got clause: endswithword_c [cons _170 _171] _172 |
55 | Clause unifies to: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ? |
56 | gdash: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ? |
57 | Goal arity 3: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ? |
58 | Got clause: endswithword_c [cons _176 _177] _178 |
59 | Clause unifies to: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ? |
60 | gdash: endswithword_c [cons of [cons [theory tennis] end]] ? |
61 | Goal arity 3: endswithword_c [cons of [cons [theory tennis] end]] ? |
62 | Got clause: endswithword_c [cons _182 _183] _184 |
63 | Clause unifies to: endswithword_c [cons of [cons [theory tennis] end]] ? |
64 | gdash: endswithword_c [cons [theory tennis] end] ? |
65 | Goal arity 3: endswithword_c [cons [theory tennis] end] ? |
66 | Got clause: endswithword_c [cons _188 _189] _190 |
67 | Clause unifies to: endswithword_c [cons [theory tennis] end] ? |
68 | gdash: endswithword_c end ? |
69 | Goal arity 3: endswithword_c end ? |
70 | Got clause: not (_344) |
71 | Clause unifies to: not ([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?]) |
72 | gdash: _126 = append_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] [cons ? end] |
73 | Goal arity 5: _126 = append_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] [cons ? end] |
74 | Got clause: [cons _356 _357] = append_c [cons _356 _358] _359 |
75 | Clause unifies to: [cons what _357] = append_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] [cons ? end] |
76 | gdash: _357 = append_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] [cons ? end] |
77 | Goal arity 5: _357 = append_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] [cons ? end] |
78 | Got clause: [cons _371 _372] = append_c [cons _371 _373] _374 |
79 | Clause unifies to: [cons is _372] = append_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] [cons ? end] |
80 | gdash: _372 = append_c [cons the [cons text [cons of [cons [theory tennis] end]]]] [cons ? end] |
81 | Goal arity 5: _372 = append_c [cons the [cons text [cons of [cons [theory tennis] end]]]] [cons ? end] |
82 | Got clause: [cons _386 _387] = append_c [cons _386 _388] _389 |
83 | Clause unifies to: [cons the _387] = append_c [cons the [cons text [cons of [cons [theory tennis] end]]]] [cons ? end] |
84 | gdash: _387 = append_c [cons text [cons of [cons [theory tennis] end]]] [cons ? end] |
85 | Goal arity 5: _387 = append_c [cons text [cons of [cons [theory tennis] end]]] [cons ? end] |
86 | Got clause: [cons _401 _402] = append_c [cons _401 _403] _404 |
87 | Clause unifies to: [cons text _402] = append_c [cons text [cons of [cons [theory tennis] end]]] [cons ? end] |
88 | gdash: _402 = append_c [cons of [cons [theory tennis] end]] [cons ? end] |
89 | Goal arity 5: _402 = append_c [cons of [cons [theory tennis] end]] [cons ? end] |
90 | Got clause: [cons _416 _417] = append_c [cons _416 _418] _419 |
91 | Clause unifies to: [cons of _417] = append_c [cons of [cons [theory tennis] end]] [cons ? end] |
92 | gdash: _417 = append_c [cons [theory tennis] end] [cons ? end] |
93 | Goal arity 5: _417 = append_c [cons [theory tennis] end] [cons ? end] |
94 | Got clause: [cons _431 _432] = append_c [cons _431 _433] _434 |
95 | Clause unifies to: [cons [theory tennis] _432] = append_c [cons [theory tennis] end] [cons ? end] |
96 | gdash: _432 = append_c end [cons ? end] |
97 | Goal arity 5: _432 = append_c end [cons ? end] |
98 | Got clause: _445 = append_c end _445 |
99 | Clause unifies to: [cons ? end] = append_c end [cons ? end] |
100 | gdash: _87 = fromcons ([cons what [cons is [cons the [cons text [cons of [cons [theory tennis] [cons ? end]]]]]]]) |
101 | Goal arity 4: _87 = fromcons ([cons what [cons is [cons the [cons text [cons of [cons [theory tennis] [cons ? end]]]]]]]) |
102 | Got clause: _463 = fromcons (_464) |
103 | Clause unifies to: _87 = fromcons ([cons what [cons is [cons the [cons text [cons of [cons [theory tennis] [cons ? end]]]]]]]) |
104 | Clause is native. |
105 | gdash: - |
106 | SUCCESS! |
107 | Found new statement: "[]"(user, says, "[]"(what, is, the, text, of, "[]"(theory, tennis), "?")) |
108 | Got clause: not _675 |
109 | Clause unifies to: not ([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?]) |
110 | gdash: not (["()" = operator (([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?]))]) |
111 | Goal arity 2: not (["()" = operator (([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?]))]) |
112 | Got clause: not (_686) |
113 | Clause unifies to: not (["()" = operator (([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?]))]) |
114 | gdash: "()" = operator (([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?])) |
115 | Goal arity 4: "()" = operator (([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?])) |
116 | Got clause: _706 = operator (_707) |
117 | Clause unifies to: "()" = operator (([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?])) |
118 | Clause is native. |
119 | gdash: ?? "!"("5") |
120 | Goal arity 1: ?? "!"("5") |
121 | cut -1. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", "not", l("()", Prolog$Var(id=675L, instance=l("()", l("[]", "endswithword_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", l("[]", "cons", "the", l("[]", "cons", "text", l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), "end"))))))), "?"))))), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r21), "=", "append_c", r11, l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r26)), "=", "fromcons", l("()", r21))))))) |
122 | Goal arity 0: false |
123 | cut 0. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", "not", l("()", Prolog$Var(id=675L, instance=l("()", l("[]", "endswithword_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", l("[]", "cons", "the", l("[]", "cons", "text", l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), "end"))))))), "?"))))), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r21), "=", "append_c", r11, l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r26)), "=", "fromcons", l("()", r21))))))) |
124 | back to cut point 5 |
125 | cut: dropping Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", "not", l("()", Prolog$Var(id=675L, instance=l("()", l("[]", "endswithword_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", l("[]", "cons", "the", l("[]", "cons", "text", l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), "end"))))))), "?"))))), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r21), "=", "append_c", r11, l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r26)), "=", "fromcons", l("()", r21))))))) |
126 | cut: dropping Prolog$Goal(car=Prolog$Var(id=686L, instance=l("[]", "\"()\"", "=", "operator", l("()", Prolog$Var(id=675L, instance=l("()", l("[]", "endswithword_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", l("[]", "cons", "the", l("[]", "cons", "text", l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), "end"))))))), "?")))))), cdr=Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", "not", l("()", r5)), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r25), "=", "append_c", r8, l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r30)), "=", "fromcons", l("()", r25)))))))) |
127 | cut: dropping Prolog$Goal(car=l("[]", "not", l("()", l("[]", "\"()\"", "=", "operator", l("()", Prolog$Var(id=675L, instance=l("()", l("[]", "endswithword_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", l("[]", "cons", "the", l("[]", "cons", "text", l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), "end"))))))), "?"))))))), cdr=Prolog$Goal(car=l("[]", "not", l("()", r6)), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r22), "=", "append_c", r9, l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r27)), "=", "fromcons", l("()", r22)))))) |
128 | Got 1 rewritten terms. |
129 | Adding rewritten term: user says [what is the text of [theory tennis] ?] |
130 | gdash: user says _55 |
131 | Goal arity 3: user says _55 |
132 | Got clause: user says [what is the text of [theory tennis]] |
133 | Clause unifies to: user says [what is the text of [theory tennis]] |
134 | gdash: rew ! [what is the text of [theory tennis]] to [what is _53 ?] |
135 | Goal arity 5: rew ! [what is the text of [theory tennis]] to [what is _53 ?] |
136 | Got clause: rew ! _858 to _859 |
137 | Clause unifies to: rew ! [what is the text of [theory tennis]] to [what is _53 ?] |
138 | gdash: rew [what is the text of [theory tennis]] to [what is _53 ?] |
139 | Goal arity 4: rew [what is the text of [theory tennis]] to [what is _53 ?] |
140 | Got clause: rew _923 to _924 |
141 | Clause unifies to: rew [what is the text of [theory tennis]] to [what is _53 ?] |
142 | gdash: rewrite [what is the text of [theory tennis]] to _925 |
143 | Goal arity 4: rewrite [what is the text of [theory tennis]] to _925 |
144 | Got clause: user says [what is the text of [theory tennis] ?] |
145 | Clause unifies to: user says [what is the text of [theory tennis] ?] |
146 | gdash: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
147 | Goal arity 5: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
148 | Got clause: rew ! _1076 to _1077 |
149 | Clause unifies to: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
150 | gdash: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
151 | Goal arity 4: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
152 | Got clause: rew _1141 to _1142 |
153 | Clause unifies to: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
154 | gdash: rewrite [what is the text of [theory tennis] ?] to _1143 |
155 | Goal arity 4: rewrite [what is the text of [theory tennis] ?] to _1143 |
156 | Got clause: rewrite [what is the _1180 of _1181 ?] to [what is [the _1180 of _1181] ?] |
157 | Clause unifies to: rewrite [what is the text of [theory tennis] ?] to [what is [the text of [theory tennis]] ?] |
158 | gdash: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
159 | Goal arity 4: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
160 | Got clause: rew _1245 to _1246 |
161 | Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
162 | gdash: rewrite [what is [the text of [theory tennis]] ?] to _1247 |
163 | Goal arity 4: rewrite [what is [the text of [theory tennis]] ?] to _1247 |
164 | Got clause: rew _1340 to _1340 |
165 | Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is [the text of [theory tennis]] ?] |
166 | gdash: ?? "!"("6") |
167 | Goal arity 1: ?? "!"("6") |
168 | cut -1. Prolog$Goal(car=l("!", "6"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=53L, instance=l("[]", "the", Prolog$Var(id=1180L, instance=l("text")), "of", Prolog$Var(id=1181L, instance=l("[]", "theory", "tennis")))), "is", Prolog$Var(id=54L, instance=r11)))) |
169 | Goal arity 3: [the text of [theory tennis]] is _54 |
170 | Got clause: [the _1347 of _1348] is _1349 |
171 | Clause unifies to: [the text of [theory tennis]] is _54 |
172 | gdash: the text of [theory tennis] is _54 |
173 | Goal arity 6: the text of [theory tennis] is _54 |
174 | Got clause: the text of [theory _1365] is _1366 |
175 | Clause unifies to: the text of [theory tennis] is _54 |
176 | gdash: _54 = text of theory tennis |
177 | Goal arity 6: _54 = text of theory tennis |
178 | Got clause: _1372 = text of theory _1373 |
179 | Clause unifies to: _54 = text of theory tennis |
180 | Clause is native. |
181 | gdash: - |
182 | SUCCESS! |
183 | solution found in step 362``` |
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: | #3000346 |
| Snippet name: | Answer for stefanreich (>> test ai "what is" "what is the text of [theory tennis]") |
| Eternal ID of this version: | #3000346/1 |
| Text MD5: | 342c751be7575d4e1ddf47da24046003 |
| 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-14 02:05:36 |
| Source code size: | 15912 bytes / 183 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 584 / 135 |
| Referenced in: | [show references] |