1 | null |
2 | ``` |
3 | Starting on goal: [think [user says [x y is a tennis player]]] and [say $x] |
4 | Goal arity 3: [think [user says [x y is a tennis player]]] and [say $x] |
5 | nextSolution |
6 | Got clause: _1 and _2 |
7 | Clause unifies to: [think [user says [x y is a tennis player]]] and [say $x] |
8 | gdash: think [user says [x y is a tennis player]] |
9 | Goal arity 2: think [user says [x y is a tennis player]] |
10 | Got clause: think _7 |
11 | Clause unifies to: think [user says [x y 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 [x y is a tennis player] |
20 | Clause unifies to: user says [x y is a tennis player] |
21 | gdash: memorize [x y is supposedly a tennis player] |
22 | Goal arity 2: memorize [x y is supposedly a tennis player] |
23 | Got clause: memorize _50 |
24 | Clause unifies to: memorize [x y is supposedly a tennis player] |
25 | gdash: [x y is supposedly a tennis player] or [memorized [x y is supposedly a tennis player]] or [memorize_impl [x y is supposedly a tennis player]] |
26 | Goal arity 5: [x y is supposedly a tennis player] or [memorized [x y is supposedly a tennis player]] or [memorize_impl [x y is supposedly a tennis player]] |
27 | Got clause: _69 or _70 or _71 |
28 | Clause unifies to: [x y is supposedly a tennis player] or [memorized [x y is supposedly a tennis player]] or [memorize_impl [x y is supposedly a tennis player]] |
29 | gdash: x y is supposedly a tennis player |
30 | Goal arity 7: x y is supposedly a tennis player |
31 | Got clause: _76 or _77 or _78 |
32 | Clause unifies to: [x y is supposedly a tennis player] or [memorized [x y is supposedly a tennis player]] or [memorize_impl [x y is supposedly a tennis player]] |
33 | gdash: memorized [x y is supposedly a tennis player] |
34 | Goal arity 2: memorized [x y is supposedly a tennis player] |
35 | Got clause: _99 or _100 or _101 |
36 | Clause unifies to: [x y is supposedly a tennis player] or [memorized [x y is supposedly a tennis player]] or [memorize_impl [x y is supposedly a tennis player]] |
37 | gdash: memorize_impl [x y is supposedly a tennis player] |
38 | Goal arity 2: memorize_impl [x y is supposedly a tennis player] |
39 | Got clause: memorize_impl _107 |
40 | Clause unifies to: memorize_impl [x y is supposedly a tennis player] |
41 | Clause is native. |
42 | Exception in native: java.lang.RuntimeException: Method 'incrementTheory' (static) with 1 parameter(s) not found in main |
43 | Native clause fails |
44 | Got clause: say [it's _132 !] |
45 | Clause unifies to: say [it's _132 !] |
46 | gdash: user says [_133 * _134] |
47 | Goal arity 3: user says [_133 * _134] |
48 | Got clause: say [_156 is tasty !] |
49 | Clause unifies to: say [_156 is tasty !] |
50 | gdash: user says [what is tasty] |
51 | Goal arity 3: user says [what is tasty] |
52 | |
53 | 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: | #3000300 |
| Snippet name: | Answer for stefanreich (>> test ai tennis "x y is a tennis player") |
| Eternal ID of this version: | #3000300/1 |
| Text MD5: | fe92b149eb602a537effa1d1def118f7 |
| 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:28:35 |
| Source code size: | 2973 bytes / 53 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 462 / 135 |
| Referenced in: | [show references] |