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: | 449 / 108 |
Referenced in: | [show references] |