[the text of [theory tennis]] is "if [user says [$first $last is a tennis player]] and [memorize [$first $last is supposedly a tennis player]] then [say [ah, so $first $last must be a fit guy!]]" ! ``` 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: 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 ! _115 to _116 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 _180 to _181 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 _182 Goal arity 4: rewrite [what is the text of [theory tennis] ?] to _182 Got clause: rewrite [what is the _219 of _220 ?] to [what is [the _219 of _220] ?] Clause unifies to: rewrite [what is the text of [theory tennis] ?] to [what is [the text of [theory tennis]] ?] 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 _284 to _285 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 _286 Goal arity 4: rewrite [what is [the text of [theory tennis]] ?] to _286 Got clause: rew _379 to _379 Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is [the text of [theory tennis]] ?] gdash: ?? "!"("5") Goal arity 1: ?? "!"("5") cut -1. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=53L, instance=l("[]", "the", Prolog$Var(id=219L, instance=l("text")), "of", Prolog$Var(id=220L, instance=l("[]", "theory", "tennis")))), "is", Prolog$Var(id=54L, instance=r11)))) Goal arity 3: [the text of [theory tennis]] is _54 Got clause: [the _386 of _387] is _388 Clause unifies to: [the text of [theory tennis]] is _54 gdash: the text of [theory tennis] is _54 Goal arity 6: the text of [theory tennis] is _54 Got clause: the text of [theory _404] is _405 Clause unifies to: the text of [theory tennis] is _54 gdash: _54 = text of theory tennis Goal arity 6: _54 = text of theory tennis Got clause: _411 = text of theory _412 Clause unifies to: _54 = text of theory tennis Clause is native. gdash: - SUCCESS! solution found in step 232```
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: | #3000348 |
Snippet name: | Answer for stefanreich (>> test ai "what is original" "what is the text of [theory tennis]?") |
Eternal ID of this version: | #3000348/1 |
Text MD5: | c29526d107a520bf7e0e04d373cfeddd |
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:01 |
Source code size: | 3767 bytes / 62 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 473 / 97 |
Referenced in: | [show references] |