Warning: session_start(): open(/var/lib/php/sessions/sess_git7m4bjf9ldltqn180brhsr07, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
[the text of [theory tennis]] is "if [user says [$first $last is a tennis player]] and [memorize [$first $last is supposedly a tennis player]] then [say [ah, so $first $last must be a fit guy!]]" ! ``` Starting on goal: [think [user says [what is the text of [theory tennis] ?]]] and [say $x] Goal arity 3: [think [user says [what is the text of [theory tennis] ?]]] and [say $x] nextSolution Got clause: _1 and _2 Clause unifies to: [think [user says [what is the text of [theory tennis] ?]]] and [say $x] gdash: think [user says [what is the text of [theory tennis] ?]] Goal arity 2: think [user says [what is the text of [theory tennis] ?]] Got clause: think _7 Clause unifies to: think [user says [what is the text of [theory tennis] ?]] Clause is native. gdash: say $x Goal arity 2: say $x Got clause: say [it's _21 !] Clause unifies to: say [it's _21 !] gdash: user says [_22 * _23] Goal arity 3: user says [_22 * _23] Got clause: say [_53 is _54 !] Clause unifies to: say [_53 is _54 !] gdash: user says _55 Goal arity 3: user says _55 Got clause: user says [what is the text of [theory tennis] ?] Clause unifies to: user says [what is the text of [theory tennis] ?] gdash: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] Goal arity 5: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] Got clause: rew ! _115 to _116 Clause unifies to: rew ! [what is the text of [theory tennis] ?] to [what is _53 ?] gdash: rew [what is the text of [theory tennis] ?] to [what is _53 ?] Goal arity 4: rew [what is the text of [theory tennis] ?] to [what is _53 ?] Got clause: rew _180 to _181 Clause unifies to: rew [what is the text of [theory tennis] ?] to [what is _53 ?] gdash: rewrite [what is the text of [theory tennis] ?] to _182 Goal arity 4: rewrite [what is the text of [theory tennis] ?] to _182 Got clause: rewrite [what is the _219 of _220 ?] to [what is [the _219 of _220] ?] Clause unifies to: rewrite [what is the text of [theory tennis] ?] to [what is [the text of [theory tennis]] ?] gdash: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] Goal arity 4: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] Got clause: rew _284 to _285 Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is _53 ?] gdash: rewrite [what is [the text of [theory tennis]] ?] to _286 Goal arity 4: rewrite [what is [the text of [theory tennis]] ?] to _286 Got clause: rew _379 to _379 Clause unifies to: rew [what is [the text of [theory tennis]] ?] to [what is [the text of [theory tennis]] ?] gdash: ?? "!"("5") Goal arity 1: ?? "!"("5") cut -1. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=53L, instance=l("[]", "the", Prolog$Var(id=219L, instance=l("text")), "of", Prolog$Var(id=220L, instance=l("[]", "theory", "tennis")))), "is", Prolog$Var(id=54L, instance=r11)))) Goal arity 3: [the text of [theory tennis]] is _54 Got clause: [the _386 of _387] is _388 Clause unifies to: [the text of [theory tennis]] is _54 gdash: the text of [theory tennis] is _54 Goal arity 6: the text of [theory tennis] is _54 Got clause: the text of [theory _404] is _405 Clause unifies to: the text of [theory tennis] is _54 gdash: _54 = text of theory tennis Goal arity 6: _54 = text of theory tennis Got clause: _411 = text of theory _412 Clause unifies to: _54 = text of theory tennis Clause is native. gdash: - SUCCESS! solution found in step 232```