Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

191
LINES

< > BotCompany Repo | #3000231 // Answer for stefanreich (>> log)

New Tinybrain snippet

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), "is", "in", "list", "yes"))
28  
Goal arity 5: "[]"($x, is, in, list, yes)
29  
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_1, is, greater, than, _2) :- native
30  
No match for clause.
31  
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_3, "=", all, theory, names) :- native
32  
No match for clause.
33  
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_4, is, less, than, _5) :- native
34  
No match for clause.
35  
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_6, is, in, list, _7) :- "[]"(_8, "=", tocons, "()"(_7)); "[]"(_6, "=", iter, _8)
36  
  Clause unifies to: "[]"($x, is, in, list, yes) :- "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8)
37  
  gdash: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8)
38  
Goal arity 4: "[]"(_8, "=", tocons, "()"(yes))
39  
New goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8)
40  
 native!
41  
Goal arity 4: "[]"($x, "=", iter, "[]"(cons, yes, end))
42  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_9, "=", intmul, "()"("[]"(_10, ",", _11))) :- native
43  
  No match for clause.
44  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_12, "=", intdiv, "()"("[]"(_13, ",", _14))) :- native
45  
  No match for clause.
46  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_15, "=", intadd, "()"("[]"(_16, ",", _17))) :- native
47  
  No match for clause.
48  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_18, "=", intminus, "()"("[]"(_19, ",", _20))) :- native
49  
  No match for clause.
50  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_21, "=", tocons, "()"(_22)) :- native
51  
  No match for clause.
52  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
53  
  No match for clause.
54  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(mrshutco, is, a, human)
55  
  No match for clause.
56  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
57  
  No match for clause.
58  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_23, "=", iter, "[]"(cons, _23, _24))
59  
    Clause unifies to: "[]"(yes, "=", iter, "[]"(cons, yes, end))
60  
    gdash: null
61  
SUCCESS!
62  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_25, "=", iter, "[]"(cons, _26, _27)) :- "[]"(_25, "=", iter, _27)
63  
    Clause unifies to: "[]"($x, "=", iter, "[]"(cons, yes, end)) :- "[]"($x, "=", iter, end)
64  
    gdash: "[]"($x, "=", iter, end)
65  
Goal arity 4: "[]"($x, "=", iter, end)
66  
  New goal: "[]"($x, "=", iter, end)
67  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_28, "=", intmul, "()"("[]"(_29, ",", _30))) :- native
68  
   No match for clause.
69  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_31, "=", intdiv, "()"("[]"(_32, ",", _33))) :- native
70  
   No match for clause.
71  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_34, "=", intadd, "()"("[]"(_35, ",", _36))) :- native
72  
   No match for clause.
73  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_37, "=", intminus, "()"("[]"(_38, ",", _39))) :- native
74  
   No match for clause.
75  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_40, "=", tocons, "()"(_41)) :- native
76  
   No match for clause.
77  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
78  
   No match for clause.
79  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(mrshutco, is, a, human)
80  
   No match for clause.
81  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
82  
   No match for clause.
83  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_42, "=", iter, "[]"(cons, _42, _43))
84  
   No match for clause.
85  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_44, "=", iter, "[]"(cons, _45, _46)) :- "[]"(_44, "=", iter, _46)
86  
   No match for clause.
87  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_47, "=", smartmul, "()"("[]"(_48, ",", _49))) :- "[]"(_47, "=", intmul, "()"("[]"(_48, ",", _49)))
88  
   No match for clause.
89  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_50, "=", smartmul, "()"("[]"(_51, ",", _52))) :- "[]"(_51, "=", intdiv, "()"("[]"(_50, ",", _52)))
90  
   No match for clause.
91  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_53, "=", smartmul, "()"("[]"(_54, ",", _55))) :- "[]"(_55, "=", intdiv, "()"("[]"(_53, ",", _54)))
92  
   No match for clause.
93  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_56, "=", smartmul, "()"("[]"(_57, ",", _58))) :- "[]"(_56, "=", intmul, "()"("[]"(_57, ",", _58)))
94  
  No match for clause.
95  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_59, "=", smartmul, "()"("[]"(_60, ",", _61))) :- "[]"(_60, "=", intdiv, "()"("[]"(_59, ",", _61)))
96  
  No match for clause.
97  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_62, "=", smartmul, "()"("[]"(_63, ",", _64))) :- "[]"(_64, "=", intdiv, "()"("[]"(_62, ",", _63)))
98  
  No match for clause.
99  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_65, "=", intmul, "()"("[]"(_66, ",", _67))) :- native
100  
 No match for clause.
101  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_68, "=", intdiv, "()"("[]"(_69, ",", _70))) :- native
102  
 No match for clause.
103  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_71, "=", intadd, "()"("[]"(_72, ",", _73))) :- native
104  
 No match for clause.
105  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_74, "=", intminus, "()"("[]"(_75, ",", _76))) :- native
106  
 No match for clause.
107  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_77, "=", tocons, "()"(_78)) :- native
108  
   Clause unifies to: "[]"(_8, "=", tocons, "()"(yes)) :- native
109  
  Clause is native.
110  
   gdash: "[]"($x, "=", iter, "[]"(cons, yes, end))
