1 | ah , so andre agassi must be a fit guy ! |
2 | ``` |
3 | Starting on goal: [think [user says [andre agassi is a tennis player]]] and [say $x] |
4 | Goal arity 3: [think [user says [andre agassi is a tennis player]]] and [say $x] |
5 | nextSolution |
6 | Got clause: _1 and _2 |
7 | Clause unifies to: [think [user says [andre agassi is a tennis player]]] and [say $x] |
8 | gdash: think [user says [andre agassi is a tennis player]] |
9 | Goal arity 2: think [user says [andre agassi is a tennis player]] |
10 | Got clause: think _7 |
11 | Clause unifies to: think [user says [andre agassi is a tennis player]] |
12 | Clause is native. |
13 | gdash: say $x |
14 | Goal arity 2: say $x |
15 | Got clause: say [ah , so _20 _21 must be a fit guy !] |
16 | Clause unifies to: say [ah , so _20 _21 must be a fit guy !] |
17 | gdash: user says [_20 _21 is a tennis player] |
18 | Goal arity 3: user says [_20 _21 is a tennis player] |
19 | Got clause: user says [andre agassi is a tennis player] |
20 | Clause unifies to: user says [andre agassi is a tennis player] |
21 | gdash: memorize [andre agassi is supposedly a tennis player] |
22 | Goal arity 2: memorize [andre agassi is supposedly a tennis player] |
23 | Got clause: memorize _50 |
24 | Clause unifies to: memorize [andre agassi is supposedly a tennis player] |
25 | gdash: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
26 | Goal arity 5: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
27 | Got clause: _69 or _70 or _71 |
28 | Clause unifies to: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
29 | gdash: andre agassi is supposedly a tennis player |
30 | Goal arity 7: andre agassi is supposedly a tennis player |
31 | Got clause: _76 or _77 or _78 |
32 | Clause unifies to: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
33 | gdash: memorized [andre agassi is supposedly a tennis player] |
34 | Goal arity 2: memorized [andre agassi is supposedly a tennis player] |
35 | Got clause: _99 or _100 or _101 |
36 | Clause unifies to: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
37 | gdash: memorize_impl [andre agassi is supposedly a tennis player] |
38 | Goal arity 2: memorize_impl [andre agassi is supposedly a tennis player] |
39 | Got clause: memorize_impl _107 |
40 | Clause unifies to: memorize_impl [andre agassi is supposedly a tennis player] |
41 | Clause is native. |
42 | gdash: - |
43 | SUCCESS! |
44 | solution found in step 80``` |
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: | #3000302 |
| Snippet name: | Answer for stefanreich (>> test ai tennis "andre agassi is a tennis player") |
| Eternal ID of this version: | #3000302/1 |
| Text MD5: | f258b131e37da89e266b66275388e0e1 |
| 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-12 17:36:34 |
| Source code size: | 2892 bytes / 44 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 516 / 109 |
| Referenced in: | [show references] |