Starting on goal: $list = [$x | [$x is tasty]]
Goal arity 3: $list = [$x | [$x is tasty]]
nextSolution
Got clause: ___ = [___ | ___]
  Clause unifies to: ___ = [___ | ___]
  gdash: ___ = new collector
Goal arity 4: ___ = new collector
 Got clause: ___ = new collector
   Clause unifies to: ___ = new collector
  Clause is native.
   gdash: [forall_impl ([___ , ___ , ___])] or true
 Goal arity 3: [forall_impl ([___ , ___ , ___])] or true
  Got clause: ___ or ___
    Clause unifies to: ___ or ___
    gdash: ___
  Goal arity 2: forall_impl ([___ , ___ , ___])
   Got clause: forall_impl ([___ , ___ , ___])
     Clause unifies to: forall_impl ([___ , ___ , ___])
     gdash: ___
   Goal arity 3: $x is tasty
    Got clause: [ice cream] is tasty
      Clause unifies to: [ice cream] is tasty
      gdash: saveTo ([___ , ___])
    Goal arity 2: saveTo ([___ , ___])
     Got clause: saveTo ([___ , ___])
       Clause unifies to: saveTo ([___ , ___])
      Clause is native.
       gdash: false
     Goal arity 0: false
    Got clause: lasagna is tasty
      Clause unifies to: lasagna is tasty
      gdash: saveTo ([___ , ___])
    Goal arity 2: saveTo ([___ , ___])
     Got clause: saveTo ([___ , ___])
       Clause unifies to: saveTo ([___ , ___])
      Clause is native.
       gdash: false
     Goal arity 0: false
  Got clause: ___ or ___
    Clause unifies to: ___ or ___
    gdash: ___
  Goal arity 0: true
   Got clause: true
     Clause unifies to: true
     gdash: ___ = retrieve (___)
   Goal arity 4: ___ = retrieve (___)
    Got clause: ___ = ___ (___)
      Clause unifies to: ___ = ___ (___)
     Clause is native.
      gdash: -
SUCCESS!
  solution found in step 77
nextSolution
Done with goal!
No solution