111  
Goal arity 4: "[]"($x, "=", iter, "[]"(cons, yes, end))
112  
 New goal: "[]"($x, "=", iter, "[]"(cons, yes, end))
113  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_79, "=", intmul, "()"("[]"(_80, ",", _81))) :- native
114  
  No match for clause.
115  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_82, "=", intdiv, "()"("[]"(_83, ",", _84))) :- native
116  
  No match for clause.
117  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_85, "=", intadd, "()"("[]"(_86, ",", _87))) :- native
118  
  No match for clause.
119  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_88, "=", intminus, "()"("[]"(_89, ",", _90))) :- native
120  
  No match for clause.
121  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_91, "=", tocons, "()"(_92)) :- native
122  
  No match for clause.
123  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
124  
  No match for clause.
125  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(mrshutco, is, a, human)
126  
  No match for clause.
127  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
128  
  No match for clause.
129  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_93, "=", iter, "[]"(cons, _93, _94))
130  
    Clause unifies to: "[]"(yes, "=", iter, "[]"(cons, yes, end))
131  
    gdash: null
132  
SUCCESS!
133  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_95, "=", iter, "[]"(cons, _96, _97)) :- "[]"(_95, "=", iter, _97)
134  
    Clause unifies to: "[]"($x, "=", iter, "[]"(cons, yes, end)) :- "[]"($x, "=", iter, end)
135  
    gdash: "[]"($x, "=", iter, end)
136  
Goal arity 4: "[]"($x, "=", iter, end)
137  
  New goal: "[]"($x, "=", iter, end)
138  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_98, "=", intmul, "()"("[]"(_99, ",", _100))) :- native
139  
   No match for clause.
140  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_101, "=", intdiv, "()"("[]"(_102, ",", _103))) :- native
141  
   No match for clause.
142  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_104, "=", intadd, "()"("[]"(_105, ",", _106))) :- native
143  
   No match for clause.
144  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_107, "=", intminus, "()"("[]"(_108, ",", _109))) :- native
145  
   No match for clause.
146  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_110, "=", tocons, "()"(_111)) :- native
147  
   No match for clause.
148  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
149  
   No match for clause.
150  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(mrshutco, is, a, human)
151  
   No match for clause.
152  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
153  
   No match for clause.
154  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_112, "=", iter, "[]"(cons, _112, _113))
155  
   No match for clause.
156  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_114, "=", iter, "[]"(cons, _115, _116)) :- "[]"(_114, "=", iter, _116)
157  
   No match for clause.
158  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_117, "=", smartmul, "()"("[]"(_118, ",", _119))) :- "[]"(_117, "=", intmul, "()"("[]"(_118, ",", _119)))
159  
   No match for clause.
160  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_120, "=", smartmul, "()"("[]"(_121, ",", _122))) :- "[]"(_121, "=", intdiv, "()"("[]"(_120, ",", _122)))
161  
   No match for clause.
162  
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_123, "=", smartmul, "()"("[]"(_124, ",", _125))) :- "[]"(_125, "=", intdiv, "()"("[]"(_123, ",", _124)))
163  
   No match for clause.
164  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_126, "=", smartmul, "()"("[]"(_127, ",", _128))) :- "[]"(_126, "=", intmul, "()"("[]"(_127, ",", _128)))
165  
  No match for clause.
166  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_129, "=", smartmul, "()"("[]"(_130, ",", _131))) :- "[]"(_130, "=", intdiv, "()"("[]"(_129, ",", _131)))
167  
  No match for clause.
168  
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_132, "=", smartmul, "()"("[]"(_133, ",", _134))) :- "[]"(_134, "=", intdiv, "()"("[]"(_132, ",", _133)))
169  
  No match for clause.
170  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
171  
 No match for clause.
172  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(mrshutco, is, a, human)
173  
 No match for clause.
174  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
175  
 No match for clause.
176  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_135, "=", iter, "[]"(cons, _135, _136))
177  
 No match for clause.
178  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_137, "=", iter, "[]"(cons, _138, _139)) :- "[]"(_137, "=", iter, _139)
179  
 No match for clause.
180  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_140, "=", smartmul, "()"("[]"(_141, ",", _142))) :- "[]"(_140, "=", intmul, "()"("[]"(_141, ",", _142)))
181  
 No match for clause.
182  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_143, "=", smartmul, "()"("[]"(_144, ",", _145))) :- "[]"(_144, "=", intdiv, "()"("[]"(_143, ",", _145)))
183  
 No match for clause.
184  
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_146, "=", smartmul, "()"("[]"(_147, ",", _148))) :- "[]"(_148, "=", intdiv, "()"("[]"(_146, ",", _147)))
185  
 No match for clause.
186  
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"("\"and\"", is, a, fill, word)
187  
No match for clause.
188  
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"("\",\"", is, a, fill, word)
189  
No match for clause.
190  
Done with goal!
191  
Done with goal!

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: #3000231
Snippet name: Answer for stefanreich (>> log)
Eternal ID of this version: #3000231/1
Text MD5: cae95d91e173df7fb4314ab844f1fbda
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:01:17
Source code size: 15736 bytes / 191 lines
Pitched / IR pitched: No / No
Views / Downloads: 441 / 98
Referenced in: [show references]