TRUE. ``` $x = dadbot is really funny ``` ``` Starting on goal: say $x Goal arity 2: say $x nextSolution Push $x (_1) Push $collector (_2) Resetting variable $collector (_2) Resetting variable $x (_1) Push $x (_3) Resetting variable $x (_3) Push $e2 (_4) Push $e1 (_5) Resetting variable $e1 (_5) Resetting variable $e2 (_4) Push _4 ($x) Got clause: say _4 Clause unifies to: say $x gdash: true Goal arity 0: true Got clause: true Clause unifies to: true gdash: _5 = theory "dadbot+1" Goal arity 4: _5 = theory "dadbot+1" Push $x (_6) Resetting variable $x (_6) Push _6 (_5) Resetting variable _6 (_5) Push $x (_7) Push $collector (_8) Resetting variable $collector (_8) Resetting variable $x (_7) Push _7 (_5) Resetting variable _7 (_5) Push $a (_9) Push $x (_10) Push $y (_11) Resetting variable $y (_11) Resetting variable $x (_10) Resetting variable $a (_9) Push _9 (_5) Resetting variable _9 (_5) Push $a (_12) Push $x (_13) Push $y (_14) Resetting variable $y (_14) Resetting variable $x (_13) Resetting variable $a (_12) Push _12 (_5) Resetting variable _12 (_5) Push $a (_15) Push $x (_16) Push $y (_17) Resetting variable $y (_17) Resetting variable $x (_16) Resetting variable $a (_15) Push _15 (_5) Resetting variable _15 (_5) Push $a (_18) Push $x (_19) Push $y (_20) Resetting variable $y (_20) Resetting variable $x (_19) Resetting variable $a (_18) Push _18 (_5) Resetting variable _18 (_5) Push $x (_21) Push $y (_22) Resetting variable $y (_22) Resetting variable $x (_21) Push _21 (_5) Resetting variable _21 (_5) Push $x (_23) Push $y (_24) Resetting variable $y (_24) Resetting variable $x (_23) Push _23 (_5) Resetting variable _23 (_5) Push $x (_25) Push $word (_26) Push $y (_27) Resetting variable $y (_27) Resetting variable $word (_26) Resetting variable $x (_25) Push _25 (_5) Resetting variable _25 (_5) Push $x (_28) Push $name (_29) Resetting variable $name (_29) Resetting variable $x (_28) Push _28 (_5) Push _29 ("\"dadbot+1\"") Got clause: _28 = theory _29 Clause unifies to: _5 = theory "dadbot+1" Clause is native. Push _5 ("[]"(the, dadbot, is, really, funny)) gdash: $x = removeword ([the , [the dadbot is really funny]]) Goal arity 4: $x = removeword ([the , [the dadbot is really funny]]) Push $x (_30) Resetting variable $x (_30) Push _30 ($x) Resetting variable _30 ($x) Push $x (_31) Push $collector (_32) Resetting variable $collector (_32) Resetting variable $x (_31) Push _31 ($x) Resetting variable _31 ($x) Push $a (_33) Push $x (_34) Push $y (_35) Resetting variable $y (_35) Resetting variable $x (_34) Resetting variable $a (_33) Push _33 ($x) Resetting variable _33 ($x) Push $a (_36) Push $x (_37) Push $y (_38) Resetting variable $y (_38) Resetting variable $x (_37) Resetting variable $a (_36) Push _36 ($x) Resetting variable _36 ($x) Push $a (_39) Push $x (_40) Push $y (_41) Resetting variable $y (_41) Resetting variable $x (_40) Resetting variable $a (_39) Push _39 ($x) Resetting variable _39 ($x) Push $a (_42) Push $x (_43) Push $y (_44) Resetting variable $y (_44) Resetting variable $x (_43) Resetting variable $a (_42) Push _42 ($x) Resetting variable _42 ($x) Push $x (_45) Push $y (_46) Resetting variable $y (_46) Resetting variable $x (_45) Push _45 ($x) Resetting variable _45 ($x) Push $x (_47) Push $y (_48) Resetting variable $y (_48) Resetting variable $x (_47) Push _47 ($x) Resetting variable _47 ($x) Push $x (_49) Push $word (_50) Push $y (_51) Resetting variable $y (_51) Resetting variable $word (_50) Resetting variable $x (_49) Push _49 ($x) Push _50 (the) Push _51 ("[]"(the, dadbot, is, really, funny)) Got clause: _49 = removeWord ([_50 , _51]) Clause unifies to: $x = removeWord ([the , [the dadbot is really funny]]) Clause is native. Push $x ("[]"(dadbot, is, really, funny)) gdash: - SUCCESS! solution found in step 27``` [done] 4 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: | #3000273 |
Snippet name: | Answer for stefanreich (>> log [say $x] in "drop 'the' test") |
Eternal ID of this version: | #3000273/1 |
Text MD5: | 4096eb8b36b2e86e54612e40d2f665d5 |
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 00:05:10 |
Source code size: | 4487 bytes / 172 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 449 / 107 |
Referenced in: | [show references] |