1 | TRUE. |
2 | ``` |
3 | $x = [ah , so andre agassi must be a fit guy !] |
4 | ``` |
5 | ``` |
6 | Used theories: and, memorize transient, nat, 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 _21 _22 must be a fit guy !] |
20 | Clause unifies to: say [ah , so _21 _22 must be a fit guy !] |
21 | gdash: user says [_21 _22 is a tennis player] |
22 | Goal arity 3: user says [_21 _22 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 _52 |
28 | Clause unifies to: memorize [andre agassi is supposedly a tennis player] |
29 | gdash: think [andre agassi is supposedly a tennis player] |
30 | Goal arity 2: think [andre agassi is supposedly a tennis player] |
31 | Got clause: think _57 |
32 | Clause unifies to: think [andre agassi is supposedly a tennis player] |
33 | Clause is native. |
34 | gdash: - |
35 | SUCCESS! |
36 | solution found in step 46``` |
37 | [done] 8 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: | #3000292 |
Snippet name: | Answer for stefanreich (>> say [andre agassi is a tennis player] in [tennis, signed]) |
Eternal ID of this version: | #3000292/1 |
Text MD5: | d3f08447634df634b66c55b0cbdc1dad |
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:52:38 |
Source code size: | 1624 bytes / 37 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 485 / 111 |
Referenced in: | [show references] |