FALSE in ["maus", "smartadd", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "number of theories", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "number of theories", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "is a theory", "ifthenelse", "foot-feet", "bit-bits"] ``` Starting on goal: $x = map ([maus , []]) Goal arity 4: $x = map ([maus , []]) nextSolution Push $x (_1) Resetting variable $x (_1) Push _1 ($x) Resetting variable _1 ($x) Push $x (_2) Push $collector (_3) Resetting variable $collector (_3) Resetting variable $x (_2) Push _2 ($x) Resetting variable _2 ($x) Push $a (_4) Push $x (_5) Push $y (_6) Resetting variable $y (_6) Resetting variable $x (_5) Resetting variable $a (_4) Push _4 ($x) Resetting variable _4 ($x) Push $a (_7) Push $x (_8) Push $y (_9) Resetting variable $y (_9) Resetting variable $x (_8) Resetting variable $a (_7) Push _7 ($x) Resetting variable _7 ($x) Push $a (_10) Push $x (_11) Push $y (_12) Resetting variable $y (_12) Resetting variable $x (_11) Resetting variable $a (_10) Push _10 ($x) Resetting variable _10 ($x) Push $a (_13) Push $x (_14) Push $y (_15) Resetting variable $y (_15) Resetting variable $x (_14) Resetting variable $a (_13) Push _13 ($x) Resetting variable _13 ($x) Push $x (_16) Push $y (_17) Resetting variable $y (_17) Resetting variable $x (_16) Push _16 ($x) Resetting variable _16 ($x) Push $x (_18) Push $y (_19) Resetting variable $y (_19) Resetting variable $x (_18) Push _18 ($x) Resetting variable _18 ($x) Push $x (_20) Push $y (_21) Resetting variable $y (_21) Resetting variable $x (_20) Push _20 ($x) Resetting variable _20 ($x) Push $x (_22) Push $word (_23) Push $y (_24) Resetting variable $y (_24) Resetting variable $word (_23) Resetting variable $x (_22) Push _22 ($x) Resetting variable _22 ($x) Push $x (_25) Push $name (_26) Resetting variable $name (_26) Resetting variable $x (_25) Push _25 ($x) Resetting variable _25 ($x) Push $text (_27) Push $theories (_28) Resetting variable $theories (_28) Resetting variable $text (_27) Push $x (solve1) Push _27 ("=") Resetting variable _27 ("=") Resetting variable $x (solve1) Push $x (dadbot) Resetting variable $x (dadbot) Push $x (_29) Resetting variable $x (_29) Push _29 ($x) Resetting variable _29 ($x) Push $t (_30) Push $e1 (_31) Resetting variable $e1 (_31) Resetting variable $t (_30) Push _30 ($x) Resetting variable _30 ($x) Push $head (_32) Push $tail (_33) Resetting variable $tail (_33) Resetting variable $head (_32) Push _32 ($x) Resetting variable _32 ($x) Push $x (_34) Push $head (_35) Push $tail (_36) Resetting variable $tail (_36) Resetting variable $head (_35) Resetting variable $x (_34) Push _34 ($x) Resetting variable _34 ($x) Push $y (_37) Push $f (_38) Push $x (_39) Push $e1 (_40) Resetting variable $e1 (_40) Resetting variable $x (_39) Resetting variable $f (_38) Resetting variable $y (_37) Push _37 ($x) Push _38 (maus) Push _39 ("[]") Got clause: _37 = map ([_38 , _39]) Clause unifies to: $x = map ([maus , []]) gdash: _40 = map_cons ([maus , eval ([tocons ([])])]) Goal arity 4: _40 = map_cons ([maus , eval ([tocons ([])])]) Push $x (_41) Resetting variable $x (_41) Push _41 (_40) Resetting variable _41 (_40) Push $x (_42) Push $collector (_43) Resetting variable $collector (_43) Resetting variable $x (_42) Push _42 (_40) Resetting variable _42 (_40) Push $a (_44) Push $x (_45) Push $y (_46) Resetting variable $y (_46) Resetting variable $x (_45) Resetting variable $a (_44) Push _44 (_40) Resetting variable _44 (_40) Push $a (_47) Push $x (_48) Push $y (_49) Resetting variable $y (_49) Resetting variable $x (_48) Resetting variable $a (_47) Push _47 (_40) Resetting variable _47 (_40) Push $a (_50) Push $x (_51) Push $y (_52) Resetting variable $y (_52) Resetting variable $x (_51) Resetting variable $a (_50) Push _50 (_40) Resetting variable _50 (_40) Push $a (_53) Push $x (_54) Push $y (_55) Resetting variable $y (_55) Resetting variable $x (_54) Resetting variable $a (_53) Push _53 (_40) Resetting variable _53 (_40) Push $x (_56) Push $y (_57) Resetting variable $y (_57) Resetting variable $x (_56) Push _56 (_40) Resetting variable _56 (_40) Push $x (_58) Push $y (_59) Resetting variable $y (_59) Resetting variable $x (_58) Push _58 (_40) Resetting variable _58 (_40) Push $x (_60) Push $y (_61) Resetting variable $y (_61) Resetting variable $x (_60) Push _60 (_40) Resetting variable _60 (_40) Push $x (_62) Push $word (_63) Push $y (_64) Resetting variable $y (_64) Resetting variable $word (_63) Resetting variable $x (_62) Push _62 (_40) Resetting variable _62 (_40) Push $x (_65) Push $name (_66) Resetting variable $name (_66) Resetting variable $x (_65) Push _65 (_40) Resetting variable _65 (_40) Push $text (_67) Push $theories (_68) Resetting variable $theories (_68) Resetting variable $text (_67) Push _40 (solve1) Push _67 ("=") Resetting variable _67 ("=") Resetting variable _40 (solve1) Push _40 (dadbot) Resetting variable _40 (dadbot) Push $x (_69) Resetting variable $x (_69) Push _69 (_40) Resetting variable _69 (_40) Push $t (_70) Push $e1 (_71) Resetting variable $e1 (_71) Resetting variable $t (_70) Push _70 (_40) Resetting variable _70 (_40) Push $head (_72) Push $tail (_73) Resetting variable $tail (_73) Resetting variable $head (_72) Push _72 (_40) Resetting variable _72 (_40) Push $x (_74) Push $head (_75) Push $tail (_76) Resetting variable $tail (_76) Resetting variable $head (_75) Resetting variable $x (_74) Push _74 (_40) Resetting variable _74 (_40) Push $y (_77) Push $f (_78) Push $x (_79) Push $e1 (_80) Resetting variable $e1 (_80) Resetting variable $x (_79) Resetting variable $f (_78) Resetting variable $y (_77) Push _77 (_40) Resetting variable _77 (_40) Push $f (_81) Resetting variable $f (_81) Push _40 (end) Resetting variable _40 (end) Push $z (_82) Push $y (_83) Push $f (_84) Push $word (_85) Push $x (_86) Resetting variable $x (_86) Resetting variable $word (_85) Resetting variable $f (_84) Resetting variable $y (_83) Resetting variable $z (_82) Push _40 ("[]"(cons, _82, _83)) Resetting variable _40 ("[]"(cons, _82, _83)) Push $x (_87) Resetting variable $x (_87) Push _40 (maus) Resetting variable _40 (maus) Push _40 (mrshutco) Resetting variable _40 (mrshutco) Push _40 ("[]"(not, "()"(false))) Resetting variable _40 ("[]"(not, "()"(false))) Push _40 ("[]"(not, "()"(true))) Resetting variable _40 ("[]"(not, "()"(true))) Push $a (_88) Push $b (_89) Push $c (_90) Resetting variable $c (_90) Resetting variable $b (_89) Resetting variable $a (_88) Push _88 (_40) Resetting variable _88 (_40) Push $a (_91) Push $b (_92) Push $c (_93) Resetting variable $c (_93) Resetting variable $b (_92) Resetting variable $a (_91) Push _91 (_40) Resetting variable _91 (_40) Push $a (_94) Push $b (_95) Push $c (_96) Resetting variable $c (_96) Resetting variable $b (_95) Resetting variable $a (_94) Push _94 (_40) Resetting variable _94 (_40) Push $y (_97) Push $x (_98) Push $e1 (_99) Push $e2 (_100) Resetting variable $e2 (_100) Resetting variable $e1 (_99) Resetting variable $x (_98) Resetting variable $y (_97) Push _97 (_40) Resetting variable _97 (_40) Push _40 (end) Resetting variable _40 (end) Push $y (_101) Push $word (_102) Push $x (_103) Resetting variable $x (_103) Resetting variable $word (_102) Resetting variable $y (_101) Push _40 ("[]"(cons, "\"yo!\"", _101)) Resetting variable _40 ("[]"(cons, "\"yo!\"", _101)) Push $y (_104) Push $x (_105) Push $e1 (_106) Push $e2 (_107) Resetting variable $e2 (_107) Resetting variable $e1 (_106) Resetting variable $x (_105) Resetting variable $y (_104) Push _104 (_40) Resetting variable _104 (_40) Push _40 (end) Resetting variable _40 (end) Push $e1 (_108) Push $y (_109) Push $word (_110) Push $x (_111) Resetting variable $x (_111) Resetting variable $word (_110) Resetting variable $y (_109) Resetting variable $e1 (_108) Push _40 ("[]"(cons, _108, _109)) Resetting variable _40 ("[]"(cons, _108, _109)) Resetting variable _39 ("[]") Resetting variable _38 (maus) Resetting variable _37 ($x) Push $f (_112) Resetting variable $f (_112) Push $x (end) Resetting variable $x (end) Push $z (_113) Push $y (_114) Push $f (_115) Push $word (_116) Push $x (_117) Resetting variable $x (_117) Resetting variable $word (_116) Resetting variable $f (_115) Resetting variable $y (_114) Resetting variable $z (_113) Push $x ("[]"(cons, _113, _114)) Resetting variable $x ("[]"(cons, _113, _114)) Push $x (_118) Resetting variable $x (_118) Push $x (maus) Resetting variable $x (maus) Push $x (mrshutco) Resetting variable $x (mrshutco) Push $x ("[]"(not, "()"(false))) Resetting variable $x ("[]"(not, "()"(false))) Push $x ("[]"(not, "()"(true))) Resetting variable $x ("[]"(not, "()"(true))) Push $a (_119) Push $b (_120) Push $c (_121) Resetting variable $c (_121) Resetting variable $b (_120) Resetting variable $a (_119) Push _119 ($x) Resetting variable _119 ($x) Push $a (_122) Push $b (_123) Push $c (_124) Resetting variable $c (_124) Resetting variable $b (_123) Resetting variable $a (_122) Push _122 ($x) Resetting variable _122 ($x) Push $a (_125) Push $b (_126) Push $c (_127) Resetting variable $c (_127) Resetting variable $b (_126) Resetting variable $a (_125) Push _125 ($x) Resetting variable _125 ($x) Push $y (_128) Push $x (_129) Push $e1 (_130) Push $e2 (_131) Resetting variable $e2 (_131) Resetting variable $e1 (_130) Resetting variable $x (_129) Resetting variable $y (_128) Push _128 ($x) Resetting variable _128 ($x) Push $x (end) Resetting variable $x (end) Push $y (_132) Push $word (_133) Push $x (_134) Resetting variable $x (_134) Resetting variable $word (_133) Resetting variable $y (_132) Push $x ("[]"(cons, "\"yo!\"", _132)) Resetting variable $x ("[]"(cons, "\"yo!\"", _132)) Push $y (_135) Push $x (_136) Push $e1 (_137) Push $e2 (_138) Resetting variable $e2 (_138) Resetting variable $e1 (_137) Resetting variable $x (_136) Resetting variable $y (_135) Push _135 ($x) Resetting variable _135 ($x) Push $x (end) Resetting variable $x (end) Push $e1 (_139) Push $y (_140) Push $word (_141) Push $x (_142) Resetting variable $x (_142) Resetting variable $word (_141) Resetting variable $y (_140) Resetting variable $e1 (_139) Push $x ("[]"(cons, _139, _140)) Resetting variable $x ("[]"(cons, _139, _140)) Done with goal! No solution``` 83 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: | #3000280 |
Snippet name: | Answer for stefanreich (>> log $x = map(maus, [])) |
Eternal ID of this version: | #3000280/1 |
Text MD5: | f246e13146f202e68f8ba7d5647a9a22 |
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-11 03:57:23 |
Source code size: | 12182 bytes / 435 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 387 / 104 |
Referenced in: | [show references] |