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

235
LINES

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

New Tinybrain snippet

1  


2  
Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "=", l("[]", "a", "|", "false")))


3  
Goal arity 3: "[]"($x, "=", "[]"(a, "|", false))


4  
nextSolution


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


6  
  Clause unifies to: "[]"($x, "=", "[]"(a, "|", false)) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", _10))), or, true); "[]"($x, "=", retrieve, "()"(_10))


7  
  gdash: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", _10))), or, true); "[]"($x, "=", retrieve, "()"(_10))


8  
Goal arity 4: "[]"(_10, "=", new, collector)


9  
New goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", _10))), or, true); "[]"($x, "=", retrieve, "()"(_10))


10  
   Goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", _10))), or, true); "[]"($x, "=", retrieve, "()"(_10)). Got clause: "[]"(_12, "=", new, collector) :- native


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


12  
  Clause is native.


13  
   gdash: "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))), or, true); "[]"($x, "=", retrieve, "()"(___))


14  
Goal arity 3: "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))), or, true)


15  
 New goal: "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))), or, true); "[]"($x, "=", retrieve, "()"(___))


16  
    Goal: "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))), or, true); "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_27, or, _28) :- _27


17  
    Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))), or, true) :- "[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___)))


18  
    gdash: "[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))); "[]"($x, "=", retrieve, "()"(___))


19  
Goal arity 2: "[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___)))


20  
  New goal: "[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))); "[]"($x, "=", retrieve, "()"(___))


21  
     Goal: "[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))); "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_35, ",", _36, ",", _37))) :- _36; "[]"(saveTo, "()"("[]"(_35, ",", _37))); false


22  
     Clause unifies to: "[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))) :- _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false


23  
     gdash: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


24  
Weird: Goal is variable: _11


25  
   New goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


26  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: true


27  
      Clause unifies to: true


28  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


29  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


30  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


31  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_38, ",", _39))) :- native


32  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


33  
      Clause is native.


34  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


35  
Goal arity 0: false


36  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


37  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_52, "=", new, collector) :- native


38  
      Clause unifies to: "[]"(_52, "=", new, collector) :- native


39  
     Clause is native.


40  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


41  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


42  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


43  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_53, ",", _54))) :- native


44  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


45  
      Clause is native.


46  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


47  
Goal arity 0: false


48  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


49  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_67, ",", _68))) :- native


50  
      Clause unifies to: "[]"(saveTo, "()"("[]"(_67, ",", _68))) :- native


51  
     Clause is native.


52  
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector


53  
    Native clause fails


54  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_69, "=", _70, "()"(_71)) :- native


55  
      Clause unifies to: "[]"(_69, "=", _70, "()"(_71)) :- native


56  
     Clause is native.


57  
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector


58  
    Native clause fails


59  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native


60  
      Clause unifies to: nativeTest2 :- native


61  
     Clause is native.


62  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


63  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


64  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


65  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_72, ",", _73))) :- native


66  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


67  
      Clause is native.


68  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


69  
Goal arity 0: false


70  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


71  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: nativeFail :- native


72  
      Clause unifies to: nativeFail :- native


73  
     Clause is native.


74  
    Native clause fails


75  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_86, "=", intmul, "()"("[]"(_87, ",", _88))) :- native


76  
      Clause unifies to: "[]"(_86, "=", intmul, "()"("[]"(_87, ",", _88))) :- native


77  
     Clause is native.


78  
Exception in native: java.lang.NumberFormatException: For input string: "___"


79  
    Native clause fails


80  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_89, "=", intdiv, "()"("[]"(_90, ",", _91))) :- native


81  
      Clause unifies to: "[]"(_89, "=", intdiv, "()"("[]"(_90, ",", _91))) :- native


82  
     Clause is native.


83  
Exception in native: java.lang.NumberFormatException: For input string: "___"


84  
    Native clause fails


85  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_92, "=", intadd, "()"("[]"(_93, ",", _94))) :- native


86  
      Clause unifies to: "[]"(_92, "=", intadd, "()"("[]"(_93, ",", _94))) :- native


87  
     Clause is native.


88  
Exception in native: java.lang.NumberFormatException: For input string: "___"


89  
    Native clause fails


90  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_95, "=", intminus, "()"("[]"(_96, ",", _97))) :- native


91  
      Clause unifies to: "[]"(_95, "=", intminus, "()"("[]"(_96, ",", _97))) :- native


92  
     Clause is native.


