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: "[]"($l, "=", "[]"($x, "|", "[]"($x, is, tasty)))
nextSolution
  Goal: "[]"($l, "=", "[]"($x, "|", "[]"($x, is, tasty))). Got clause: "[]"(_1, "=", "[]"(_2, "|", _3)) :- "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"(_1, "=", retrieve, "()"(_4))
  Clause unifies to: "[]"($l, "=", "[]"(_2, "|", "[]"(_2, is, tasty))) :- "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"($l, "=", retrieve, "()"(_4))
  gdash: "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"($l, "=", retrieve, "()"(_4))
Goal arity 4: "[]"(_4, "=", new, collector)
New goal: "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"($l, "=", retrieve, "()"(_4))
   Goal: "[]"(_4, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", _4))), or, true); "[]"($l, "=", retrieve, "()"(_4)). Got clause: "[]"(_6, "=", new, collector) :- native
   Clause unifies to: "[]"(_4, "=", new, collector) :- native
  Clause is native.
   gdash: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true); "[]"($l, "=", retrieve, "()"(___))
Goal arity 3: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true)
 New goal: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true); "[]"($l, "=", retrieve, "()"(___))
    Goal: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true); "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_12, or, _13) :- _12
    Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))), or, true) :- "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___)))
    gdash: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))); "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___)))
  New goal: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))); "[]"($l, "=", retrieve, "()"(___))
     Goal: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))); "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_17, ",", _18, ",", _19))) :- _18; "[]"(saveTo, "()"("[]"(_17, ",", _19))); false
     Clause unifies to: "[]"(forall_impl, "()"("[]"(_2, ",", _5, ",", ___))) :- _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false
     gdash: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Weird: Goal is variable: _5
   New goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true
      Clause unifies to: true
      gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_20, ",", _21))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_26, "=", new, collector) :- native
      Clause unifies to: "[]"(_26, "=", new, collector) :- native
     Clause is native.
      gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_27, ",", _28))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_33, ",", _34))) :- native
      Clause unifies to: "[]"(saveTo, "()"("[]"(_33, ",", _34))) :- native
     Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_35, "=", _36, "()"(_37)) :- native
      Clause unifies to: "[]"(_35, "=", _36, "()"(_37)) :- native
     Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native
      Clause unifies to: nativeTest2 :- native
     Clause is native.
      gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_38, ",", _39))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native
      Clause unifies to: nativeFail :- native
     Clause is native.
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_44, "=", intmul, "()"("[]"(_45, ",", _46))) :- native
      Clause unifies to: "[]"(_44, "=", intmul, "()"("[]"(_45, ",", _46))) :- native
     Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_47, "=", intdiv, "()"("[]"(_48, ",", _49))) :- native
      Clause unifies to: "[]"(_47, "=", intdiv, "()"("[]"(_48, ",", _49))) :- native
     Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_50, "=", intadd, "()"("[]"(_51, ",", _52))) :- native
      Clause unifies to: "[]"(_50, "=", intadd, "()"("[]"(_51, ",", _52))) :- native
     Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_53, "=", intminus, "()"("[]"(_54, ",", _55))) :- native
      Clause unifies to: "[]"(_53, "=", intminus, "()"("[]"(_54, ",", _55))) :- native
     Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_56, is, greater, than, _57) :- native
      Clause unifies to: "[]"(_56, is, greater, than, _57) :- native
     Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _58, exists, in, theory, _59) :- native
      Clause unifies to: "[]"(head, _58, exists, in, theory, _59) :- native
     Clause is native.
