1 | |
2 | Starting on goal: $list = [$x | [$x is tasty]] |
3 | Goal arity 3: $list = [$x | [$x is tasty]] |
4 | nextSolution |
5 | Got clause: ___ = [___ | ___] |
6 | Clause unifies to: ___ = [___ | ___] |
7 | gdash: ___ = new collector |
8 | Goal arity 4: ___ = new collector |
9 | Got clause: ___ = new collector |
10 | Clause unifies to: ___ = new collector |
11 | Clause is native. |
12 | gdash: [forall_impl ([___ , ___ , ___])] or true |
13 | Goal arity 3: [forall_impl ([___ , ___ , ___])] or true |
14 | Got clause: ___ or ___ |
15 | Clause unifies to: ___ or ___ |
16 | gdash: ___ |
17 | Goal arity 2: forall_impl ([___ , ___ , ___]) |
18 | Got clause: forall_impl ([___ , ___ , ___]) |
19 | Clause unifies to: forall_impl ([___ , ___ , ___]) |
20 | gdash: ___ |
21 | Goal arity 3: $x is tasty |
22 | Got clause: [ice cream] is tasty |
23 | Clause unifies to: [ice cream] is tasty |
24 | gdash: saveTo ([___ , ___]) |
25 | Goal arity 2: saveTo ([___ , ___]) |
26 | Got clause: saveTo ([___ , ___]) |
27 | Clause unifies to: saveTo ([___ , ___]) |
28 | Clause is native. |
29 | gdash: false |
30 | Goal arity 0: false |
31 | Got clause: lasagna is tasty |
32 | Clause unifies to: lasagna is tasty |
33 | gdash: saveTo ([___ , ___]) |
34 | Goal arity 2: saveTo ([___ , ___]) |
35 | Got clause: saveTo ([___ , ___]) |
36 | Clause unifies to: saveTo ([___ , ___]) |
37 | Clause is native. |
38 | gdash: false |
39 | Goal arity 0: false |
40 | Got clause: ___ or ___ |
41 | Clause unifies to: ___ or ___ |
42 | gdash: ___ |
43 | Goal arity 0: true |
44 | Got clause: true |
45 | Clause unifies to: true |
46 | gdash: ___ = retrieve (___) |
47 | Goal arity 4: ___ = retrieve (___) |
48 | Got clause: ___ = ___ (___) |
49 | Clause unifies to: ___ = ___ (___) |
50 | Clause is native. |
51 | gdash: - |
52 | SUCCESS! |
53 | solution found in step 77 |
54 | nextSolution |
55 | Done with goal! |
56 | 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: | #3000247 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000247/1 |
| Text MD5: | dbad8b6888cf2485bdfce3f4587370a3 |
| 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 00:51:19 |
| Source code size: | 1725 bytes / 56 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 385 / 102 |
| Referenced in: | [show references] |