1 | TRUE. |
2 | ``` |
3 | $x = [[ice cream] is tasty !] |
4 | ``` |
5 | ``` |
6 | Used theories: and, ice cream, nat, really funny, rew, rew!, thought, usermul, very funny, what is, what is tasty |
7 | Starting on goal: [think [user says [what is tasty]]] and [say $x] |
8 | Goal arity 3: [think [user says [what is tasty]]] and [say $x] |
9 | nextSolution |
10 | Got clause: _1 and _2 |
11 | Clause unifies to: [think [user says [what is tasty]]] and [say $x] |
12 | gdash: think [user says [what is tasty]] |
13 | Goal arity 2: think [user says [what is tasty]] |
14 | Got clause: think _7 |
15 | Clause unifies to: think [user says [what is tasty]] |
16 | Clause is native. |
17 | gdash: say $x |
18 | Goal arity 2: say $x |
19 | Got clause: say [it's _20 !] |
20 | Clause unifies to: say [it's _20 !] |
21 | gdash: user says [_21 * _22] |
22 | Goal arity 3: user says [_21 * _22] |
23 | Got clause: say [_44 is _45 !] |
24 | Clause unifies to: say [_44 is _45 !] |
25 | gdash: user says _46 |
26 | Goal arity 3: user says _46 |
27 | Got clause: user says [what is tasty] |
28 | Clause unifies to: user says [what is tasty] |
29 | gdash: rew ! [what is tasty] to [what is _44] |
30 | Goal arity 5: rew ! [what is tasty] to [what is _44] |
31 | Got clause: rew ! _93 to _94 |
32 | Clause unifies to: rew ! [what is tasty] to [what is _44] |
33 | gdash: rew [what is tasty] to [what is _44] |
34 | Goal arity 4: rew [what is tasty] to [what is _44] |
35 | Got clause: rew _153 to _154 |
36 | Clause unifies to: rew [what is tasty] to [what is _44] |
37 | gdash: rewrite [what is tasty] to _155 |
38 | Goal arity 4: rewrite [what is tasty] to _155 |
39 | Got clause: rew _243 to _243 |
40 | Clause unifies to: rew [what is tasty] to [what is tasty] |
41 | gdash: ?? "!"("5") |
42 | Goal arity 1: ?? "!"("5") |
43 | 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)))) |
44 | Goal arity 3: tasty is _45 |
45 | Got clause: _257 is funny |
46 | Clause unifies to: tasty is funny |
47 | gdash: tasty is really funny |
48 | Goal arity 4: tasty is really funny |
49 | Got clause: _345 is funny |
50 | Clause unifies to: tasty is funny |
51 | gdash: tasty is very funny |
52 | Goal arity 4: tasty is very funny |
53 | 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)))) |
54 | back to cut point 5 |
55 | 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)))) |
56 | 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))))) |
57 | 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)))) |
58 | Got clause: say [_437 is tasty !] |
59 | Clause unifies to: say [_437 is tasty !] |
60 | gdash: user says [what is tasty] |
61 | Goal arity 3: user says [what is tasty] |
62 | Got clause: user says [what is tasty] |
63 | Clause unifies to: user says [what is tasty] |
64 | gdash: _437 is tasty |
65 | Goal arity 3: _437 is tasty |
66 | Got clause: [ice cream] is tasty |
67 | Clause unifies to: [ice cream] is tasty |
68 | gdash: - |
69 | SUCCESS! |
70 | solution found in step 256``` |
71 | [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: | 548 / 123 |
| Referenced in: | [show references] |