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 8 |
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: | #3000235 |
Snippet name: | Answer for stefanreich (>> log) |
Eternal ID of this version: | #3000235/1 |
Text MD5: | cffc0a32964fe0f97b81e1b279336b75 |
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 05:09:59 |
Source code size: | 1022 bytes / 19 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 414 / 98 |
Referenced in: | [show references] |