1 | FALSE in ["maus", "rewrite clauses", "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", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 3", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "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", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "rewrite clauses", "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", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 3", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "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", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits"] |
2 | ``` |
3 | Starting on goal: [the name of [theory bla]] is $x |
4 | Goal arity 3: [the name of [theory bla]] is $x |
5 | nextSolution |
6 | Got clause: _14 is funny |
7 | Clause unifies to: [the name of [theory bla]] is funny |
8 | gdash: [the name of [theory bla]] is really funny |
9 | Goal arity 4: [the name of [theory bla]] is really funny |
10 | Got clause: _105 is funny |
11 | Clause unifies to: [the name of [theory bla]] is funny |
12 | gdash: [the name of [theory bla]] is very funny |
13 | Goal arity 4: [the name of [theory bla]] is very funny |
14 | |
15 | No solution``` 94 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: | #3000316 |
| Snippet name: | Answer for stefanreich (>> log [the name of [theory bla]] is $x) |
| Eternal ID of this version: | #3000316/1 |
| Text MD5: | bb21926b239acbc755e76eccbb661ef8 |
| 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 19:26:23 |
| Source code size: | 1939 bytes / 15 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 462 / 92 |
| Referenced in: | [show references] |