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

51
LINES

< > BotCompany Repo | #3000297 // Answer for stefanreich (>> y)

New Tinybrain snippet

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