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

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"]
```
Starting on goal: ask $x
Goal arity 2: ask $x
nextSolution
Got clause: ask [what is the _7 of _8 ?]
  Clause unifies to: ask [what is the _7 of _8 ?]
  gdash: _8 has a _7
Goal arity 4: _8 has a _7

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: 372 / 101
Referenced in: [show references]