TRUE.

```
Starting on goal: solve1 [$x is tasty] in lasagna
Goal arity 4: solve1 [$x is tasty] in lasagna
nextSolution
  Push $x (_1)
  Resetting variable $x (_1)
  Push _1 (solve1)
  Resetting variable _1 (solve1)
  Push $x (_2)
  Push $collector (_3)
  Resetting variable $collector (_3)
  Resetting variable $x (_2)
  Push _2 (solve1)
  Resetting variable _2 (solve1)
  Push $a (_4)
  Push $x (_5)
  Push $y (_6)
  Resetting variable $y (_6)
  Resetting variable $x (_5)
  Resetting variable $a (_4)
  Push _4 (solve1)
  Resetting variable _4 (solve1)
  Push $a (_7)
  Push $x (_8)
  Push $y (_9)
  Resetting variable $y (_9)
  Resetting variable $x (_8)
  Resetting variable $a (_7)
  Push _7 (solve1)
  Resetting variable _7 (solve1)
  Push $a (_10)
  Push $x (_11)
  Push $y (_12)
  Resetting variable $y (_12)
  Resetting variable $x (_11)
  Resetting variable $a (_10)
  Push _10 (solve1)
  Resetting variable _10 (solve1)
  Push $a (_13)
  Push $x (_14)
  Push $y (_15)
  Resetting variable $y (_15)
  Resetting variable $x (_14)
  Resetting variable $a (_13)
  Push _13 (solve1)
  Resetting variable _13 (solve1)
  Push $x (_16)
  Push $y (_17)
  Resetting variable $y (_17)
  Resetting variable $x (_16)
  Push _16 (solve1)
  Resetting variable _16 (solve1)
  Push $x (_18)
  Push $y (_19)
  Resetting variable $y (_19)
  Resetting variable $x (_18)
  Push _18 (solve1)
  Resetting variable _18 (solve1)
  Push $x (_20)
  Push $word (_21)
  Push $y (_22)
  Resetting variable $y (_22)
  Resetting variable $word (_21)
  Resetting variable $x (_20)
  Push _20 (solve1)
  Resetting variable _20 (solve1)
  Push $x (_23)
  Push $name (_24)
  Resetting variable $name (_24)
  Resetting variable $x (_23)
  Push _23 (solve1)
  Resetting variable _23 (solve1)
  Push $text (_25)
  Push $theories (_26)
  Resetting variable $theories (_26)
  Resetting variable $text (_25)
  Push _25 ("[]"($x, is, tasty))
  Push _26 (lasagna)
Got clause: solve1 _25 in _26
  Clause unifies to: solve1 [$x is tasty] in lasagna
 Clause is native.
Exported: "[]"($_1, is, tasty)
Var map: {Prolog$Var(id=0L, instance=r2)="_1"}
unifyForeign with: hashmap{"$_1"=l("lasagna")}
  gdash: -
SUCCESS!
  solution found in step 12```
[done] 10 ms