Exception in native: java.lang.NullPointerException
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_60, "=", all, theory, names) :- native
      Clause unifies to: "[]"(_60, "=", all, theory, names) :- native
     Clause is native.
      gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_61, ",", _62))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_67, "=", tocons, "()"(_68)) :- native
      Clause unifies to: "[]"(_67, "=", tocons, "()"(_68)) :- native
     Clause is native.
      gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_69, ",", _70))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_75, is, less, than, _76) :- native
      Clause unifies to: "[]"(_75, is, less, than, _76) :- native
     Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_77, "=", arg, _78, in, _79) :- native
      Clause unifies to: "[]"(_77, "=", arg, _78, in, _79) :- native
     Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_80, "=", arity, of, _81) :- native
      Clause unifies to: "[]"(_80, "=", arity, of, _81) :- native
     Clause is native.
      gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_82, ",", _83))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_88, "=", operator, "()"(_89)) :- native
      Clause unifies to: "[]"(_88, "=", operator, "()"(_89)) :- native
     Clause is native.
      gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_90, ",", _91))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_96)) :- native
      Clause unifies to: "[]"(isQuoted, "()"(_96)) :- native
     Clause is native.
    Native clause fails
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty)
      Clause unifies to: "[]"(lasagna, is, tasty)
      gdash: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_2, ",", ___)))
    New goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_97, ",", _98))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_2, ",", ___))) :- native
      Clause is native.
       gdash: false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 0: false
     New goal: false; "[]"($l, "=", retrieve, "()"(___))
      Goal: _5; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_103, ",", _104, ",", _105))) :- _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false
      Clause unifies to: "[]"(forall_impl, "()"("[]"(_103, ",", _104, ",", _105))) :- _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false
      gdash: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Weird: Goal is variable: _104
    New goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true
       Clause unifies to: true
       gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105)))
     New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_106, ",", _107))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_112, "=", new, collector) :- native
       Clause unifies to: "[]"(_112, "=", new, collector) :- native
      Clause is native.
       gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105)))
     New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_113, ",", _114))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_119, ",", _120))) :- native
       Clause unifies to: "[]"(saveTo, "()"("[]"(_119, ",", _120))) :- native
      Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_121, "=", _122, "()"(_123)) :- native
       Clause unifies to: "[]"(_121, "=", _122, "()"(_123)) :- native
      Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native
       Clause unifies to: nativeTest2 :- native
      Clause is native.
       gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105)))
     New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_124, ",", _125))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native
       Clause unifies to: nativeFail :- native
      Clause is native.
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_130, "=", intmul, "()"("[]"(_131, ",", _132))) :- native
       Clause unifies to: "[]"(_130, "=", intmul, "()"("[]"(_131, ",", _132))) :- native
      Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_133, "=", intdiv, "()"("[]"(_134, ",", _135))) :- native
       Clause unifies to: "[]"(_133, "=", intdiv, "()"("[]"(_134, ",", _135))) :- native
      Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_136, "=", intadd, "()"("[]"(_137, ",", _138))) :- native
       Clause unifies to: "[]"(_136, "=", intadd, "()"("[]"(_137, ",", _138))) :- native
      Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_139, "=", intminus, "()"("[]"(_140, ",", _141))) :- native
       Clause unifies to: "[]"(_139, "=", intminus, "()"("[]"(_140, ",", _141))) :- native
      Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_142, is, greater, than, _143) :- native
       Clause unifies to: "[]"(_142, is, greater, than, _143) :- native
      Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _144, exists, in, theory, _145) :- native
       Clause unifies to: "[]"(head, _144, exists, in, theory, _145) :- native
      Clause is native.
