1 | TRUE. |
2 | |
3 | ``` |
4 | Starting on goal: solve1 [$x is tasty] in lasagna |
5 | Goal arity 4: solve1 [$x is tasty] in lasagna |
6 | nextSolution |
7 | Push $x (_1) |
8 | Resetting variable $x (_1) |
9 | Push _1 (solve1) |
10 | Resetting variable _1 (solve1) |
11 | Push $x (_2) |
12 | Push $collector (_3) |
13 | Resetting variable $collector (_3) |
14 | Resetting variable $x (_2) |
15 | Push _2 (solve1) |
16 | Resetting variable _2 (solve1) |
17 | Push $a (_4) |
18 | Push $x (_5) |
19 | Push $y (_6) |
20 | Resetting variable $y (_6) |
21 | Resetting variable $x (_5) |
22 | Resetting variable $a (_4) |
23 | Push _4 (solve1) |
24 | Resetting variable _4 (solve1) |
25 | Push $a (_7) |
26 | Push $x (_8) |
27 | Push $y (_9) |
28 | Resetting variable $y (_9) |
29 | Resetting variable $x (_8) |
30 | Resetting variable $a (_7) |
31 | Push _7 (solve1) |
32 | Resetting variable _7 (solve1) |
33 | Push $a (_10) |
34 | Push $x (_11) |
35 | Push $y (_12) |
36 | Resetting variable $y (_12) |
37 | Resetting variable $x (_11) |
38 | Resetting variable $a (_10) |
39 | Push _10 (solve1) |
40 | Resetting variable _10 (solve1) |
41 | Push $a (_13) |
42 | Push $x (_14) |
43 | Push $y (_15) |
44 | Resetting variable $y (_15) |
45 | Resetting variable $x (_14) |
46 | Resetting variable $a (_13) |
47 | Push _13 (solve1) |
48 | Resetting variable _13 (solve1) |
49 | Push $x (_16) |
50 | Push $y (_17) |
51 | Resetting variable $y (_17) |
52 | Resetting variable $x (_16) |
53 | Push _16 (solve1) |
54 | Resetting variable _16 (solve1) |
55 | Push $x (_18) |
56 | Push $y (_19) |
57 | Resetting variable $y (_19) |
58 | Resetting variable $x (_18) |
59 | Push _18 (solve1) |
60 | Resetting variable _18 (solve1) |
61 | Push $x (_20) |
62 | Push $word (_21) |
63 | Push $y (_22) |
64 | Resetting variable $y (_22) |
65 | Resetting variable $word (_21) |
66 | Resetting variable $x (_20) |
67 | Push _20 (solve1) |
68 | Resetting variable _20 (solve1) |
69 | Push $x (_23) |
70 | Push $name (_24) |
71 | Resetting variable $name (_24) |
72 | Resetting variable $x (_23) |
73 | Push _23 (solve1) |
74 | Resetting variable _23 (solve1) |
75 | Push $text (_25) |
76 | Push $theories (_26) |
77 | Resetting variable $theories (_26) |
78 | Resetting variable $text (_25) |
79 | Push _25 ("[]"($x, is, tasty)) |
80 | Push _26 (lasagna) |
81 | Got clause: solve1 _25 in _26 |
82 | Clause unifies to: solve1 [$x is tasty] in lasagna |
83 | Clause is native. |
84 | Exported: "[]"($_1, is, tasty) |
85 | Var map: {Prolog$Var(id=0L, instance=r2)="_1"} |
86 | unifyForeign with: hashmap{"$_1"=l("lasagna")} |
87 | gdash: - |
88 | SUCCESS! |
89 | solution found in step 12``` |
90 | [done] 10 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: | #3000271 |
| Snippet name: | Answer for stefanreich (>> log solve1 [$x is tasty] in lasagna) |
| Eternal ID of this version: | #3000271/1 |
| Text MD5: | 88bcc882c15cc05c5f449f4fbe7c9430 |
| 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-10 23:47:48 |
| Source code size: | 2222 bytes / 90 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 390 / 102 |
| Referenced in: | [show references] |