1 | [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!]]" ! |
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: user says _55 |
22 | Goal arity 3: user says _55 |
23 | Got clause: user says [what is the text of [theory tennis] ?] |
24 | Clause unifies to: user says [what is the text of [theory tennis] ?] |
25 | gdash: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
26 | Goal arity 5: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
27 | Got clause: rew ! _115 to _116 |
28 | Clause unifies to: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] |
29 | gdash: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
30 | Goal arity 4: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
31 | Got clause: rew _180 to _181 |
32 | Clause unifies to: rew [what is the text of [theory tennis] ?] to [what is _53 ?] |
33 | gdash: rewrite [what is the text of [theory tennis] ?] to _182 |
34 | Goal arity 4: rewrite [what is the text of [theory tennis] ?] to _182 |
35 | Got clause: rewrite [what is the _219 of _220 ?] to [what is [the _219 of _220] ?] |
36 | Clause unifies to: rewrite [what is the text of [theory tennis] ?] to [what is [the text of [theory tennis]] ?] |
37 | gdash: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
38 | Goal arity 4: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
39 | Got clause: rew _284 to _285 |
40 | Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] |
41 | gdash: rewrite [what is [the text of [theory tennis]] ?] to _286 |
42 | Goal arity 4: rewrite [what is [the text of [theory tennis]] ?] to _286 |
43 | Got clause: rew _379 to _379 |
44 | Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is [the text of [theory tennis]] ?] |
45 | gdash: ?? "!"("5") |
46 | Goal arity 1: ?? "!"("5") |
47 | 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)))) |
48 | Goal arity 3: [the text of [theory tennis]] is _54 |
49 | Got clause: [the _386 of _387] is _388 |
50 | Clause unifies to: [the text of [theory tennis]] is _54 |
51 | gdash: the text of [theory tennis] is _54 |
52 | Goal arity 6: the text of [theory tennis] is _54 |
53 | Got clause: the text of [theory _404] is _405 |
54 | Clause unifies to: the text of [theory tennis] is _54 |
55 | gdash: _54 = text of theory tennis |
56 | Goal arity 6: _54 = text of theory tennis |
57 | Got clause: _411 = text of theory _412 |
58 | Clause unifies to: _54 = text of theory tennis |
59 | Clause is native. |
60 | gdash: - |
61 | SUCCESS! |
62 | solution found in step 232 |
63 | UserVarMap goal: "[]"("[]"(think, "[]"(user, says, "[]"(what, is, the, text, of, "[]"(theory, tennis), "?"))), and, "[]"(say, "[]"("[]"(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!]]\"", "!"))) |
64 | UserVarMap var "[]"("[]"(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!]]\"", "!") ok: true``` |
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: | #3000353 |
| Snippet name: | Answer for stefanreich (>> test ai "what is original" "what is the text of [theory tennis]?") |
| Eternal ID of this version: | #3000353/1 |
| Text MD5: | e5b52f1f56594a30cceecf88be49e8bf |
| 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:19:56 |
| Source code size: | 4369 bytes / 64 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 412 / 105 |
| Referenced in: | [show references] |