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

56
LINES

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

New Tinybrain snippet

1  


2  
Starting on goal: $list = [$x | [$x is tasty]]


3  
Goal arity 3: $list = [$x | [$x is tasty]]


4  
nextSolution


5  
  Goal: "[]"($list, "=", "[]"($x, "|", "[]"($x, is, tasty))). Got clause: "[]"(_7, "=", "[]"(_8, "|", _9)) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", _9, ",", _10))), or, true); "[]"(_7, "=", retrieve, "()"(_10))


6  
  Clause unifies to: "[]"($list, "=", "[]"(_8, "|", "[]"(_8, is, tasty))) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10))


7  
  gdash: ___ = new collector


8  
Goal arity 4: ___ = new collector


9  
   Goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)). Got clause: "[]"(_11, "=", new, collector) :- native


10  
   Clause unifies to: "[]"(_10, "=", new, collector) :- native


11  
  Clause is native.


12  
   gdash: [forall_impl ([___ , ___ , ___])] or true


13  
Goal arity 3: [forall_impl ([___ , ___ , ___])] or true


14  
    Goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_25, or, _26) :- _25


15  
    Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) :- "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))


16  
    gdash: ___


17  
Goal arity 2: forall_impl ([___ , ___ , ___])


18  
     Goal: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_33, ",", _34, ",", _35))) :- _34; "[]"(saveTo, "()"("[]"(_33, ",", _35))); false


19  
     Clause unifies to: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) :- "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false


20  
     gdash: ___


21  
Goal arity 3: $x is tasty


22  
      Goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"("[]"(ice, cream), is, tasty)


23  
      Clause unifies to: "[]"("[]"(ice, cream), is, tasty)


24  
      gdash: saveTo ([___ , ___])


25  
Goal arity 2: saveTo ([___ , ___])


26  
       Goal: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_36, ",", _37))) :- native


27  
       Clause unifies to: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))) :- native


28  
      Clause is native.


29  
       gdash: false


30  
Goal arity 0: false


31  
      Goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty)


32  
      Clause unifies to: "[]"(lasagna, is, tasty)


33  
      gdash: saveTo ([___ , ___])


34  
Goal arity 2: saveTo ([___ , ___])


35  
       Goal: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_60, ",", _61))) :- native


36  
       Clause unifies to: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))) :- native


37  
      Clause is native.


38  
       gdash: false


39  
Goal arity 0: false


40  
    Goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_86, or, _87) :- _87


41  
    Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) :- true


42  
    gdash: ___


43  
Goal arity 0: true


44  
     Goal: true; "[]"($list, "=", retrieve, "()"(___)). Got clause: true


45  
     Clause unifies to: true


46  
     gdash: ___ = retrieve (___)


47  
Goal arity 4: ___ = retrieve (___)


48  
      Goal: "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_89, "=", _90, "()"(_91)) :- native


49  
      Clause unifies to: "[]"($list, "=", retrieve, "()"(___)) :- native


50  
     Clause is native.


51  
      gdash: -


52  
SUCCESS!


53  
  solution found in step 77


54  
nextSolution


55  
Done with goal!


56  
No solution



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

  

    Snippet name:
    Answer for stefanreich (>> log)
  

    

    Eternal ID of this version:
    #3000245/1
  

  

    Text MD5:
    25f60c09fcd9a56547d1ac7e8404ffd1
  

    

    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-10 00:43:22
  

  

    Source code size:
    3918 bytes / 56 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    411 / 100
  

      

    Referenced in:
[show references]