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

11
LINES

< > BotCompany Repo | #3000306 // Answer for stefanreich (>> log [ask $x] in ["care tennis", care, signed])

New Tinybrain snippet

1  
FALSE in ["care tennis", "care", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "or3", "number of theories", "theory", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "or3", "number of theories", "theory", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "is a theory", "ifthenelse", "foot-feet", "bit-bits"]
2  
```
3  
Starting on goal: ask $x
4  
Goal arity 2: ask $x
5  
nextSolution
6  
Got clause: ask [what is the _7 of _8 ?]
7  
  Clause unifies to: ask [what is the _7 of _8 ?]
8  
  gdash: _8 has a _7
9  
Goal arity 4: _8 has a _7
10  


11  
No solution``` 1 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:
    #3000306
  

  

    Snippet name:
    Answer for stefanreich (>> log [ask $x] in ["care tennis", care, signed])
  

    

    Eternal ID of this version:
    #3000306/1
  

  

    Text MD5:
    8f7f7647a744fd5f309677b67c36e3ef
  

    

    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-13 17:25:19
  

  

    Source code size:
    1456 bytes / 11 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    418 / 117
  

      

    Referenced in:
[show references]