1 | |
2 | Starting on goal: Prolog$Goal(car=l("[]", "say", Prolog$Var(id=0L, instance=r3))) |
3 | Goal arity 2: "[]"(say, $x) |
4 | nextSolution |
5 | Goal: "[]"(say, $x). Got clause: "[]"(say, "[]"(_1, is, tasty, "!")) :- "[]"(user, says, "[]"(what, is, tasty)); "[]"(_1, is, tasty) |
6 | Clause unifies to: "[]"(say, "[]"(_1, is, tasty, "!")) :- "[]"(user, says, "[]"(what, is, tasty)); "[]"(_1, is, tasty) |
7 | gdash: "[]"(user, says, "[]"(what, is, tasty)); "[]"(_1, is, tasty) |
8 | Goal arity 3: "[]"(user, says, "[]"(what, is, tasty)) |
9 | New goal: "[]"(user, says, "[]"(what, is, tasty)); "[]"(_1, is, tasty) |
10 | Goal: "[]"(user, says, "[]"(what, is, tasty)); "[]"(_1, is, tasty). Got clause: "[]"(user, says, "[]"(what, is, tasty)) |
11 | Clause unifies to: "[]"(user, says, "[]"(what, is, tasty)) |
12 | gdash: "[]"(_1, is, tasty) |
13 | Goal arity 3: "[]"(_1, is, tasty) |
14 | New goal: "[]"(_1, is, tasty) |
15 | Goal: "[]"(_1, is, tasty). Got clause: "[]"(lasagna, is, tasty) |
16 | Clause unifies to: "[]"(lasagna, is, tasty) |
17 | gdash: null |
18 | SUCCESS! |
19 | solution found in step 7 |
20 | nextSolution |
21 | Goal: "[]"(_1, is, tasty). Got clause: "[]"("[]"(ice, cream), is, tasty) |
22 | Clause unifies to: "[]"("[]"(ice, cream), is, tasty) |
23 | gdash: null |
24 | SUCCESS! |
25 | solution found in step 1 |
26 | nextSolution |
27 | Done with goal! |
28 | No solution |
29 | nextSolution |
30 | Done with goal! |
31 | No solution |
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: | #3000234 |
Snippet name: | Answer for stefanreich (>> log) |
Eternal ID of this version: | #3000234/1 |
Text MD5: | 360d6b382f01990b5818ab088a0df072 |
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-06 04:07:42 |
Source code size: | 1303 bytes / 31 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 508 / 109 |
Referenced in: | [show references] |