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