93  
Exception in native: java.lang.NumberFormatException: For input string: "___"


94  
    Native clause fails


95  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_98, is, greater, than, _99) :- native


96  
      Clause unifies to: "[]"(_98, is, greater, than, _99) :- native


97  
     Clause is native.


98  
Exception in native: java.lang.NumberFormatException: For input string: "___"


99  
    Native clause fails


100  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(head, _100, exists, in, theory, _101) :- native


101  
      Clause unifies to: "[]"(head, _100, exists, in, theory, _101) :- native


102  
     Clause is native.


103  
Exception in native: java.lang.NullPointerException


104  
    Native clause fails


105  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_102, "=", all, theory, names) :- native


106  
      Clause unifies to: "[]"(_102, "=", all, theory, names) :- native


107  
     Clause is native.


108  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


109  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


110  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


111  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_103, ",", _104))) :- native


112  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


113  
      Clause is native.


114  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


115  
Goal arity 0: false


116  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


117  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_117, "=", tocons, "()"(_118)) :- native


118  
      Clause unifies to: "[]"(_117, "=", tocons, "()"(_118)) :- native


119  
     Clause is native.


120  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


121  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


122  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


123  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_119, ",", _120))) :- native


124  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


125  
      Clause is native.


126  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


127  
Goal arity 0: false


128  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


129  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_133, is, less, than, _134) :- native


130  
      Clause unifies to: "[]"(_133, is, less, than, _134) :- native


131  
     Clause is native.


132  
Exception in native: java.lang.NumberFormatException: For input string: "___"


133  
    Native clause fails


134  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_135, "=", arg, _136, in, _137) :- native


135  
      Clause unifies to: "[]"(_135, "=", arg, _136, in, _137) :- native


136  
     Clause is native.


137  
Exception in native: java.lang.NumberFormatException: For input string: "___"


138  
    Native clause fails


139  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_138, "=", arity, of, _139) :- native


140  
      Clause unifies to: "[]"(_138, "=", arity, of, _139) :- native


141  
     Clause is native.


142  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


143  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


144  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


145  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_140, ",", _141))) :- native


146  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


147  
      Clause is native.


148  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


149  
Goal arity 0: false


150  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


151  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_154, "=", operator, "()"(_155)) :- native


152  
      Clause unifies to: "[]"(_154, "=", operator, "()"(_155)) :- native


153  
     Clause is native.


154  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


155  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


156  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


157  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_156, ",", _157))) :- native


158  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


159  
      Clause is native.


160  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


161  
Goal arity 0: false


162  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


163  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_170)) :- native


164  
      Clause unifies to: "[]"(isQuoted, "()"(_170)) :- native


165  
     Clause is native.


166  
    Native clause fails


167  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"("[]"(not, "()"(true)), should, be, false)


168  
      Clause unifies to: "[]"("[]"(not, "()"(true)), should, be, false)


169  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


170  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


171  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


172  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_171, ",", _172))) :- native


173  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


174  
      Clause is native.


175  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


176  
Goal arity 0: false


177  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


178  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(mrshutco, is, a, human)


179  
      Clause unifies to: "[]"(mrshutco, is, a, human)


180  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


181  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


182  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


183  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_185, ",", _186))) :- native


184  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


185  
      Clause is native.


186  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


187  
Goal arity 0: false


188  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


189  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"("[]"(not, "()"(false)), should, be, true)


190  
      Clause unifies to: "[]"("[]"(not, "()"(false)), should, be, true)


191  
      gdash: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


192  
Goal arity 2: "[]"(saveTo, "()"("[]"(a, ",", ___)))


193  
    New goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


194  
       Goal: "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_199, ",", _200))) :- native


195  
       Clause unifies to: "[]"(saveTo, "()"("[]"(a, ",", ___))) :- native


196  
      Clause is native.


197  
       gdash: false; "[]"($x, "=", retrieve, "()"(___))


198  
Goal arity 0: false


199  
     New goal: false; "[]"($x, "=", retrieve, "()"(___))


200  
      Goal: _11; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(not, "()"(_213)) :- _213; "!"; false


201  
      Clause unifies to: "[]"(not, "()"(_213)) :- _213; "!"; false


202  
      gdash: _213; "!"("5"); false; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


203  
Weird: Goal is variable: _213


204  
    New goal: _213; "!"("5"); false; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


205  
       Goal: _213; "!"("5"); false; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___)). Got clause: true


206  
       Clause unifies to: true