Exception in native: java.lang.NullPointerException
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_146, "=", all, theory, names) :- native
       Clause unifies to: "[]"(_146, "=", all, theory, names) :- native
      Clause is native.
       gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105)))
     New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_147, ",", _148))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_153, "=", tocons, "()"(_154)) :- native
       Clause unifies to: "[]"(_153, "=", tocons, "()"(_154)) :- native
      Clause is native.
       gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105)))
     New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_155, ",", _156))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_161, is, less, than, _162) :- native
       Clause unifies to: "[]"(_161, is, less, than, _162) :- native
      Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_163, "=", arg, _164, in, _165) :- native
       Clause unifies to: "[]"(_163, "=", arg, _164, in, _165) :- native
      Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_166, "=", arity, of, _167) :- native
       Clause unifies to: "[]"(_166, "=", arity, of, _167) :- native
      Clause is native.
       gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105)))
     New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_168, ",", _169))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_174, "=", operator, "()"(_175)) :- native
       Clause unifies to: "[]"(_174, "=", operator, "()"(_175)) :- native
      Clause is native.
       gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105)))
     New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_176, ",", _177))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_182)) :- native
       Clause unifies to: "[]"(isQuoted, "()"(_182)) :- native
      Clause is native.
     Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty)
       Clause unifies to: "[]"(lasagna, is, tasty)
       gdash: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_103, ",", _105)))
     New goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_183, ",", _184))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_103, ",", _105))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
       Goal: _104; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_189, ",", _190, ",", _191))) :- _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false
       Clause unifies to: "[]"(forall_impl, "()"("[]"(_189, ",", _190, ",", _191))) :- _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false
       gdash: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Weird: Goal is variable: _190
     New goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true
        Clause unifies to: true
        gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191)))
      New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_192, ",", _193))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_198, "=", new, collector) :- native
        Clause unifies to: "[]"(_198, "=", new, collector) :- native
       Clause is native.
        gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191)))
      New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_199, ",", _200))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_205, ",", _206))) :- native
        Clause unifies to: "[]"(saveTo, "()"("[]"(_205, ",", _206))) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_207, "=", _208, "()"(_209)) :- native
        Clause unifies to: "[]"(_207, "=", _208, "()"(_209)) :- native
       Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native
        Clause unifies to: nativeTest2 :- native
       Clause is native.
        gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191)))
      New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_210, ",", _211))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native
        Clause unifies to: nativeFail :- native
       Clause is native.
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_216, "=", intmul, "()"("[]"(_217, ",", _218))) :- native
        Clause unifies to: "[]"(_216, "=", intmul, "()"("[]"(_217, ",", _218))) :- native
       Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_219, "=", intdiv, "()"("[]"(_220, ",", _221))) :- native
        Clause unifies to: "[]"(_219, "=", intdiv, "()"("[]"(_220, ",", _221))) :- native
       Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_222, "=", intadd, "()"("[]"(_223, ",", _224))) :- native
        Clause unifies to: "[]"(_222, "=", intadd, "()"("[]"(_223, ",", _224))) :- native
       Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_225, "=", intminus, "()"("[]"(_226, ",", _227))) :- native
        Clause unifies to: "[]"(_225, "=", intminus, "()"("[]"(_226, ",", _227))) :- native
       Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_228, is, greater, than, _229) :- native
        Clause unifies to: "[]"(_228, is, greater, than, _229) :- native
       Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _230, exists, in, theory, _231) :- native
        Clause unifies to: "[]"(head, _230, exists, in, theory, _231) :- native
       Clause is native.
Exception in native: java.lang.NullPointerException
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_232, "=", all, theory, names) :- native
        Clause unifies to: "[]"(_232, "=", all, theory, names) :- native
       Clause is native.
        gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191)))
      New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_233, ",", _234))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_239, "=", tocons, "()"(_240)) :- native
        Clause unifies to: "[]"(_239, "=", tocons, "()"(_240)) :- native
       Clause is native.
        gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191)))
      New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_241, ",", _242))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_247, is, less, than, _248) :- native
        Clause unifies to: "[]"(_247, is, less, than, _248) :- native
       Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_249, "=", arg, _250, in, _251) :- native
        Clause unifies to: "[]"(_249, "=", arg, _250, in, _251) :- native
       Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_252, "=", arity, of, _253) :- native
        Clause unifies to: "[]"(_252, "=", arity, of, _253) :- native
       Clause is native.
        gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191)))
      New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_254, ",", _255))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_260, "=", operator, "()"(_261)) :- native
        Clause unifies to: "[]"(_260, "=", operator, "()"(_261)) :- native
       Clause is native.
        gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191)))
      New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_262, ",", _263))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_268)) :- native
        Clause unifies to: "[]"(isQuoted, "()"(_268)) :- native
       Clause is native.
      Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty)
        Clause unifies to: "[]"(lasagna, is, tasty)
        gdash: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_189, ",", _191)))
      New goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_269, ",", _270))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_189, ",", _191))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
        Goal: _190; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_275, ",", _276, ",", _277))) :- _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false
        Clause unifies to: "[]"(forall_impl, "()"("[]"(_275, ",", _276, ",", _277))) :- _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false
        gdash: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Weird: Goal is variable: _276
      New goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true
         Clause unifies to: true
         gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277)))
       New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_278, ",", _279))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_284, "=", new, collector) :- native
         Clause unifies to: "[]"(_284, "=", new, collector) :- native
        Clause is native.
         gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277)))
       New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_285, ",", _286))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_291, ",", _292))) :- native
         Clause unifies to: "[]"(saveTo, "()"("[]"(_291, ",", _292))) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_293, "=", _294, "()"(_295)) :- native
         Clause unifies to: "[]"(_293, "=", _294, "()"(_295)) :- native
        Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native
         Clause unifies to: nativeTest2 :- native
        Clause is native.
         gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277)))
       New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_296, ",", _297))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native
         Clause unifies to: nativeFail :- native
        Clause is native.
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_302, "=", intmul, "()"("[]"(_303, ",", _304))) :- native
         Clause unifies to: "[]"(_302, "=", intmul, "()"("[]"(_303, ",", _304))) :- native
        Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_305, "=", intdiv, "()"("[]"(_306, ",", _307))) :- native
         Clause unifies to: "[]"(_305, "=", intdiv, "()"("[]"(_306, ",", _307))) :- native
        Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_308, "=", intadd, "()"("[]"(_309, ",", _310))) :- native
         Clause unifies to: "[]"(_308, "=", intadd, "()"("[]"(_309, ",", _310))) :- native
        Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_311, "=", intminus, "()"("[]"(_312, ",", _313))) :- native
         Clause unifies to: "[]"(_311, "=", intminus, "()"("[]"(_312, ",", _313))) :- native
        Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_314, is, greater, than, _315) :- native
         Clause unifies to: "[]"(_314, is, greater, than, _315) :- native
        Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _316, exists, in, theory, _317) :- native
         Clause unifies to: "[]"(head, _316, exists, in, theory, _317) :- native
        Clause is native.
