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

153
LINES

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

New Tinybrain snippet

1  


2  
clause(Lisp): "[]"(if, "[]"($x, and, not, "()"($y)), then, "[]"($x, xor, $y), if, "[]"(not, "()"($x), and, $y), then, "[]"($x, xor, $y)) => [l("if *", l("[]", "$x", "and", "not", l("()", "$y"))), l("then *", l("[]", "$x", "xor", "$y")), l("if *", l("[]", "not", l("()", "$x"), "and", "$y")), l("then *", l("[]", "$x", "xor", "$y"))]


3  
clause(Lisp): "[]"("[]"(not, "()"(true)), should, be, false) => null


4  
clause(Lisp): "[]"(mrshutco, is, a, human) => [l("mrshutco *", "is"), l("a *", "human")]


5  
clause(Lisp): "[]"("[]"(not, "()"(false)), should, be, true) => null


6  
clause(Lisp): "[]"(if, $x, and, "!", and, false, then, "[]"(not, "()"($x))) => [l("if *", "$x"), l("and *", "!"), l("and *", "false"), l("then *", l("[]", "not", l("()", "$x")))]


7  
clause(Lisp): "[]"(not, "()"($x)) => [l("not *", l("()", "$x"))]


8  
clause(Lisp): "[]"(if, $a, and, $b, then, "[]"($a, and, $b)) => [l("if *", "$a"), l("and *", "$b"), l("then *", l("[]", "$a", "and", "$b"))]


9  
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"))]


10  
clause(Lisp): "[]"(lasagna, is, tasty) => null


11  
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"))]


12  
clause(Lisp): "[]"(if, $a, then, "[]"($a, or, $b)) => [l("if *", "$a"), l("then *", l("[]", "$a", "or", "$b"))]


13  
clause(Lisp): "[]"(if, $b, then, "[]"($a, or, $b)) => [l("if *", "$b"), l("then *", l("[]", "$a", "or", "$b"))]


14  
clause(Lisp): "[]"($head, "=", iter, "[]"(cons, $head, $tail)) => null


15  
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")))]


16  
clause(Lisp): "[]"(if, $x, then, "[]"(verify, "[]"($x, should, be, true))) => [l("if *", "$x"), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "true")))]


17  
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"))))]


18  
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"))))]


19  
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"))))]


20  
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")))]


21  
clause(Lisp): "[]"(if, $x, then, "()"($x)) => [l("if *", "$x"), l("then *", l("()", "$x"))]


22  
clause(Lisp): "[]"("\"and\"", is, a, fill, word) => null


23  
clause(Lisp): "[]"("\",\"", is, a, fill, word) => null


24  
clause(Lisp): "[]"(feet, is, the, plural, of, foot) => [l("feet *", "is"), l("the *", "plural"), l("of *", "foot")]


25  
clause(Lisp): "[]"(bits, is, the, plural, of, bit) => [l("bits *", "is"), l("the *", "plural"), l("of *", "bit")]


26  
Starting on goal: Prolog$Goal(car=l("[]", "not", l("()", l("[]", "true", "or", "true"))))


27  
Goal arity 2: "[]"(not, "()"("[]"(true, or, true)))


28  
  Head goal: "[]"(not, "()"("[]"(true, or, true))). Trying clause: "[]"(not, "()"(_1)) :- _1; "!"; false


29  
 Clause unifies.


30  
Weird: Goal is variable


31  
New goal: "[]"(true, or, true); "!"; false


32  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: nativeTest2 :- native


33  
 No match for clause.


34  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: nativeFail :- native


35  
 No match for clause.


36  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_2, "=", intmul, "()"("[]"(_3, ",", _4))) :- native


37  
 No match for clause.


38  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_5, "=", intdiv, "()"("[]"(_6, ",", _7))) :- native


39  
 No match for clause.


40  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_8, "=", intadd, "()"("[]"(_9, ",", _10))) :- native


41  
 No match for clause.


42  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_11, "=", intminus, "()"("[]"(_12, ",", _13))) :- native


43  
 No match for clause.


44  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_14, is, greater, than, _15) :- native


45  
 No match for clause.


46  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(head, _16, exists, in, theory, _17) :- native


47  
 No match for clause.


48  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_18, "=", all, theory, names) :- native


49  
 No match for clause.


50  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_19, "=", tocons, "()"(_20)) :- native


51  
 No match for clause.


52  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_21, is, less, than, _22) :- native


53  
 No match for clause.


54  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_23, xor, _24) :- "[]"(_23, and, not, "()"(_24)); "[]"(_23, xor, _24); "[]"(not, "()"(_23), and, _24)


55  
 No match for clause.


56  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)


57  
 No match for clause.


58  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(mrshutco, is, a, human)


59  
 No match for clause.


60  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)


61  
 No match for clause.


62  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(not, "()"(_25)) :- _25; "!"; false


63  
 No match for clause.


64  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(not, "()"(_26))


65  
 No match for clause.


66  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_27, and, _28) :- _27; _28


67  
 No match for clause.


68  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_29, is, in, list, _30) :- "[]"(_31, "=", tocons, "()"(_30)); "[]"(_29, "=", iter, _31)


69  
 No match for clause.


70  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(lasagna, is, tasty)


71  
 No match for clause.


72  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_32, in, _33) :- "[]"(_33, "=", tocons, "()"(_34)); "[]"(_32, "=", iter, _33)


73  
 No match for clause.


74  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_35, or, _36) :- _35


75  
  Clause unifies.


76  
Weird: Goal is variable


77  
 New goal: true


78  
  native!


79  
    Head goal: true. Trying clause: nativeTest2 :- native


