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