null
```
Starting on goal: [think [user says [what is the text of [theory tennis]]]] and [say $x]
Goal arity 3: [think [user says [what is the text of [theory tennis]]]] and [say $x]
nextSolution
Got clause: _1 and _2
Clause unifies to: [think [user says [what is the text of [theory tennis]]]] and [say $x]
gdash: think [user says [what is the text of [theory tennis]]]
Goal arity 2: think [user says [what is the text of [theory tennis]]]
Got clause: think _7
Clause unifies to: think [user says [what is the text of [theory tennis]]]
Clause is native.
gdash: say $x
Goal arity 2: say $x
Got clause: say [it's _21 !]
Clause unifies to: say [it's _21 !]
gdash: user says [_22 * _23]
Goal arity 3: user says [_22 * _23]
Got clause: say [_53 is _54 !]
Clause unifies to: say [_53 is _54 !]
gdash: rewrite with theory "drop question mark from user input"
Goal arity 4: rewrite with theory "drop question mark from user input"
Got clause: rewrite with theory _86
Clause unifies to: rewrite with theory "drop question mark from user input"
Clause is native.
REW user says $e1 :- ...
Starting on goal: user says _88
Goal arity 3: user says _88
Got clause: user says [what is the text of [theory tennis]]
Clause unifies to: user says [what is the text of [theory tennis]]
gdash: _87 = drop question mark ([what is the text of [theory tennis]])
Goal arity 6: _87 = drop question mark ([what is the text of [theory tennis]])
Got clause: _123 = drop question mark (_124)
Clause unifies to: _87 = drop question mark ([what is the text of [theory tennis]])
gdash: _125 = tocons ([what is the text of [theory tennis]])
Goal arity 4: _125 = tocons ([what is the text of [theory tennis]])
Got clause: _142 = tocons (_143)
Clause unifies to: _125 = tocons ([what is the text of [theory tennis]])
Clause is native.
gdash: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?
Goal arity 3: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?
Got clause: endswithword_c [cons _147 _148] _149
Clause unifies to: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?
gdash: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ?
Goal arity 3: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ?
Got clause: endswithword_c [cons _153 _154] _155
Clause unifies to: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ?
gdash: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ?
Goal arity 3: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ?
Got clause: endswithword_c [cons _159 _160] _161
Clause unifies to: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ?
gdash: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ?
Goal arity 3: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ?
Got clause: endswithword_c [cons _165 _166] _167
Clause unifies to: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ?
gdash: endswithword_c [cons of [cons [theory tennis] end]] ?
Goal arity 3: endswithword_c [cons of [cons [theory tennis] end]] ?
Got clause: endswithword_c [cons _171 _172] _173
Clause unifies to: endswithword_c [cons of [cons [theory tennis] end]] ?
gdash: endswithword_c [cons [theory tennis] end] ?
Goal arity 3: endswithword_c [cons [theory tennis] end] ?
Got clause: endswithword_c [cons _177 _178] _179
Clause unifies to: endswithword_c [cons [theory tennis] end] ?
gdash: endswithword_c end ?
Goal arity 3: endswithword_c end ?
gdash: user says _55
Goal arity 3: user says _55
Got clause: user says [what is the text of [theory tennis]]
Clause unifies to: user says [what is the text of [theory tennis]]
gdash: rew ! [what is the text of [theory tennis]] to [what is _53 ?]
Goal arity 5: rew ! [what is the text of [theory tennis]] to [what is _53 ?]
Got clause: rew ! _465 to _466
Clause unifies to: rew ! [what is the text of [theory tennis]] to [what is _53 ?]
gdash: rew [what is the text of [theory tennis]] to [what is _53 ?]
Goal arity 4: rew [what is the text of [theory tennis]] to [what is _53 ?]
Got clause: rew _530 to _531
Clause unifies to: rew [what is the text of [theory tennis]] to [what is _53 ?]
gdash: rewrite [what is the text of [theory tennis]] to _532
Goal arity 4: rewrite [what is the text of [theory tennis]] to _532
No solution```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: | #3000342 |
| Snippet name: | Answer for stefanreich (>> test ai "what is" "what is the text of [theory tennis]") |
| Eternal ID of this version: | #3000342/1 |
| Text MD5: | 44aa144a11fc909116a80daf450763cd |
| 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:49:05 |
| Source code size: | 4770 bytes / 81 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 683 / 165 |
| Referenced in: | #3000382 - Answer for ferdie (>> t = 1, f = 0) #3000383 - Answer for funkoverflow (>> t=1, f=0 okay) |