TRUE. ``` $x = [screw her ? I hardly know her !] ``` ``` Used theories: DadJoke001.b, and, drop exclamation mark, droplast_cons, endswithword_c, nat, rewritten, thought Starting on goal: [think [user says [screw her !]]] and [say $x] Goal arity 3: [think [user says [screw her !]]] and [say $x] nextSolution Got clause: _1 and _2 Clause unifies to: [think [user says [screw her !]]] and [say $x] gdash: think [user says [screw her !]] Goal arity 2: think [user says [screw her !]] Got clause: think _7 Clause unifies to: think [user says [screw her !]] Clause is native. gdash: say $x Goal arity 2: say $x Got clause: say [_14 her ? I hardly know her !] Clause unifies to: say [_14 her ? I hardly know her !] gdash: rewrite with theory "drop exclamation mark from user input" Goal arity 4: rewrite with theory "drop exclamation mark from user input" Got clause: rewrite with theory _45 Clause unifies to: rewrite with theory "drop exclamation mark from user input" Clause is native. REW user says $e1 :- ... Starting on goal: user says _47 Goal arity 3: user says _47 Got clause: user says [screw her !] Clause unifies to: user says [screw her !] gdash: _46 = drop exclamation mark ([screw her !]) Goal arity 6: _46 = drop exclamation mark ([screw her !]) Got clause: _86 = drop exclamation mark (_87) Clause unifies to: _46 = drop exclamation mark ([screw her !]) gdash: _88 = tocons ([screw her !]) Goal arity 4: _88 = tocons ([screw her !]) Got clause: _105 = tocons (_106) Clause unifies to: _88 = tocons ([screw her !]) Clause is native. gdash: endswithword_c [cons screw [cons her [cons ! end]]] ! Goal arity 3: endswithword_c [cons screw [cons her [cons ! end]]] ! Got clause: endswithword_c [cons _110 _111] _112 Clause unifies to: endswithword_c [cons screw [cons her [cons ! end]]] ! gdash: endswithword_c [cons her [cons ! end]] ! Goal arity 3: endswithword_c [cons her [cons ! end]] ! Got clause: endswithword_c [cons _116 _117] _118 Clause unifies to: endswithword_c [cons her [cons ! end]] ! gdash: endswithword_c [cons ! end] ! Goal arity 3: endswithword_c [cons ! end] ! Got clause: endswithword_c [cons _121 end] _121 Clause unifies to: endswithword_c [cons ! end] ! gdash: _89 = droplast_c [cons screw [cons her [cons ! end]]] Goal arity 4: _89 = droplast_c [cons screw [cons her [cons ! end]]] Got clause: [cons _154 _155] = droplast_c [cons _154 _156] Clause unifies to: [cons screw _155] = droplast_c [cons screw [cons her [cons ! end]]] gdash: _155 = droplast_c [cons her [cons ! end]] Goal arity 4: _155 = droplast_c [cons her [cons ! end]] Got clause: [cons _189 _190] = droplast_c [cons _189 _191] Clause unifies to: [cons her _190] = droplast_c [cons her [cons ! end]] gdash: _190 = droplast_c [cons ! end] Goal arity 4: _190 = droplast_c [cons ! end] Got clause: end = droplast_c [cons _223 end] Clause unifies to: end = droplast_c [cons ! end] gdash: _46 = fromcons ([cons screw [cons her end]]) Goal arity 4: _46 = fromcons ([cons screw [cons her end]]) Got clause: _241 = fromcons (_242) Clause unifies to: _46 = fromcons ([cons screw [cons her end]]) Clause is native. gdash: - SUCCESS! Found new statement: "[]"(user, says, "[]"(screw, her)) Got clause: [cons _316 _317] = droplast_c [cons _316 _318] Clause unifies to: [cons ! _317] = droplast_c [cons ! end] gdash: _317 = droplast_c end Goal arity 4: _317 = droplast_c end Got clause: end = droplast_c end Clause unifies to: end = droplast_c end gdash: _46 = fromcons ([cons screw [cons her [cons ! end]]]) Goal arity 4: _46 = fromcons ([cons screw [cons her [cons ! end]]]) Got clause: _367 = fromcons (_368) Clause unifies to: _46 = fromcons ([cons screw [cons her [cons ! end]]]) Clause is native. gdash: - SUCCESS! Statement exists, skipping: "[]"(user, says, "[]"(screw, her, "!")) Got clause: endswithword_c [cons _674 _675] _676 Clause unifies to: endswithword_c [cons ! end] ! gdash: endswithword_c end ! Goal arity 3: endswithword_c end ! Got 1 rewritten terms. Adding rewritten term: user says [screw her] gdash: user says [_14 her] Goal arity 3: user says [_14 her] Got clause: user says [screw her] Clause unifies to: user says [screw her] gdash: - SUCCESS! solution found in step 47 UserVarMap goal: "[]"("[]"(think, "[]"(user, says, "[]"(screw, her, "!"))), and, "[]"(say, "[]"(screw, her, "?", I, hardly, know, her, "!"))) UserVarMap var "[]"(screw, her, "?", I, hardly, know, her, "!") ok: true``` [done] 102 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: | #3000354 |
Snippet name: | Answer for stefanreich (>> say [screw her!] in ["DadJoke001.b", signed]) |
Eternal ID of this version: | #3000354/1 |
Text MD5: | 255fc5ebb827f4fbabf5ffa4d7ae3966 |
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-14 02:41:08 |
Source code size: | 4846 bytes / 101 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 456 / 118 |
Referenced in: | [show references] |