80  
  No match for clause.


81  
    Head goal: true. Trying clause: nativeFail :- native


82  
  No match for clause.


83  
    Head goal: true. Trying clause: "[]"(_37, "=", intmul, "()"("[]"(_38, ",", _39))) :- native


84  
  No match for clause.


85  
    Head goal: true. Trying clause: "[]"(_40, "=", intdiv, "()"("[]"(_41, ",", _42))) :- native


86  
  No match for clause.


87  
    Head goal: true. Trying clause: "[]"(_43, "=", intadd, "()"("[]"(_44, ",", _45))) :- native


88  
  No match for clause.


89  
    Head goal: true. Trying clause: "[]"(_46, "=", intminus, "()"("[]"(_47, ",", _48))) :- native


90  
  No match for clause.


91  
    Head goal: true. Trying clause: "[]"(_49, is, greater, than, _50) :- native


92  
  No match for clause.


93  
    Head goal: true. Trying clause: "[]"(head, _51, exists, in, theory, _52) :- native


94  
  No match for clause.


95  
    Head goal: true. Trying clause: "[]"(_53, "=", all, theory, names) :- native


96  
  No match for clause.


97  
    Head goal: true. Trying clause: "[]"(_54, "=", tocons, "()"(_55)) :- native


98  
  No match for clause.


99  
    Head goal: true. Trying clause: "[]"(_56, is, less, than, _57) :- native


100  
  No match for clause.


101  
    Head goal: true. Trying clause: "[]"(_58, xor, _59) :- "[]"(_58, and, not, "()"(_59)); "[]"(_58, xor, _59); "[]"(not, "()"(_58), and, _59)


102  
  No match for clause.


103  
    Head goal: true. Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)


104  
  No match for clause.


105  
    Head goal: true. Trying clause: "[]"(mrshutco, is, a, human)


106  
  No match for clause.


107  
    Head goal: true. Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)


108  
  No match for clause.


109  
    Head goal: true. Trying clause: "[]"(not, "()"(_60)) :- _60; "!"; false


110  
  No match for clause.


111  
    Head goal: true. Trying clause: "[]"(not, "()"(_61))


112  
  No match for clause.


113  
    Head goal: true. Trying clause: "[]"(_62, and, _63) :- _62; _63


114  
  No match for clause.


115  
    Head goal: true. Trying clause: "[]"(_64, is, in, list, _65) :- "[]"(_66, "=", tocons, "()"(_65)); "[]"(_64, "=", iter, _66)


116  
  No match for clause.


117  
    Head goal: true. Trying clause: "[]"(lasagna, is, tasty)


118  
  No match for clause.


119  
    Head goal: true. Trying clause: "[]"(_67, in, _68) :- "[]"(_68, "=", tocons, "()"(_69)); "[]"(_67, "=", iter, _68)


120  
  No match for clause.


121  
    Head goal: true. Trying clause: "[]"(_70, or, _71) :- _70


122  
  No match for clause.


123  
    Head goal: true. Trying clause: "[]"(_72, or, _73) :- _73


124  
  No match for clause.


125  
    Head goal: true. Trying clause: "[]"(_74, "=", iter, "[]"(cons, _74, _75))


126  
  No match for clause.


127  
    Head goal: true. Trying clause: "[]"(_76, "=", iter, "[]"(cons, _77, _78)) :- "[]"(_76, "=", iter, _78)


128  
  No match for clause.


129  
    Head goal: true. Trying clause: "[]"(verify, "[]"(_79, should, be, true)) :- _79


130  
  No match for clause.


131  
    Head goal: true. Trying clause: "[]"(_80, "=", smartmul, "()"("[]"(_81, ",", _82))) :- "[]"(_80, "=", intmul, "()"("[]"(_81, ",", _82)))


132  
  No match for clause.


133  
    Head goal: true. Trying clause: "[]"(_83, "=", smartmul, "()"("[]"(_84, ",", _85))) :- "[]"(_84, "=", intdiv, "()"("[]"(_83, ",", _85)))


134  
  No match for clause.


135  
    Head goal: true. Trying clause: "[]"(_86, "=", smartmul, "()"("[]"(_87, ",", _88))) :- "[]"(_88, "=", intdiv, "()"("[]"(_86, ",", _87)))


136  
  No match for clause.


137  
    Head goal: true. Trying clause: "[]"(verify, "[]"(_89, should, be, false)) :- "[]"(not, "()"(_89))


138  
  No match for clause.


139  
    Head goal: true. Trying clause: "()"(_90) :- _90


140  
  No match for clause.


141  
    Head goal: true. Trying clause: "[]"("\"and\"", is, a, fill, word)


142  
  No match for clause.


143  
    Head goal: true. Trying clause: "[]"("\",\"", is, a, fill, word)


144  
  No match for clause.


145  
    Head goal: true. Trying clause: "[]"(feet, is, the, plural, of, foot)


146  
  No match for clause.


147  
    Head goal: true. Trying clause: "[]"(bits, is, the, plural, of, bit)


148  
  No match for clause.


149  
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_91, or, _92) :- _92


150  
  Clause unifies.


151  
Weird: Goal is variable


152  
 New goal: true


153  
  native!



      
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:
    #3000221
  

  

    Snippet name:
    Answer for stefanreich (>> log)
  

    

    Eternal ID of this version:
    #3000221/1
  

  

    Text MD5:
    90564aa862cb337a213b432c758ddb6b
  

    

    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 02:04:05
  

  

    Source code size:
    11059 bytes / 153 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    477 / 108
  

      

    Referenced in:
[show references]