TRUE.
```
$l = [ice cream]
$x = _8
```
```
Starting on goal: $l = [$x | [$x is tasty]]
Goal arity 3: $l = [$x | [$x is tasty]]
nextSolution
  Push $l ("[]"(ice, cream))
  Resetting variable $l ("[]"(ice, cream))
  Push $a (_1)
  Push $b (_2)
  Resetting variable $b (_2)
  Resetting variable $a (_1)
  Push _1 ($l)
  Resetting variable _1 ($l)
  Push $x (_3)
  Push $y (_4)
  Resetting variable $y (_4)
  Resetting variable $x (_3)
  Push _3 ($l)
  Resetting variable _3 ($l)
  Push $x (_5)
  Push $y (_6)
  Resetting variable $y (_6)
  Resetting variable $x (_5)
  Push _5 ($l)
  Resetting variable _5 ($l)
  Push $list (_7)
  Push $x (_8)
  Push $cond (_9)
  Push $c (_10)
  Resetting variable $c (_10)
  Resetting variable $cond (_9)
  Resetting variable $x (_8)
  Resetting variable $list (_7)
  Push _7 ($l)
  Push $x (_8)
  Push _9 ("[]"(_8, is, tasty))
Got clause: _7 = [_8 | _9]
  Clause unifies to: $l = [_8 | [_8 is tasty]]
  gdash: _10 = new collector
Goal arity 4: _10 = new collector
   Push $x (_11)
   Resetting variable $x (_11)
   Push _11 (_10)
 Got clause: _11 = new collector
   Clause unifies to: _10 = new collector
  Clause is native.
   Push _10 (<collector>)
   gdash: [forall_impl ([_8 , [_8 is tasty] , <collector>])] or true
 Goal arity 3: [forall_impl ([_8 , [_8 is tasty] , <collector>])] or true
    Push $a (_12)
    Push $b (_13)
    Resetting variable $b (_13)
    Resetting variable $a (_12)
    Push _12 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _12 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $x (_14)
    Push $y (_15)
    Resetting variable $y (_15)
    Resetting variable $x (_14)
    Push _14 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _14 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $x (_16)
    Push $y (_17)
    Resetting variable $y (_17)
    Resetting variable $x (_16)
    Push _16 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _16 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $list (_18)
    Push $x (_19)
    Push $cond (_20)
    Push $c (_21)
    Resetting variable $c (_21)
    Resetting variable $cond (_20)
    Resetting variable $x (_19)
    Resetting variable $list (_18)
    Push _18 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _18 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $e (_22)
    Push $c (_23)
    Push $list (_24)
    Resetting variable $list (_24)
    Resetting variable $c (_23)
    Resetting variable $e (_22)
    Push _22 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _22 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $a (_25)
    Push $b (_26)
    Resetting variable $b (_26)
    Resetting variable $a (_25)
    Push _25 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push _26 (true)
  Got clause: _25 or _26
    Clause unifies to: [forall_impl ([_8 , [_8 is tasty] , <collector>])] or true
    gdash: forall_impl ([_8 , [_8 is tasty] , <collector>])
  Goal arity 2: forall_impl ([_8 , [_8 is tasty] , <collector>])
     Push $x (_27)
     Push $collector (_28)
     Resetting variable $collector (_28)
     Resetting variable $x (_27)
     Push $x (_29)
     Resetting variable $x (_29)
     Push $x (_30)
     Resetting variable $x (_30)
     Push $x (_31)
     Resetting variable $x (_31)
     Push $x (_32)
     Resetting variable $x (_32)
     Push $x (_33)
     Push $cond (_34)
     Push $c (_35)
     Resetting variable $c (_35)
     Resetting variable $cond (_34)
     Resetting variable $x (_33)
     Push _33 (_8)
     Push _34 ("[]"(_8, is, tasty))
     Push _35 (<collector>)
   Got clause: forall_impl ([_33 , _34 , _35])
     Clause unifies to: forall_impl ([_8 , [_8 is tasty] , <collector>])
     gdash: _8 is tasty
   Goal arity 3: _8 is tasty
      Push _8 ("[]"(ice, cream))
    Got clause: [ice cream] is tasty
      Clause unifies to: [ice cream] is tasty
      gdash: saveTo ([[ice cream] , <collector>])
    Goal arity 2: saveTo ([[ice cream] , <collector>])
       Push $x (_36)
       Push $collector (_37)
       Resetting variable $collector (_37)
       Resetting variable $x (_36)
       Push _36 ("[]"(ice, cream))
       Push _37 (<collector>)
     Got clause: saveTo ([_36 , _37])
       Clause unifies to: saveTo ([[ice cream] , <collector>])
      Clause is native.
       gdash: false
     Goal arity 0: false
       Resetting variable _37 (<collector>)
       Resetting variable _36 ("[]"(ice, cream))
       Push $x (_38)
       Resetting variable $x (_38)
       Push $x (_39)
       Resetting variable $x (_39)
       Push $x (_40)
       Resetting variable $x (_40)
       Push $x (_41)
       Resetting variable $x (_41)
       Push $x (_42)
       Push $cond (_43)
       Push $c (_44)
       Resetting variable $c (_44)
       Resetting variable $cond (_43)
       Resetting variable $x (_42)
       Push $c (_45)
       Push $a (_46)
       Push $b (_47)
       Resetting variable $b (_47)
       Resetting variable $a (_46)
       Resetting variable $c (_45)
       Push $x (_48)
       Resetting variable $x (_48)
       Push $x (_49)
       Resetting variable $x (_49)
      Resetting variable _8 ("[]"(ice, cream))
      Push $a (_50)
      Push $b (_51)
      Resetting variable $b (_51)
      Resetting variable $a (_50)
      Push _50 (_8)
      Resetting variable _50 (_8)
      Push $x (_52)
      Push $y (_53)
      Resetting variable $y (_53)
      Resetting variable $x (_52)
      Push _52 (_8)
      Resetting variable _52 (_8)
      Push $x (_54)
      Push $y (_55)
      Resetting variable $y (_55)
      Resetting variable $x (_54)
      Push _54 (_8)
      Resetting variable _54 (_8)
      Push $list (_56)
      Push $x (_57)
      Push $cond (_58)
      Push $c (_59)
      Resetting variable $c (_59)
      Resetting variable $cond (_58)
      Resetting variable $x (_57)
      Resetting variable $list (_56)
      Push _56 (_8)
      Resetting variable _56 (_8)
      Push $e (_60)
      Push $c (_61)
      Push $list (_62)
      Resetting variable $list (_62)
      Resetting variable $c (_61)
      Resetting variable $e (_60)
      Push _60 (_8)
      Resetting variable _60 (_8)
      Push $a (_63)
      Push $b (_64)
      Resetting variable $b (_64)
      Resetting variable $a (_63)
      Push _63 (_8)
      Resetting variable _63 (_8)
      Push $a (_65)
      Push $b (_66)
      Resetting variable $b (_66)
      Resetting variable $a (_65)
      Push _65 (_8)
      Resetting variable _65 (_8)
     Resetting variable _35 (<collector>)
     Resetting variable _34 ("[]"(_8, is, tasty))
     Resetting variable _33 (_8)
     Push $c (_67)
     Push $a (_68)
     Push $b (_69)
     Resetting variable $b (_69)
     Resetting variable $a (_68)
     Resetting variable $c (_67)
     Push $x (_70)
     Resetting variable $x (_70)
     Push $x (_71)
     Resetting variable $x (_71)
    Resetting variable _26 (true)
    Resetting variable _25 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $a (_72)
    Push $b (_73)
    Resetting variable $b (_73)
    Resetting variable $a (_72)
    Push _72 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push _73 (true)
  Got clause: _72 or _73
    Clause unifies to: [forall_impl ([_8 , [_8 is tasty] , <collector>])] or true
    gdash: true
  Goal arity 0: true
   Got clause: true
     Clause unifies to: true
     gdash: $l = retrieve (<collector>)
   Goal arity 4: $l = retrieve (<collector>)
      Push $x (_74)
      Resetting variable $x (_74)
      Push _74 ($l)
      Resetting variable _74 ($l)
      Push $x (_75)
      Push $retrieve (_76)
      Push $collector (_77)
      Resetting variable $collector (_77)
      Resetting variable $retrieve (_76)
      Resetting variable $x (_75)
      Push _75 ($l)
      Push _76 (retrieve)
      Push _77 (<collector>)
    Got clause: _75 = _76 (_77)
      Clause unifies to: $l = retrieve (<collector>)
     Clause is native.
      Push $l ("[]"("[]"(ice, cream)))
      gdash: -
SUCCESS!
  solution found in step 59```
[done] 6 ms