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 "drop question mark from user input" |
22 | Goal arity 4: rewrite with theory "drop question mark from user input" |
23 | Got clause: rewrite with theory _86 |
24 | Clause unifies to: rewrite with theory "drop question mark from 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 = drop question mark ([what is the text of [theory tennis]]) |
32 | Goal arity 6: _87 = drop question mark ([what is the text of [theory tennis]]) |
33 | Got clause: _123 = drop question mark (_124) |
34 | Clause unifies to: _87 = drop 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: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ? |
41 | Goal arity 3: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ? |
42 | Got clause: endswithword_c [cons _147 _148] _149 |
43 | Clause unifies to: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ? |
44 | gdash: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ? |
45 | Goal arity 3: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ? |
46 | Got clause: endswithword_c [cons _153 _154] _155 |
47 | Clause unifies to: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ? |
48 | gdash: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ? |
49 | Goal arity 3: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ? |
50 | Got clause: endswithword_c [cons _159 _160] _161 |
51 | Clause unifies to: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ? |
52 | gdash: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ? |
53 | Goal arity 3: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ? |
54 | Got clause: endswithword_c [cons _165 _166] _167 |
55 | Clause unifies to: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ? |
56 | gdash: endswithword_c [cons of [cons [theory tennis] end]] ? |
57 | Goal arity 3: endswithword_c [cons of [cons [theory tennis] end]] ? |
58 | Got clause: endswithword_c [cons _171 _172] _173 |
59 | Clause unifies to: endswithword_c [cons of [cons [theory tennis] end]] ? |
60 | gdash: endswithword_c [cons [theory tennis] end] ? |
61 | Goal arity 3: endswithword_c [cons [theory tennis] end] ? |
62 | Got clause: endswithword_c [cons _177 _178] _179 |
63 | Clause unifies to: endswithword_c [cons [theory tennis] end] ? |
64 | gdash: endswithword_c end ? |
65 | Goal arity 3: endswithword_c end ? |
66 | gdash: user says _55 |
67 | Goal arity 3: user says _55 |
68 | Got clause: user says [what is the text of [theory tennis]] |
69 | Clause unifies to: user says [what is the text of [theory tennis]] |
70 | gdash: rew ! [what is the text of [theory tennis]] to [what is _53 ?] |
71 | Goal arity 5: rew ! [what is the text of [theory tennis]] to [what is _53 ?] |
72 | Got clause: rew ! _465 to _466 |
73 | Clause unifies to: rew ! [what is the text of [theory tennis]] to [what is _53 ?] |
74 | gdash: rew [what is the text of [theory tennis]] to [what is _53 ?] |
75 | Goal arity 4: rew [what is the text of [theory tennis]] to [what is _53 ?] |
76 | Got clause: rew _530 to _531 |
77 | Clause unifies to: rew [what is the text of [theory tennis]] to [what is _53 ?] |
78 | gdash: rewrite [what is the text of [theory tennis]] to _532 |
79 | Goal arity 4: rewrite [what is the text of [theory tennis]] to _532 |
80 | Got clause: say [_712 is tasty !] |
81 | Clause unifies to: say [_712 is tasty !] |
82 | gdash: user says [what is tasty] |
83 | Goal arity 3: user says [what is tasty] |
84 | Got clause: memorize_impl _740 |
85 | Clause unifies to: memorize_impl _740 |
86 | Clause is native. |
87 | gdash: _2 |
88 | Weird: Goal is variable: _2 |
89 | Got clause: true |
90 | Clause unifies to: true |
91 | gdash: - |
92 | SUCCESS! |
93 | solution found in step 239``` |
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: | #3000343 |
| Snippet name: | Answer for stefanreich (>> test ai "what is" "what is the text of [theory tennis]") |
| Eternal ID of this version: | #3000343/1 |
| Text MD5: | e23a46da5760eb422c1daa824dc3c08b |
| 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 01:55:25 |
| Source code size: | 5203 bytes / 93 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 466 / 94 |
| Referenced in: | [show references] |