TRUE. ``` $x = [[ice cream] is tasty !] ``` ``` Used theories: and, ice cream, nat, really funny, rew, rew!, thought, usermul, very funny, what is, what is tasty Starting on goal: [think [user says [what is tasty]]] and [say $x] Goal arity 3: [think [user says [what is tasty]]] and [say $x] nextSolution Got clause: _1 and _2 Clause unifies to: [think [user says [what is tasty]]] and [say $x] gdash: think [user says [what is tasty]] Goal arity 2: think [user says [what is tasty]] Got clause: think _7 Clause unifies to: think [user says [what is tasty]] Clause is native. gdash: say $x Goal arity 2: say $x Got clause: say [it's _20 !] Clause unifies to: say [it's _20 !] gdash: user says [_21 * _22] Goal arity 3: user says [_21 * _22] Got clause: say [_44 is _45 !] Clause unifies to: say [_44 is _45 !] gdash: user says _46 Goal arity 3: user says _46 Got clause: user says [what is tasty] Clause unifies to: user says [what is tasty] gdash: rew ! [what is tasty] to [what is _44] Goal arity 5: rew ! [what is tasty] to [what is _44] Got clause: rew ! _93 to _94 Clause unifies to: rew ! [what is tasty] to [what is _44] gdash: rew [what is tasty] to [what is _44] Goal arity 4: rew [what is tasty] to [what is _44] Got clause: rew _153 to _154 Clause unifies to: rew [what is tasty] to [what is _44] gdash: rewrite [what is tasty] to _155 Goal arity 4: rewrite [what is tasty] to _155 Got clause: rew _243 to _243 Clause unifies to: rew [what is tasty] to [what is tasty] gdash: ?? "!"("5") Goal arity 1: ?? "!"("5") cut -1. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=44L, instance=l("tasty")), "is", Prolog$Var(id=45L, instance=r7)))) Goal arity 3: tasty is _45 Got clause: _257 is funny Clause unifies to: tasty is funny gdash: tasty is really funny Goal arity 4: tasty is really funny Got clause: _345 is funny Clause unifies to: tasty is funny gdash: tasty is very funny Goal arity 4: tasty is very funny cut 0. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=44L, instance=l("tasty")), "is", Prolog$Var(id=45L, instance=r7)))) back to cut point 5 cut: dropping Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=44L, instance=l("tasty")), "is", Prolog$Var(id=45L, instance=r7)))) cut: dropping Prolog$Goal(car=l("[]", "rew", Prolog$Var(id=93L, instance=Prolog$Var(id=46L, instance=l("[]", "what", "is", "tasty"))), "to", Prolog$Var(id=94L, instance=l("[]", "what", "is", Prolog$Var(id=44L, instance=l("tasty"))))), cdr=Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", r8, "is", Prolog$Var(id=45L, instance=r14))))) cut: dropping Prolog$Goal(car=l("[]", "rew", "!", Prolog$Var(id=46L, instance=l("[]", "what", "is", "tasty")), "to", l("[]", "what", "is", Prolog$Var(id=44L, instance=r6))), cdr=Prolog$Goal(car=l("[]", r6, "is", Prolog$Var(id=45L, instance=r9)))) Got clause: say [_437 is tasty !] Clause unifies to: say [_437 is tasty !] gdash: user says [what is tasty] Goal arity 3: user says [what is tasty] Got clause: user says [what is tasty] Clause unifies to: user says [what is tasty] gdash: _437 is tasty Goal arity 3: _437 is tasty Got clause: [ice cream] is tasty Clause unifies to: [ice cream] is tasty gdash: - SUCCESS! solution found in step 256``` [more] 9 ms
Snippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #3000312 |
Snippet name: | Answer for stefanreich (>> say [what is tasty] in ["what is", signed]) |
Eternal ID of this version: | #3000312/1 |
Text MD5: | f833f7039b188e7567dfea5ded94700b |
Author: | someone |
Category: | |
Type: | New Tinybrain snippet |
Gummipassword: | eleutheria-for-user |
Uploaded from IP: | 69.10.46.185 |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2016-03-13 19:20:21 |
Source code size: | 3504 bytes / 71 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 537 / 117 |
Referenced in: | [show references] |