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

87
LINES

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

New Tinybrain snippet

1  


2  
Starting on goal: Prolog$Goal(car=l("[]", "500", "=", "smartmul", l("()", l("[]", "50", ",", Prolog$Var(id=0L, instance=r5)))))


3  
  Trying clause: "[]"(_1, "=", intmul, "()"("[]"(_2, ",", _3))) :- native


4  
No match for clause.


5  
  Trying clause: "[]"(_4, "=", intdiv, "()"("[]"(_5, ",", _6))) :- native


6  
No match for clause.


7  
  Trying clause: "[]"(_7, "=", intadd, "()"("[]"(_8, ",", _9))) :- native


8  
No match for clause.


9  
  Trying clause: "[]"(_10, "=", intminus, "()"("[]"(_11, ",", _12))) :- native


10  
No match for clause.


11  
  Trying clause: "[]"(_13, "=", smartmul, "()"("[]"(_14, ",", _15))) :- "[]"(_13, "=", intmul, "()"("[]"(_14, ",", _15)))


12  
New goal: "[]"("500", "=", smartmul, "()"("[]"("50", ",", $x)))


13  
Exception in native: java.lang.NumberFormatException: For input string: "$x"


14  
   Trying clause: "[]"(_16, "=", intmul, "()"("[]"(_17, ",", _18))) :- native


15  
Exception in native: java.lang.NumberFormatException: For input string: "$x"


16  
 Native clause fails


17  
   Trying clause: "[]"(_19, "=", intdiv, "()"("[]"(_20, ",", _21))) :- native


18  
 No match for clause.


19  
   Trying clause: "[]"(_22, "=", intadd, "()"("[]"(_23, ",", _24))) :- native


20  
 No match for clause.


21  
   Trying clause: "[]"(_25, "=", intminus, "()"("[]"(_26, ",", _27))) :- native


22  
 No match for clause.


23  
   Trying clause: "[]"(_28, "=", smartmul, "()"("[]"(_29, ",", _30))) :- "[]"(_28, "=", intmul, "()"("[]"(_29, ",", _30)))


24  
 No match for clause.


25  
   Trying clause: "[]"(_31, "=", smartmul, "()"("[]"(_32, ",", _33))) :- "[]"(_32, "=", intdiv, "()"("[]"(_31, ",", _33)))


26  
 No match for clause.


27  
   Trying clause: "[]"(_34, "=", smartmul, "()"("[]"(_35, ",", _36))) :- "[]"(_36, "=", intdiv, "()"("[]"(_34, ",", _35)))


28  
 No match for clause.


29  
   Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)


30  
 No match for clause.


31  
   Trying clause: "[]"(mrshutco, is, a, human)


32  
 No match for clause.


33  
   Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)


34  
 No match for clause.


35  
  Trying clause: "[]"(_37, "=", smartmul, "()"("[]"(_38, ",", _39))) :- "[]"(_38, "=", intdiv, "()"("[]"(_37, ",", _39)))


36  
New goal: "[]"("500", "=", smartmul, "()"("[]"("50", ",", $x)))


37  
Exception in native: java.lang.NumberFormatException: For input string: "$x"


38  
   Trying clause: "[]"(_40, "=", intmul, "()"("[]"(_41, ",", _42))) :- native


39  
 No match for clause.


40  
   Trying clause: "[]"(_43, "=", intdiv, "()"("[]"(_44, ",", _45))) :- native


41  
Exception in native: java.lang.NumberFormatException: For input string: "$x"


42  
 Native clause fails


43  
   Trying clause: "[]"(_46, "=", intadd, "()"("[]"(_47, ",", _48))) :- native


44  
 No match for clause.


45  
   Trying clause: "[]"(_49, "=", intminus, "()"("[]"(_50, ",", _51))) :- native


46  
 No match for clause.


47  
   Trying clause: "[]"(_52, "=", smartmul, "()"("[]"(_53, ",", _54))) :- "[]"(_52, "=", intmul, "()"("[]"(_53, ",", _54)))


48  
 No match for clause.


49  
   Trying clause: "[]"(_55, "=", smartmul, "()"("[]"(_56, ",", _57))) :- "[]"(_56, "=", intdiv, "()"("[]"(_55, ",", _57)))


50  
 No match for clause.


51  
   Trying clause: "[]"(_58, "=", smartmul, "()"("[]"(_59, ",", _60))) :- "[]"(_60, "=", intdiv, "()"("[]"(_58, ",", _59)))


52  
 No match for clause.


53  
   Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)


54  
 No match for clause.


55  
   Trying clause: "[]"(mrshutco, is, a, human)


56  
 No match for clause.


57  
   Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)


58  
 No match for clause.


59  
  Trying clause: "[]"(_61, "=", smartmul, "()"("[]"(_62, ",", _63))) :- "[]"(_63, "=", intdiv, "()"("[]"(_61, ",", _62)))


60  
New goal: "[]"("500", "=", smartmul, "()"("[]"("50", ",", $x)))


61  
   Trying clause: "[]"(_64, "=", intmul, "()"("[]"(_65, ",", _66))) :- native


62  
 No match for clause.


63  
   Trying clause: "[]"(_67, "=", intdiv, "()"("[]"(_68, ",", _69))) :- native


64  
SUCCESS!


65  
   Trying clause: "[]"(_70, "=", intadd, "()"("[]"(_71, ",", _72))) :- native


66  
 No match for clause.


67  
   Trying clause: "[]"(_73, "=", intminus, "()"("[]"(_74, ",", _75))) :- native


68  
 No match for clause.


69  
   Trying clause: "[]"(_76, "=", smartmul, "()"("[]"(_77, ",", _78))) :- "[]"(_76, "=", intmul, "()"("[]"(_77, ",", _78)))


70  
 No match for clause.


71  
   Trying clause: "[]"(_79, "=", smartmul, "()"("[]"(_80, ",", _81))) :- "[]"(_80, "=", intdiv, "()"("[]"(_79, ",", _81)))


72  
 No match for clause.


73  
   Trying clause: "[]"(_82, "=", smartmul, "()"("[]"(_83, ",", _84))) :- "[]"(_84, "=", intdiv, "()"("[]"(_82, ",", _83)))


74  
 No match for clause.


75  
   Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)


76  
 No match for clause.


77  
   Trying clause: "[]"(mrshutco, is, a, human)


78  
 No match for clause.


79  
   Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)


80  
 No match for clause.


81  
  Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)


82  
No match for clause.


83  
  Trying clause: "[]"(mrshutco, is, a, human)


84  
No match for clause.


85  
  Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)


86  
No match for clause.


87  
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:
    #3000213
  

  

    Snippet name:
    Answer for stefanreich (>> log)
  

    

    Eternal ID of this version:
    #3000213/1
  

  

    Text MD5:
    44cbb44809cbbc32ae7722a349a4fcad
  

    

    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-05 20:12:15
  

  

    Source code size:
    4857 bytes / 87 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    410 / 108
  

      

    Referenced in:
[show references]