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