Exception in native: java.lang.NullPointerException
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_318, "=", all, theory, names) :- native
         Clause unifies to: "[]"(_318, "=", all, theory, names) :- native
        Clause is native.
         gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277)))
       New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_319, ",", _320))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_325, "=", tocons, "()"(_326)) :- native
         Clause unifies to: "[]"(_325, "=", tocons, "()"(_326)) :- native
        Clause is native.
         gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277)))
       New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_327, ",", _328))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_333, is, less, than, _334) :- native
         Clause unifies to: "[]"(_333, is, less, than, _334) :- native
        Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_335, "=", arg, _336, in, _337) :- native
         Clause unifies to: "[]"(_335, "=", arg, _336, in, _337) :- native
        Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_338, "=", arity, of, _339) :- native
         Clause unifies to: "[]"(_338, "=", arity, of, _339) :- native
        Clause is native.
         gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277)))
       New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_340, ",", _341))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_346, "=", operator, "()"(_347)) :- native
         Clause unifies to: "[]"(_346, "=", operator, "()"(_347)) :- native
        Clause is native.
         gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277)))
       New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_348, ",", _349))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_354)) :- native
         Clause unifies to: "[]"(isQuoted, "()"(_354)) :- native
        Clause is native.
       Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty)
         Clause unifies to: "[]"(lasagna, is, tasty)
         gdash: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_275, ",", _277)))
       New goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_355, ",", _356))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_275, ",", _277))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
         Goal: _276; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_361, ",", _362, ",", _363))) :- _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false
         Clause unifies to: "[]"(forall_impl, "()"("[]"(_361, ",", _362, ",", _363))) :- _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false
         gdash: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Weird: Goal is variable: _362
       New goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true
          Clause unifies to: true
          gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363)))
        New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_364, ",", _365))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_370, "=", new, collector) :- native
          Clause unifies to: "[]"(_370, "=", new, collector) :- native
         Clause is native.
          gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363)))
        New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_371, ",", _372))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_377, ",", _378))) :- native
          Clause unifies to: "[]"(saveTo, "()"("[]"(_377, ",", _378))) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_379, "=", _380, "()"(_381)) :- native
          Clause unifies to: "[]"(_379, "=", _380, "()"(_381)) :- native
         Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native
          Clause unifies to: nativeTest2 :- native
         Clause is native.
          gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363)))
        New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_382, ",", _383))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native
          Clause unifies to: nativeFail :- native
         Clause is native.
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_388, "=", intmul, "()"("[]"(_389, ",", _390))) :- native
          Clause unifies to: "[]"(_388, "=", intmul, "()"("[]"(_389, ",", _390))) :- native
         Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_391, "=", intdiv, "()"("[]"(_392, ",", _393))) :- native
          Clause unifies to: "[]"(_391, "=", intdiv, "()"("[]"(_392, ",", _393))) :- native
         Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_394, "=", intadd, "()"("[]"(_395, ",", _396))) :- native
          Clause unifies to: "[]"(_394, "=", intadd, "()"("[]"(_395, ",", _396))) :- native
         Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_397, "=", intminus, "()"("[]"(_398, ",", _399))) :- native
          Clause unifies to: "[]"(_397, "=", intminus, "()"("[]"(_398, ",", _399))) :- native
         Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_400, is, greater, than, _401) :- native
          Clause unifies to: "[]"(_400, is, greater, than, _401) :- native
         Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _402, exists, in, theory, _403) :- native
          Clause unifies to: "[]"(head, _402, exists, in, theory, _403) :- native
         Clause is native.
