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

24
LINES

< > BotCompany Repo | #3000370 // Answer for @_@ (>> say [boris becker is a tennis player] in [tennis, signed])

New Tinybrain snippet

1  
FALSE in ["tennis", "and", "not", "is a theory", "is in list", "iter", "and 3", "tb.stefanreich.004683"]
2  
```
3  
Starting on goal: [think [user says [boris becker is a tennis player]]] and [say $x]
4  
Goal arity 3: [think [user says [boris becker is a tennis player]]] and [say $x]
5  
nextSolution
6  
Got clause: _1 and _2
7  
  Clause unifies to: [think [user says [boris becker is a tennis player]]] and [say $x]
8  
  gdash: think [user says [boris becker is a tennis player]]
9  
Goal arity 2: think [user says [boris becker is a tennis player]]
10  
 Got clause: think _9
11  
   Clause unifies to: think [user says [boris becker 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 [boris becker is a tennis player]
20  
     Clause unifies to: user says [boris becker is a tennis player]
21  
     gdash: memorize [boris becker is supposedly a tennis player]
22  
   Goal arity 2: memorize [boris becker is supposedly a tennis player]
23  


24  
No solution``` 2 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:
    #3000370
  

  

    Snippet name:
    Answer for @_@ (>> say [boris becker is a tennis player] in [tennis, signed])
  

    

    Eternal ID of this version:
    #3000370/1
  

  

    Text MD5:
    9fc19722daac9955f621da92f6f81dc5
  

    

    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-31 20:12:27
  

  

    Source code size:
    1190 bytes / 24 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    473 / 109
  

      

    Referenced in:
[show references]