1 | |
2 | clause(Lisp): "[]"("[]"(not, "()"(true)), should, be, false) => null |
3 | clause(Lisp): "[]"(mrshutco, is, a, human) => [l("mrshutco *", "is"), l("a *", "human")] |
4 | clause(Lisp): "[]"("[]"(not, "()"(false)), should, be, true) => null |
5 | clause(Lisp): "[]"(if, $x, and, "!", and, false, then, "[]"(not, "()"($x))) => [l("if *", "$x"), l("and *", "!"), l("and *", "false"), l("then *", l("[]", "not", l("()", "$x")))] |
6 | clause(Lisp): "[]"(not, "()"($x)) => [l("not *", l("()", "$x"))] |
7 | clause(Lisp): "[]"(if, $a, and, $b, then, "[]"($a, and, $b)) => [l("if *", "$a"), l("and *", "$b"), l("then *", l("[]", "$a", "and", "$b"))] |
8 | clause(Lisp): "[]"(if, "[]"($c, "=", tocons, "()"($list)), and, "[]"($e, "=", iter, $c), then, "[]"($e, is, in, list, $list)) => [l("if *", l("[]", "$c", "=", "tocons", l("()", "$list"))), l("and *", l("[]", "$e", "=", "iter", "$c")), l("then *", l("[]", "$e", "is", "in", "list", "$list"))] |
9 | clause(Lisp): "[]"(if, "[]"($x, and, "[]"(not, "()"($y))), then, "[]"($x, xor, $y)) => [l("if *", l("[]", "$x", "and", l("[]", "not", l("()", "$y")))), l("then *", l("[]", "$x", "xor", "$y"))] |
10 | clause(Lisp): "[]"(if, "[]"("[]"(not, "()"($x)), and, $y), then, "[]"($x, xor, $y)) => [l("if *", l("[]", l("[]", "not", l("()", "$x")), "and", "$y")), l("then *", l("[]", "$x", "xor", "$y"))] |
11 | clause(Lisp): "[]"(lasagna, is, tasty) => null |
12 | clause(Lisp): "[]"(if, "[]"($c, "=", tocons, "()"($list)), and, "[]"($e, "=", iter, $c), then, "[]"($e, in, $c)) => [l("if *", l("[]", "$c", "=", "tocons", l("()", "$list"))), l("and *", l("[]", "$e", "=", "iter", "$c")), l("then *", l("[]", "$e", "in", "$c"))] |
13 | clause(Lisp): "[]"(if, $a, then, "[]"($a, or, $b)) => [l("if *", "$a"), l("then *", l("[]", "$a", "or", "$b"))] |
14 | clause(Lisp): "[]"(if, $b, then, "[]"($a, or, $b)) => [l("if *", "$b"), l("then *", l("[]", "$a", "or", "$b"))] |
15 | clause(Lisp): "[]"($head, "=", iter, "[]"(cons, $head, $tail)) => null |
16 | clause(Lisp): "[]"(if, "[]"($x, "=", iter, $tail), then, "[]"($x, "=", iter, "[]"(cons, $head, $tail))) => [l("if *", l("[]", "$x", "=", "iter", "$tail")), l("then *", l("[]", "$x", "=", "iter", l("[]", "cons", "$head", "$tail")))] |
17 | clause(Lisp): "[]"(if, $x, then, "[]"(verify, "[]"($x, should, be, true))) => [l("if *", "$x"), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "true")))] |
18 | clause(Lisp): "[]"(if, "[]"($a, "=", intmul, "()"("[]"($b, ",", $c))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$a", "=", "intmul", l("()", l("[]", "$b", ",", "$c")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))] |
19 | clause(Lisp): "[]"(if, "[]"($b, "=", intdiv, "()"("[]"($a, ",", $c))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$b", "=", "intdiv", l("()", l("[]", "$a", ",", "$c")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))] |
20 | clause(Lisp): "[]"(if, "[]"($c, "=", intdiv, "()"("[]"($a, ",", $b))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$c", "=", "intdiv", l("()", l("[]", "$a", ",", "$b")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))] |
21 | clause(Lisp): "[]"(if, "[]"(not, "()"($x)), then, "[]"(verify, "[]"($x, should, be, false))) => [l("if *", l("[]", "not", l("()", "$x"))), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "false")))] |
22 | clause(Lisp): "[]"(if, $x, then, "()"($x)) => [l("if *", "$x"), l("then *", l("()", "$x"))] |
23 | clause(Lisp): "[]"("\"and\"", is, a, fill, word) => null |
24 | clause(Lisp): "[]"("\",\"", is, a, fill, word) => null |
25 | clause(Lisp): "[]"(feet, is, the, plural, of, foot) => [l("feet *", "is"), l("the *", "plural"), l("of *", "foot")] |
26 | clause(Lisp): "[]"(bits, is, the, plural, of, bit) => [l("bits *", "is"), l("the *", "plural"), l("of *", "bit")] |
27 | Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "=", "tocons", l("()", "yes"))) |
28 | Goal arity 4: "[]"($x, "=", tocons, "()"(yes)) |
29 | native! |
30 | No match for clause. |
31 | No match for clause. |
32 | No match for clause. |
33 | No match for clause. |
34 | Goal: "[]"($x, "=", tocons, "()"(yes)). Trying clause: "[]"(_13, "=", tocons, "()"(_14)) :- native |
35 | Clause unifies to: "[]"($x, "=", tocons, "()"(yes)) :- native |
36 | Clause is native. |
37 | gdash: null |
38 | SUCCESS! |
39 | No match for clause. |
40 | No match for clause. |
41 | No match for clause. |
42 | No match for clause. |
43 | No match for clause. |
44 | No match for clause. |
45 | No match for clause. |
46 | No match for clause. |
47 | Done with goal! |
48 | Done with goal! |
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: | #3000233 |
Snippet name: | Answer for stefanreich (>> log) |
Eternal ID of this version: | #3000233/1 |
Text MD5: | ed4b607cbb1c1eaf1aba3a0519154bb8 |
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-06 03:11:10 |
Source code size: | 4451 bytes / 48 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 541 / 129 |
Referenced in: | [show references] |