Exception in native: java.lang.NullPointerException
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_404, "=", all, theory, names) :- native
          Clause unifies to: "[]"(_404, "=", all, theory, names) :- native
         Clause is native.
          gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363)))
        New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_405, ",", _406))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_411, "=", tocons, "()"(_412)) :- native
          Clause unifies to: "[]"(_411, "=", tocons, "()"(_412)) :- native
         Clause is native.
          gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363)))
        New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_413, ",", _414))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_419, is, less, than, _420) :- native
          Clause unifies to: "[]"(_419, is, less, than, _420) :- native
         Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_421, "=", arg, _422, in, _423) :- native
          Clause unifies to: "[]"(_421, "=", arg, _422, in, _423) :- native
         Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_424, "=", arity, of, _425) :- native
          Clause unifies to: "[]"(_424, "=", arity, of, _425) :- native
         Clause is native.
          gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363)))
        New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_426, ",", _427))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_432, "=", operator, "()"(_433)) :- native
          Clause unifies to: "[]"(_432, "=", operator, "()"(_433)) :- native
         Clause is native.
          gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363)))
        New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_434, ",", _435))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_440)) :- native
          Clause unifies to: "[]"(isQuoted, "()"(_440)) :- native
         Clause is native.
        Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty)
          Clause unifies to: "[]"(lasagna, is, tasty)
          gdash: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_361, ",", _363)))
        New goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_441, ",", _442))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_361, ",", _363))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
          Goal: _362; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_447, ",", _448, ",", _449))) :- _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false
          Clause unifies to: "[]"(forall_impl, "()"("[]"(_447, ",", _448, ",", _449))) :- _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false
          gdash: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Weird: Goal is variable: _448
        New goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true
           Clause unifies to: true
           gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449)))
         New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_450, ",", _451))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_456, "=", new, collector) :- native
           Clause unifies to: "[]"(_456, "=", new, collector) :- native
          Clause is native.
           gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449)))
         New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_457, ",", _458))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_463, ",", _464))) :- native
           Clause unifies to: "[]"(saveTo, "()"("[]"(_463, ",", _464))) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_465, "=", _466, "()"(_467)) :- native
           Clause unifies to: "[]"(_465, "=", _466, "()"(_467)) :- native
          Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native
           Clause unifies to: nativeTest2 :- native
          Clause is native.
           gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449)))
         New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_468, ",", _469))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native
           Clause unifies to: nativeFail :- native
          Clause is native.
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_474, "=", intmul, "()"("[]"(_475, ",", _476))) :- native
           Clause unifies to: "[]"(_474, "=", intmul, "()"("[]"(_475, ",", _476))) :- native
          Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_477, "=", intdiv, "()"("[]"(_478, ",", _479))) :- native
           Clause unifies to: "[]"(_477, "=", intdiv, "()"("[]"(_478, ",", _479))) :- native
          Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_480, "=", intadd, "()"("[]"(_481, ",", _482))) :- native
           Clause unifies to: "[]"(_480, "=", intadd, "()"("[]"(_481, ",", _482))) :- native
          Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_483, "=", intminus, "()"("[]"(_484, ",", _485))) :- native
           Clause unifies to: "[]"(_483, "=", intminus, "()"("[]"(_484, ",", _485))) :- native
          Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_486, is, greater, than, _487) :- native
           Clause unifies to: "[]"(_486, is, greater, than, _487) :- native
          Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _488, exists, in, theory, _489) :- native
           Clause unifies to: "[]"(head, _488, exists, in, theory, _489) :- native
          Clause is native.