207  
       gdash: "!"("5"); false; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


208  
Goal arity 1: "!"("5")


209  
     New goal: "!"("5"); false; "[]"(saveTo, "()"("[]"(a, ",", ___))); false; "[]"($x, "=", retrieve, "()"(___))


210  
cut -1. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", "saveTo", l("()", l("[]", Prolog$Var(id=35L, instance=Prolog$Var(id=8L, instance=l("a"))), ",", Prolog$Var(id=37L, instance=Prolog$Var(id=10L, instance=Prolog$Collector(solutions=[r11, r11, r11, r11, r11, r11, r11, r11, r11, r11])))))), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=7L, instance=Prolog$Var(id=0L, instance=r21)), "=", "retrieve", l("()", r13)))))))


211  
Goal arity 0: false


212  
cut 0. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", "saveTo", l("()", l("[]", Prolog$Var(id=35L, instance=Prolog$Var(id=8L, instance=l("a"))), ",", Prolog$Var(id=37L, instance=Prolog$Var(id=10L, instance=Prolog$Collector(solutions=[r11, r11, r11, r11, r11, r11, r11, r11, r11, r11])))))), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=7L, instance=Prolog$Var(id=0L, instance=r21)), "=", "retrieve", l("()", r13)))))))


213  
back to cut point 5


214  
cut: dropping Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", "saveTo", l("()", l("[]", Prolog$Var(id=35L, instance=Prolog$Var(id=8L, instance=l("a"))), ",", Prolog$Var(id=37L, instance=Prolog$Var(id=10L, instance=Prolog$Collector(solutions=[r11, r11, r11, r11, r11, r11, r11, r11, r11, r11])))))), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=7L, instance=Prolog$Var(id=0L, instance=r21)), "=", "retrieve", l("()", r13)))))))


215  
cut: dropping Prolog$Goal(car=Prolog$Var(id=213L, instance=l("true")), cdr=Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", "saveTo", l("()", l("[]", Prolog$Var(id=35L, instance=Prolog$Var(id=8L, instance=l("a"))), ",", Prolog$Var(id=37L, instance=Prolog$Var(id=10L, instance=Prolog$Collector(solutions=[r14, r14, r14, r14, r14, r14, r14, r14, r14, r14])))))), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=7L, instance=Prolog$Var(id=0L, instance=r24)), "=", "retrieve", l("()", r16))))))))


216  
cut: dropping Prolog$Goal(car=Prolog$Var(id=36L, instance=Prolog$Var(id=11L, instance=l("[]", "not", l("()", Prolog$Var(id=213L, instance=r6))))), cdr=Prolog$Goal(car=l("[]", "saveTo", l("()", l("[]", Prolog$Var(id=35L, instance=Prolog$Var(id=8L, instance=l("a"))), ",", Prolog$Var(id=37L, instance=Prolog$Var(id=10L, instance=Prolog$Collector(solutions=[r13, r13, r13, r13, r13, r13, r13, r13, r13, r13])))))), cdr=Prolog$Goal(car=l("false"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=7L, instance=Prolog$Var(id=0L, instance=r23)), "=", "retrieve", l("()", r15))))))


217  
    Goal: "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))), or, true); "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_219, or, _220) :- _220


218  
    Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(a, ",", _11, ",", ___))), or, true) :- true


219  
    gdash: true; "[]"($x, "=", retrieve, "()"(___))


220  
Goal arity 0: true


221  
  New goal: true; "[]"($x, "=", retrieve, "()"(___))


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


223  
     Clause unifies to: true


224  
     gdash: "[]"($x, "=", retrieve, "()"(___))


225  
Goal arity 4: "[]"($x, "=", retrieve, "()"(___))


226  
   New goal: "[]"($x, "=", retrieve, "()"(___))


227  
      Goal: "[]"($x, "=", retrieve, "()"(___)). Got clause: "[]"(_222, "=", _223, "()"(_224)) :- native


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


229  
     Clause is native.


230  
      gdash: null


231  
SUCCESS!


232  
  solution found in step 225


233  
nextSolution


234  
Done with goal!


235  
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:
    #3000242
  

  

    Snippet name:
    Answer for stefanreich (>> log)
  

    

    Eternal ID of this version:
    #3000242/1
  

  

    Text MD5:
    585df696def7f193fd914b9722efc587
  

    

    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:26:44
  

  

    Source code size:
    19856 bytes / 235 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    589 / 131
  

      

    Referenced in:
[show references]