Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

37
LINES

< > BotCompany Repo | #3000292 // Answer for stefanreich (>> say [andre agassi is a tennis player] in [tennis, signed])

New Tinybrain snippet

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

download  show line numbers   

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]