Exception in native: java.lang.NullPointerException
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_490, "=", all, theory, names) :- native
           Clause unifies to: "[]"(_490, "=", all, theory, names) :- native
          Clause is native.
           gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449)))
         New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_491, ",", _492))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_497, "=", tocons, "()"(_498)) :- native
           Clause unifies to: "[]"(_497, "=", tocons, "()"(_498)) :- native
          Clause is native.
           gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449)))
         New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_499, ",", _500))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_505, is, less, than, _506) :- native
           Clause unifies to: "[]"(_505, is, less, than, _506) :- native
          Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_507, "=", arg, _508, in, _509) :- native
           Clause unifies to: "[]"(_507, "=", arg, _508, in, _509) :- native
          Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_510, "=", arity, of, _511) :- native
           Clause unifies to: "[]"(_510, "=", arity, of, _511) :- native
          Clause is native.
           gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449)))
         New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_512, ",", _513))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_518, "=", operator, "()"(_519)) :- native
           Clause unifies to: "[]"(_518, "=", operator, "()"(_519)) :- native
          Clause is native.
           gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449)))
         New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_520, ",", _521))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(isQuoted, "()"(_526)) :- native
           Clause unifies to: "[]"(isQuoted, "()"(_526)) :- native
          Clause is native.
         Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty)
           Clause unifies to: "[]"(lasagna, is, tasty)
           gdash: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_447, ",", _449)))
         New goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_527, ",", _528))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_447, ",", _449))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
           Goal: _448; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_533, ",", _534, ",", _535))) :- _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false
           Clause unifies to: "[]"(forall_impl, "()"("[]"(_533, ",", _534, ",", _535))) :- _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false
           gdash: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Weird: Goal is variable: _534
         New goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: true
            Clause unifies to: true
            gdash: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_533, ",", _535)))
          New goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
             Goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_536, ",", _537))) :- native
             Clause unifies to: "[]"(saveTo, "()"("[]"(_533, ",", _535))) :- native
            Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
           Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_542, "=", new, collector) :- native
            Clause unifies to: "[]"(_542, "=", new, collector) :- native
           Clause is native.
            gdash: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_533, ",", _535)))
          New goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
             Goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_543, ",", _544))) :- native
             Clause unifies to: "[]"(saveTo, "()"("[]"(_533, ",", _535))) :- native
            Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
           Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_549, ",", _550))) :- native
            Clause unifies to: "[]"(saveTo, "()"("[]"(_549, ",", _550))) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_551, "=", _552, "()"(_553)) :- native
            Clause unifies to: "[]"(_551, "=", _552, "()"(_553)) :- native
           Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
          Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeTest2 :- native
            Clause unifies to: nativeTest2 :- native
           Clause is native.
            gdash: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
Goal arity 2: "[]"(saveTo, "()"("[]"(_533, ",", _535)))
          New goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___))
             Goal: "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_554, ",", _555))) :- native
             Clause unifies to: "[]"(saveTo, "()"("[]"(_533, ",", _535))) :- native
            Clause is native.
Exception in native: java.lang.ClassCastException: main$Prolog$Var cannot be cast to main$Prolog$Collector
           Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: nativeFail :- native
            Clause unifies to: nativeFail :- native
           Clause is native.
          Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_560, "=", intmul, "()"("[]"(_561, ",", _562))) :- native
            Clause unifies to: "[]"(_560, "=", intmul, "()"("[]"(_561, ",", _562))) :- native
           Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
          Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_563, "=", intdiv, "()"("[]"(_564, ",", _565))) :- native
            Clause unifies to: "[]"(_563, "=", intdiv, "()"("[]"(_564, ",", _565))) :- native
           Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
          Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_566, "=", intadd, "()"("[]"(_567, ",", _568))) :- native
            Clause unifies to: "[]"(_566, "=", intadd, "()"("[]"(_567, ",", _568))) :- native
           Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
          Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_569, "=", intminus, "()"("[]"(_570, ",", _571))) :- native
            Clause unifies to: "[]"(_569, "=", intminus, "()"("[]"(_570, ",", _571))) :- native
           Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
          Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(_572, is, greater, than, _573) :- native
            Clause unifies to: "[]"(_572, is, greater, than, _573) :- native
           Clause is native.
Exception in native: java.lang.NumberFormatException: For input string: "___"
          Native clause fails
            Goal: _534; "[]"(saveTo, "()"("[]"(_533, ",", _535))); false; "[]"(saveTo, "()"("[]"(_447, ",", _449))); false; "[]"(saveTo, "()"("[]"(_361, ",", _363))); false; "[]"(saveTo, "()"("[]"(_275, ",", _277))); false; "[]"(saveTo, "()"("[]"(_189, ",", _191))); false; "[]"(saveTo, "()"("[]"(_103, ",", _105))); false; "[]"(saveTo, "()"("[]"(_2, ",", ___))); false; "[]"($l, "=", retrieve, "()"(___)). Got clause: "[]"(head, _574, exists, in, theory, _575) :- native
            Clause unifies to: "[]"(head, _574, exists, in, theory, _575) :- native
           Clause is native.
[Log overflow]