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