FALSE in ["what is", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits"] ``` Starting on goal: [think [user says [what is the name of [theory bla] ?]]] and [say $x] Goal arity 3: [think [user says [what is the name of [theory bla] ?]]] and [say $x] nextSolution Got clause: _1 and _2 Clause unifies to: [think [user says [what is the name of [theory bla] ?]]] and [say $x] gdash: think [user says [what is the name of [theory bla] ?]] Goal arity 2: think [user says [what is the name of [theory bla] ?]] Got clause: think _7 Clause unifies to: think [user says [what is the name of [theory bla] ?]] Clause is native. gdash: say $x Goal arity 2: say $x Got clause: say [it's _20 !] Clause unifies to: say [it's _20 !] gdash: user says [_21 * _22] Goal arity 3: user says [_21 * _22] Got clause: say [_47 is _48 !] Clause unifies to: say [_47 is _48 !] gdash: user says _49 Goal arity 3: user says _49 Got clause: user says [what is the name of [theory bla] ?] Clause unifies to: user says [what is the name of [theory bla] ?] gdash: rew ! [what is the name of [theory bla] ?] to [what is _47] Goal arity 5: rew ! [what is the name of [theory bla] ?] to [what is _47] Got clause: rew ! _99 to _100 Clause unifies to: rew ! [what is the name of [theory bla] ?] to [what is _47] gdash: rew [what is the name of [theory bla] ?] to [what is _47] Goal arity 4: rew [what is the name of [theory bla] ?] to [what is _47] Got clause: rew _159 to _160 Clause unifies to: rew [what is the name of [theory bla] ?] to [what is _47] gdash: rewrite [what is the name of [theory bla] ?] to _161 Goal arity 4: rewrite [what is the name of [theory bla] ?] to _161 Got clause: rewrite [what is the _193 of _194 ?] to [what is [the _193 of _194] ?] Clause unifies to: rewrite [what is the name of [theory bla] ?] to [what is [the name of [theory bla]] ?] gdash: rew [what is [the name of [theory bla]] ?] to [what is _47] Goal arity 4: rew [what is [the name of [theory bla]] ?] to [what is _47] Got clause: rew _253 to _254 Clause unifies to: rew [what is [the name of [theory bla]] ?] to [what is _47] gdash: rewrite [what is [the name of [theory bla]] ?] to _255 Goal arity 4: rewrite [what is [the name of [theory bla]] ?] to _255 Got clause: say [_449 is tasty !] Clause unifies to: say [_449 is tasty !] gdash: user says [what is tasty] Goal arity 3: user says [what is tasty] No solution``` 94 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: | #3000319 |
Snippet name: | Answer for stefanreich (>> say [what is the name of [theory bla] ?] in ["what is", signed]) |
Eternal ID of this version: | #3000319/1 |
Text MD5: | 5945db9672edc4a43bc5b02b3630e76f |
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-13 19:40:29 |
Source code size: | 3881 bytes / 48 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 461 / 98 |
Referenced in: | [show references] |