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] [cons ? end]]]]]]] ?]) |
41 | Goal arity 2: not ([endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] [cons ? 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] [cons ? end]]]]]]] ?]) |
44 | gdash: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] [cons ? end]]]]]]] ? |
45 | Goal arity 3: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] [cons ? 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] [cons ? end]]]]]]] ? |
48 | gdash: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] [cons ? end]]]]]] ? |
49 | Goal arity 3: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] [cons ? 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] [cons ? end]]]]]] ? |
52 | gdash: endswithword_c [cons the [cons text [cons of [cons [theory tennis] [cons ? end]]]]] ? |
53 | Goal arity 3: endswithword_c [cons the [cons text [cons of [cons [theory tennis] [cons ? 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] [cons ? end]]]]] ? |
56 | gdash: endswithword_c [cons text [cons of [cons [theory tennis] [cons ? end]]]] ? |
57 | Goal arity 3: endswithword_c [cons text [cons of [cons [theory tennis] [cons ? end]]]] ? |
58 | Got clause: endswithword_c [cons _176 _177] _178 |
59 | Clause unifies to: endswithword_c [cons text [cons of [cons [theory tennis] [cons ? end]]]] ? |
60 | gdash: endswithword_c [cons of [cons [theory tennis] [cons ? end]]] ? |
61 | Goal arity 3: endswithword_c [cons of [cons [theory tennis] [cons ? end]]] ? |
62 | Got clause: endswithword_c [cons _182 _183] _184 |
63 | Clause unifies to: endswithword_c [cons of [cons [theory tennis] [cons ? end]]] ? |
64 | gdash: endswithword_c [cons [theory tennis] [cons ? end]] ? |
65 | Goal arity 3: endswithword_c [cons [theory tennis] [cons ? end]] ? |
66 | Got clause: endswithword_c [cons _188 _189] _190 |
67 | Clause unifies to: endswithword_c [cons [theory tennis] [cons ? end]] ? |
68 | gdash: endswithword_c [cons ? end] ? |
69 | Goal arity 3: endswithword_c [cons ? end] ? |
70 | Got clause: endswithword_c [cons _193 end] _193 |
71 | Clause unifies to: endswithword_c [cons ? end] ? |
72 | gdash: ?? "!"("4") |
73 | Goal arity 1: ?? "!"("4") |
74 | cut -1. Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r7), "=", "append_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"), l("[]", "cons", "?", "end")))))))), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r21)), "=", "fromcons", l("()", r7)))))) |
75 | Goal arity 0: false |
76 | cut 0. Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r7), "=", "append_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"), l("[]", "cons", "?", "end")))))))), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r21)), "=", "fromcons", l("()", r7)))))) |
77 | back to cut point 4 |
78 | cut: dropping Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r7), "=", "append_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"), l("[]", "cons", "?", "end")))))))), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r21)), "=", "fromcons", l("()", r7)))))) |
79 | cut: dropping Prolog$Goal(car=l("[]", "endswithword_c", Prolog$Var(id=189L, instance=l("[]", "cons", "?", "end")), Prolog$Var(id=190L, instance=Prolog$Var(id=184L, instance=Prolog$Var(id=178L, instance=Prolog$Var(id=172L, instance=Prolog$Var(id=166L, instance=Prolog$Var(id=160L, instance=l("?")))))))), cdr=Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r18), "=", "append_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"), r4))))))), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r31)), "=", "fromcons", l("()", r18))))))) |
80 | cut: dropping Prolog$Goal(car=l("[]", "endswithword_c", Prolog$Var(id=183L, instance=l("[]", "cons", l("[]", "theory", "tennis"), l("[]", "cons", "?", "end"))), Prolog$Var(id=184L, instance=Prolog$Var(id=178L, instance=Prolog$Var(id=172L, instance=Prolog$Var(id=166L, instance=Prolog$Var(id=160L, instance=l("?"))))))), cdr=Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r19), "=", "append_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", l("[]", "cons", "the", l("[]", "cons", "text", l("[]", "cons", "of", r4)))))), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r30)), "=", "fromcons", l("()", r19))))))) |
81 | cut: dropping Prolog$Goal(car=l("[]", "endswithword_c", Prolog$Var(id=177L, instance=l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), l("[]", "cons", "?", "end")))), Prolog$Var(id=178L, instance=Prolog$Var(id=172L, instance=Prolog$Var(id=166L, instance=Prolog$Var(id=160L, instance=l("?")))))), cdr=Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r19), "=", "append_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", l("[]", "cons", "the", l("[]", "cons", "text", r4))))), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r29)), "=", "fromcons", l("()", r19))))))) |
82 | cut: dropping Prolog$Goal(car=l("[]", "endswithword_c", Prolog$Var(id=171L, instance=l("[]", "cons", "text", l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), l("[]", "cons", "?", "end"))))), Prolog$Var(id=172L, instance=Prolog$Var(id=166L, instance=Prolog$Var(id=160L, instance=l("?"))))), cdr=Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r19), "=", "append_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", l("[]", "cons", "the", r4)))), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r28)), "=", "fromcons", l("()", r19))))))) |
83 | cut: dropping Prolog$Goal(car=l("[]", "endswithword_c", Prolog$Var(id=165L, instance=l("[]", "cons", "the", l("[]", "cons", "text", l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), l("[]", "cons", "?", "end")))))), Prolog$Var(id=166L, instance=Prolog$Var(id=160L, instance=l("?")))), cdr=Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r19), "=", "append_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", l("[]", "cons", "is", r4))), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r27)), "=", "fromcons", l("()", r19))))))) |
84 | cut: dropping Prolog$Goal(car=l("[]", "endswithword_c", Prolog$Var(id=159L, instance=l("[]", "cons", "is", l("[]", "cons", "the", l("[]", "cons", "text", l("[]", "cons", "of", l("[]", "cons", l("[]", "theory", "tennis"), l("[]", "cons", "?", "end"))))))), Prolog$Var(id=160L, instance=l("?"))), cdr=Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r19), "=", "append_c", Prolog$Var(id=125L, instance=l("[]", "cons", "what", r4)), l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r26)), "=", "fromcons", l("()", r19))))))) |
85 | cut: dropping Prolog$Goal(car=Prolog$Var(id=154L, instance=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"), l("[]", "cons", "?", "end")))))))), "?")), cdr=Prolog$Goal(car=l("!", "4"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r19), "=", "append_c", r4, l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r24)), "=", "fromcons", l("()", r19))))))) |
86 | cut: dropping Prolog$Goal(car=l("[]", "not", 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"), l("[]", "cons", "?", "end")))))))), "?"))), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=126L, instance=r16), "=", "append_c", r5, l("[]", "cons", "?", "end")), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=123L, instance=Prolog$Var(id=87L, instance=r21)), "=", "fromcons", l("()", r16))))) |
87 | Got 0 rewritten terms. |
88 | gdash: user says _55 |
89 | Goal arity 3: user says _55 |
90 | Got clause: user says [what is the text of [theory tennis] ?] |
91 | Clause unifies to: user says [what is the text of [theory tennis] ?] |
92 | gdash: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
93 | Goal arity 5: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
94 | Got clause: rew ! _335 to _336 |
95 | Clause unifies to: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
96 | gdash: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
97 | Goal arity 4: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
98 | Got clause: rew _400 to _401 |
99 | Clause unifies to: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
100 | gdash: rewrite [what is the text of [theory tennis] ?] to _402 |
101 | Goal arity 4: rewrite [what is the text of [theory tennis] ?] to _402 |
102 | Got clause: rewrite [what is the _439 of _440 ?] to [what is [the _439 of _440] ?] |
103 | Clause unifies to: rewrite [what is the text of [theory tennis] ?] to [what is [the text of [theory tennis]] ?] |
104 | gdash: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
105 | Goal arity 4: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
106 | Got clause: rew _504 to _505 |
107 | Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
108 | gdash: rewrite [what is [the text of [theory tennis]] ?] to _506 |
109 | Goal arity 4: rewrite [what is [the text of [theory tennis]] ?] to _506 |
110 | Got clause: rew _599 to _599 |
111 | Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is [the text of [theory tennis]] ?] |
112 | gdash: ?? "!"("6") |
113 | Goal arity 1: ?? "!"("6") |
114 | cut -1. Prolog$Goal(car=l("!", "6"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=53L, instance=l("[]", "the", Prolog$Var(id=439L, instance=l("text")), "of", Prolog$Var(id=440L, instance=l("[]", "theory", "tennis")))), "is", Prolog$Var(id=54L, instance=r11)))) |
115 | Goal arity 3: [the text of [theory tennis]] is _54 |
116 | Got clause: [the _606 of _607] is _608 |
117 | Clause unifies to: [the text of [theory tennis]] is _54 |
118 | gdash: the text of [theory tennis] is _54 |
119 | Goal arity 6: the text of [theory tennis] is _54 |
120 | Got clause: the text of [theory _624] is _625 |
121 | Clause unifies to: the text of [theory tennis] is _54 |
122 | gdash: _54 = text of theory tennis |
123 | Goal arity 6: _54 = text of theory tennis |
124 | Got clause: _631 = text of theory _632 |
125 | Clause unifies to: _54 = text of theory tennis |
126 | Clause is native. |
127 | gdash: - |
128 | SUCCESS! |
129 | solution found in step 247``` |
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: | #3000349 |
| Snippet name: | Answer for stefanreich (>> test ai "what is" "what is the text of [theory tennis]?") |
| Eternal ID of this version: | #3000349/1 |
| Text MD5: | d5e6df3f29f1b53d65a671caa968e8ad |
| 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:10:26 |
| Source code size: | 14758 bytes / 129 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 539 / 128 |
| Referenced in: | [show references] |