Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "=", l("[]", Prolog$Var(id=0L, instance=r5), "|", l("[]", r5, "is", "tasty"))))
Goal arity 3: "[]"($list, "=", "[]"($x, "|", "[]"($x, is, tasty)))
nextSolution
  Goal: "[]"($list, "=", "[]"($x, "|", "[]"($x, is, tasty))). Got clause: "[]"(_7, "=", "[]"(_8, "|", _9)) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", _9, ",", _10))), or, true); "[]"(_7, "=", retrieve, "()"(_10))
  Clause unifies to: "[]"($list, "=", "[]"(_8, "|", "[]"(_8, is, tasty))) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10))
  gdash: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10))
Goal arity 4: "[]"(_10, "=", new, collector)
New goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10))
   Goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)). Got clause: "[]"(_11, "=", new, collector) :- native
   Clause unifies to: "[]"(_10, "=", new, collector) :- native
  Clause is native.
   gdash: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___))
Goal arity 3: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true)
 New goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___))
    Goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_25, or, _26) :- _25
    Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) :- "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))
    gdash: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___))
Goal arity 2: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))
  New goal: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___))
     Goal: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_33, ",", _34, ",", _35))) :- _34; "[]"(saveTo, "()"("[]"(_33, ",", _35))); false
     Clause unifies to: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) :- "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false
     gdash: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___))
Goal arity 3: "[]"(_8, is, tasty)
   New goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___))
      Goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"("[]"(ice, cream), is, tasty)
      Clause unifies to: "[]"("[]"(ice, cream), is, tasty)
      gdash: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_36, ",", _37))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($list, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($list, "=", retrieve, "()"(___))
      Goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty)
      Clause unifies to: "[]"(lasagna, is, tasty)
      gdash: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(lasagna, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_60, ",", _61))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($list, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($list, "=", retrieve, "()"(___))
    Goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_86, or, _87) :- _87
    Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) :- true
    gdash: true; "[]"($list, "=", retrieve, "()"(___))
Goal arity 0: true
  New goal: true; "[]"($list, "=", retrieve, "()"(___))
     Goal: true; "[]"($list, "=", retrieve, "()"(___)). Got clause: true
     Clause unifies to: true
     gdash: "[]"($list, "=", retrieve, "()"(___))
Goal arity 4: "[]"($list, "=", retrieve, "()"(___))
   New goal: "[]"($list, "=", retrieve, "()"(___))
      Goal: "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_89, "=", _90, "()"(_91)) :- native
      Clause unifies to: "[]"($list, "=", retrieve, "()"(___)) :- native
     Clause is native.
      gdash: null
SUCCESS!
  solution found in step 77
nextSolution
Done with goal!
No solution