TRUE. ``` $l = [ice cream] , lasagna $x = ___ `````` Starting on goal: $l = [$x | [$x is tasty]] Goal arity 3: $l = [$x | [$x is tasty]] nextSolution Resetting variable "[]"(ice, cream) Resetting variable _2 Resetting variable _1 Resetting variable $l Resetting variable _4 Resetting variable _3 Resetting variable $l Resetting variable _6 Resetting variable _5 Resetting variable $l Resetting variable _10 Resetting variable _9 Resetting variable _8 Resetting variable _7 Got clause: ___ = [___ | ___] Clause unifies to: $l = [___ | [___ is tasty]] gdash: ___ = new collector Goal arity 4: ___ = new collector Resetting variable _11 Got clause: ___ = new collector Clause unifies to: ___ = new collector Clause is native. gdash: [forall_impl ([___ , [___ is tasty] , ___])] or true Goal arity 3: [forall_impl ([___ , [___ is tasty] , ___])] or true Resetting variable _13 Resetting variable _12 Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) Resetting variable _15 Resetting variable _14 Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) Resetting variable _17 Resetting variable _16 Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) Resetting variable _21 Resetting variable _20 Resetting variable _19 Resetting variable _18 Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) Resetting variable _24 Resetting variable _23 Resetting variable _22 Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) Resetting variable _26 Resetting variable _25 Got clause: ___ or ___ Clause unifies to: [forall_impl ([___ , [___ is tasty] , ___])] or true gdash: forall_impl ([___ , [___ is tasty] , ___]) Goal arity 2: forall_impl ([___ , [___ is tasty] , ___]) Resetting variable _28 Resetting variable _27 Resetting variable _29 Resetting variable _30 Resetting variable _31 Resetting variable _32 Resetting variable _35 Resetting variable _34 Resetting variable _33 Got clause: forall_impl ([___ , ___ , ___]) Clause unifies to: forall_impl ([___ , [___ is tasty] , ___]) gdash: ___ is tasty Goal arity 3: ___ is tasty Got clause: [ice cream] is tasty Clause unifies to: [ice cream] is tasty gdash: saveTo ([[ice cream] , ___]) Goal arity 2: saveTo ([[ice cream] , ___]) Resetting variable _37 Resetting variable _36 Got clause: saveTo ([___ , ___]) Clause unifies to: saveTo ([[ice cream] , ___]) Clause is native. gdash: false Goal arity 0: false Resetting variable ___ Resetting variable "[]"(ice, cream) Resetting variable _38 Resetting variable _39 Resetting variable _40 Resetting variable _41 Resetting variable _44 Resetting variable _43 Resetting variable _42 Resetting variable _47 Resetting variable _46 Resetting variable _45 Resetting variable _48 Resetting variable _49 Resetting variable "[]"(ice, cream) Resetting variable _51 Resetting variable _50 Resetting variable _8 Resetting variable _53 Resetting variable _52 Resetting variable _8 Resetting variable _55 Resetting variable _54 Resetting variable _8 Resetting variable _59 Resetting variable _58 Resetting variable _57 Resetting variable _56 Resetting variable _8 Got clause: lasagna is tasty Clause unifies to: lasagna is tasty gdash: saveTo ([lasagna , ___]) Goal arity 2: saveTo ([lasagna , ___]) Resetting variable _61 Resetting variable _60 Got clause: saveTo ([___ , ___]) Clause unifies to: saveTo ([lasagna , ___]) Clause is native. gdash: false Goal arity 0: false Resetting variable ___ Resetting variable lasagna Resetting variable _62 Resetting variable _63 Resetting variable _64 Resetting variable _65 Resetting variable _68 Resetting variable _67 Resetting variable _66 Resetting variable _71 Resetting variable _70 Resetting variable _69 Resetting variable _72 Resetting variable _73 Resetting variable lasagna Resetting variable _76 Resetting variable _75 Resetting variable _74 Resetting variable _8 Resetting variable _78 Resetting variable _77 Resetting variable _8 Resetting variable _80 Resetting variable _79 Resetting variable _8 Resetting variable ___ Resetting variable "[]"(_8, is, tasty) Resetting variable _8 Resetting variable _83 Resetting variable _82 Resetting variable _81 Resetting variable _84 Resetting variable _85 Resetting variable true Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) Resetting variable _87 Resetting variable _86 Got clause: ___ or ___ Clause unifies to: [forall_impl ([___ , [___ is tasty] , ___])] or true gdash: true Goal arity 0: true Got clause: true Clause unifies to: true gdash: $l = retrieve (___) Goal arity 4: $l = retrieve (___) Resetting variable _88 Resetting variable $l Resetting variable _91 Resetting variable _90 Resetting variable _89 Got clause: ___ = ___ (___) Clause unifies to: $l = retrieve (___) Clause is native. gdash: - SUCCESS! solution found in step 77``` [done] 85 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: | #3000249 |
Snippet name: | Answer for stefanreich (>> solve $l = [$x | [$x is tasty]]) |
Eternal ID of this version: | #3000249/1 |
Text MD5: | 607c51483112ca9873d567e5349fb8a2 |
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:58:27 |
Source code size: | 5770 bytes / 177 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 419 / 114 |
Referenced in: | [show references] |