1 | |
2 | 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"))] |
3 | clause(Lisp): "[]"(if, $a, then, "[]"($a, or, $b)) => [l("if *", "$a"), l("then *", l("[]", "$a", "or", "$b"))] |
4 | clause(Lisp): "[]"(if, $b, then, "[]"($a, or, $b)) => [l("if *", "$b"), l("then *", l("[]", "$a", "or", "$b"))] |
5 | clause(Lisp): "[]"($head, "=", iter, "[]"(cons, $head, $tail)) => null |
6 | 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")))] |
7 | clause(Lisp): "[]"(if, $x, then, "[]"(verify, "[]"($x, should, be, true))) => [l("if *", "$x"), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "true")))] |
8 | 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"))))] |
9 | 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"))))] |
10 | 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"))))] |
11 | 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")))] |
12 | clause(Lisp): "[]"(if, $x, then, "()"($x)) => [l("if *", "$x"), l("then *", l("()", "$x"))] |
13 | clause(Lisp): "[]"("\"and\"", is, a, fill, word) => null |
14 | clause(Lisp): "[]"("\",\"", is, a, fill, word) => null |
15 | clause(Lisp): "[]"("[]"(not, "()"(true)), should, be, false) => null |
16 | clause(Lisp): "[]"(mrshutco, is, a, human) => [l("mrshutco *", "is"), l("a *", "human")] |
17 | clause(Lisp): "[]"("[]"(not, "()"(false)), should, be, true) => null |
18 | clause(Lisp): "[]"(if, $x, and, "!", and, false, then, "[]"(not, "()"($x))) => [l("if *", "$x"), l("and *", "!"), l("and *", "false"), l("then *", l("[]", "not", l("()", "$x")))] |
19 | clause(Lisp): "[]"(not, "()"($x)) => [l("not *", l("()", "$x"))] |
20 | clause(Lisp): "[]"(if, $a, and, $b, then, "[]"($a, and, $b)) => [l("if *", "$a"), l("and *", "$b"), l("then *", l("[]", "$a", "and", "$b"))] |
21 | 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"))] |
22 | clause(Lisp): "[]"(feet, is, the, plural, of, foot) => [l("feet *", "is"), l("the *", "plural"), l("of *", "foot")] |
23 | clause(Lisp): "[]"(bits, is, the, plural, of, bit) => [l("bits *", "is"), l("the *", "plural"), l("of *", "bit")] |
24 | clause(Lisp): "[]"(lasagna, is, tasty) => null |
25 | Starting on goal: Prolog$Goal(car=l("[]", "not", l("()", l("[]", "true", "or", "true")))) |
26 | Goal arity 2: "[]"(not, "()"("[]"(true, or, true))) |
27 | Trying clause: "[]"(verify, "[]"(_1, should, be, true)) :- _1 |
28 | No match for clause. |
29 | Trying clause: "[]"(verify, "[]"(_2, should, be, false)) :- "[]"(not, "()"(_2)) |
30 | No match for clause. |
31 | Trying clause: "[]"(not, "()"(_3)) :- _3; "!"; false |
32 | Weird: Goal is variable |
33 | New goal: "[]"(true, or, true); "!"; false |
34 | Trying clause: nativeTest2 :- native |
35 | No match for clause. |
36 | Trying clause: nativeFail :- native |
37 | No match for clause. |
38 | Trying clause: "[]"(_4, "=", intmul, "()"("[]"(_5, ",", _6))) :- native |
39 | No match for clause. |
40 | Trying clause: "[]"(_7, "=", intdiv, "()"("[]"(_8, ",", _9))) :- native |
41 | No match for clause. |
42 | Trying clause: "[]"(_10, "=", intadd, "()"("[]"(_11, ",", _12))) :- native |
43 | No match for clause. |
44 | Trying clause: "[]"(_13, "=", intminus, "()"("[]"(_14, ",", _15))) :- native |
45 | No match for clause. |
46 | Trying clause: "[]"(_16, is, greater, than, _17) :- native |
47 | No match for clause. |
48 | Trying clause: "[]"(head, _18, exists, in, theory, _19) :- native |
49 | No match for clause. |
50 | Trying clause: "[]"(_20, "=", all, theory, names) :- native |
51 | No match for clause. |
52 | Trying clause: "[]"(_21, "=", tocons, "()"(_22)) :- native |
53 | No match for clause. |
54 | Trying clause: "[]"(_23, is, less, than, _24) :- native |
55 | No match for clause. |
56 | Trying clause: "[]"(_25, in, _26) :- "[]"(_26, "=", tocons, "()"(_27)); "[]"(_25, "=", iter, _26) |
57 | No match for clause. |
58 | Trying clause: "[]"(_28, or, _29) :- _28 |
59 | Weird: Goal is variable |
60 | New goal: true |
61 | native! |
62 | Trying clause: nativeTest2 :- native |
63 | No match for clause. |
64 | Trying clause: nativeFail :- native |
65 | No match for clause. |
66 | Trying clause: "[]"(_30, "=", intmul, "()"("[]"(_31, ",", _32))) :- native |
67 | No match for clause. |
68 | Trying clause: "[]"(_33, "=", intdiv, "()"("[]"(_34, ",", _35))) :- native |
69 | No match for clause. |
70 | Trying clause: "[]"(_36, "=", intadd, "()"("[]"(_37, ",", _38))) :- native |
71 | No match for clause. |
72 | Trying clause: "[]"(_39, "=", intminus, "()"("[]"(_40, ",", _41))) :- native |
73 | No match for clause. |
74 | Trying clause: "[]"(_42, is, greater, than, _43) :- native |
75 | No match for clause. |
76 | Trying clause: "[]"(head, _44, exists, in, theory, _45) :- native |
77 | No match for clause. |
78 | Trying clause: "[]"(_46, "=", all, theory, names) :- native |
79 | No match for clause. |
80 | Trying clause: "[]"(_47, "=", tocons, "()"(_48)) :- native |
81 | No match for clause. |
82 | Trying clause: "[]"(_49, is, less, than, _50) :- native |
83 | No match for clause. |
84 | Trying clause: "[]"(_51, in, _52) :- "[]"(_52, "=", tocons, "()"(_53)); "[]"(_51, "=", iter, _52) |
85 | No match for clause. |
86 | Trying clause: "[]"(_54, or, _55) :- _54 |
87 | No match for clause. |
88 | Trying clause: "[]"(_56, or, _57) :- _57 |
89 | No match for clause. |
90 | Trying clause: "[]"(_58, "=", iter, "[]"(cons, _58, _59)) |
91 | No match for clause. |
92 | Trying clause: "[]"(_60, "=", iter, "[]"(cons, _61, _62)) :- "[]"(_60, "=", iter, _62) |
93 | No match for clause. |
94 | Trying clause: "[]"(verify, "[]"(_63, should, be, true)) :- _63 |
95 | No match for clause. |
96 | Trying clause: "[]"(_64, "=", smartmul, "()"("[]"(_65, ",", _66))) :- "[]"(_64, "=", intmul, "()"("[]"(_65, ",", _66))) |
97 | No match for clause. |
98 | Trying clause: "[]"(_67, "=", smartmul, "()"("[]"(_68, ",", _69))) :- "[]"(_68, "=", intdiv, "()"("[]"(_67, ",", _69))) |
99 | No match for clause. |
100 | Trying clause: "[]"(_70, "=", smartmul, "()"("[]"(_71, ",", _72))) :- "[]"(_72, "=", intdiv, "()"("[]"(_70, ",", _71))) |
101 | No match for clause. |
102 | Trying clause: "[]"(verify, "[]"(_73, should, be, false)) :- "[]"(not, "()"(_73)) |
103 | No match for clause. |
104 | Trying clause: "()"(_74) :- _74 |
105 | No match for clause. |
106 | Trying clause: "[]"("\"and\"", is, a, fill, word) |
107 | No match for clause. |
108 | Trying clause: "[]"("\",\"", is, a, fill, word) |
109 | No match for clause. |
110 | Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
111 | No match for clause. |
112 | Trying clause: "[]"(mrshutco, is, a, human) |
113 | No match for clause. |
114 | Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
115 | No match for clause. |
116 | Trying clause: "[]"(not, "()"(_75)) :- _75; "!"; false |
117 | No match for clause. |
118 | Trying clause: "[]"(not, "()"(_76)) |
119 | No match for clause. |
120 | Trying clause: "[]"(_77, and, _78) :- _77; _78 |
121 | No match for clause. |
122 | Trying clause: "[]"(_79, is, in, list, _80) :- "[]"(_81, "=", tocons, "()"(_80)); "[]"(_79, "=", iter, _81) |
123 | No match for clause. |
124 | Trying clause: "[]"(feet, is, the, plural, of, foot) |
125 | No match for clause. |
126 | Trying clause: "[]"(bits, is, the, plural, of, bit) |
127 | No match for clause. |
128 | Trying clause: "[]"(lasagna, is, tasty) |
129 | No match for clause. |
130 | Trying clause: "[]"(_82, or, _83) :- _83 |
131 | Weird: Goal is variable |
132 | New goal: true |
133 | native! |
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: | #3000220 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000220/1 |
| Text MD5: | a1175bbdbcb4cee3d8c999c936be4499 |
| 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 01:45:55 |
| Source code size: | 8233 bytes / 133 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 537 / 132 |
| Referenced in: | [show references] |