1 | TRUE. |
2 | ``` |
3 | $x = [screw her ? I hardly know her !] |
4 | ``` |
5 | ``` |
6 | Used theories: DadJoke001.b, and, drop exclamation mark, droplast_cons, endswithword_c, nat, rewritten, thought |
7 | Starting on goal: [think [user says [screw her !]]] and [say $x] |
8 | Goal arity 3: [think [user says [screw her !]]] and [say $x] |
9 | nextSolution |
10 | Got clause: _1 and _2 |
11 | Clause unifies to: [think [user says [screw her !]]] and [say $x] |
12 | gdash: think [user says [screw her !]] |
13 | Goal arity 2: think [user says [screw her !]] |
14 | Got clause: think _7 |
15 | Clause unifies to: think [user says [screw her !]] |
16 | Clause is native. |
17 | gdash: say $x |
18 | Goal arity 2: say $x |
19 | Got clause: say [_14 her ? I hardly know her !] |
20 | Clause unifies to: say [_14 her ? I hardly know her !] |
21 | gdash: rewrite with theory "drop exclamation mark from user input" |
22 | Goal arity 4: rewrite with theory "drop exclamation mark from user input" |
23 | Got clause: rewrite with theory _45 |
24 | Clause unifies to: rewrite with theory "drop exclamation mark from user input" |
25 | Clause is native. |
26 | REW user says $e1 :- ... |
27 | Starting on goal: user says _47 |
28 | Goal arity 3: user says _47 |
29 | Got clause: user says [screw her !] |
30 | Clause unifies to: user says [screw her !] |
31 | gdash: _46 = drop exclamation mark ([screw her !]) |
32 | Goal arity 6: _46 = drop exclamation mark ([screw her !]) |
33 | Got clause: _86 = drop exclamation mark (_87) |
34 | Clause unifies to: _46 = drop exclamation mark ([screw her !]) |
35 | gdash: _88 = tocons ([screw her !]) |
36 | Goal arity 4: _88 = tocons ([screw her !]) |
37 | Got clause: _105 = tocons (_106) |
38 | Clause unifies to: _88 = tocons ([screw her !]) |
39 | Clause is native. |
40 | gdash: endswithword_c [cons screw [cons her [cons ! end]]] ! |
41 | Goal arity 3: endswithword_c [cons screw [cons her [cons ! end]]] ! |
42 | Got clause: endswithword_c [cons _110 _111] _112 |
43 | Clause unifies to: endswithword_c [cons screw [cons her [cons ! end]]] ! |
44 | gdash: endswithword_c [cons her [cons ! end]] ! |
45 | Goal arity 3: endswithword_c [cons her [cons ! end]] ! |
46 | Got clause: endswithword_c [cons _116 _117] _118 |
47 | Clause unifies to: endswithword_c [cons her [cons ! end]] ! |
48 | gdash: endswithword_c [cons ! end] ! |
49 | Goal arity 3: endswithword_c [cons ! end] ! |
50 | Got clause: endswithword_c [cons _121 end] _121 |
51 | Clause unifies to: endswithword_c [cons ! end] ! |
52 | gdash: _89 = droplast_c [cons screw [cons her [cons ! end]]] |
53 | Goal arity 4: _89 = droplast_c [cons screw [cons her [cons ! end]]] |
54 | Got clause: [cons _154 _155] = droplast_c [cons _154 _156] |
55 | Clause unifies to: [cons screw _155] = droplast_c [cons screw [cons her [cons ! end]]] |
56 | gdash: _155 = droplast_c [cons her [cons ! end]] |
57 | Goal arity 4: _155 = droplast_c [cons her [cons ! end]] |
58 | Got clause: [cons _189 _190] = droplast_c [cons _189 _191] |
59 | Clause unifies to: [cons her _190] = droplast_c [cons her [cons ! end]] |
60 | gdash: _190 = droplast_c [cons ! end] |
61 | Goal arity 4: _190 = droplast_c [cons ! end] |
62 | Got clause: end = droplast_c [cons _223 end] |
63 | Clause unifies to: end = droplast_c [cons ! end] |
64 | gdash: _46 = fromcons ([cons screw [cons her end]]) |
65 | Goal arity 4: _46 = fromcons ([cons screw [cons her end]]) |
66 | Got clause: _241 = fromcons (_242) |
67 | Clause unifies to: _46 = fromcons ([cons screw [cons her end]]) |
68 | Clause is native. |
69 | gdash: - |
70 | SUCCESS! |
71 | Found new statement: "[]"(user, says, "[]"(screw, her)) |
72 | Got clause: [cons _316 _317] = droplast_c [cons _316 _318] |
73 | Clause unifies to: [cons ! _317] = droplast_c [cons ! end] |
74 | gdash: _317 = droplast_c end |
75 | Goal arity 4: _317 = droplast_c end |
76 | Got clause: end = droplast_c end |
77 | Clause unifies to: end = droplast_c end |
78 | gdash: _46 = fromcons ([cons screw [cons her [cons ! end]]]) |
79 | Goal arity 4: _46 = fromcons ([cons screw [cons her [cons ! end]]]) |
80 | Got clause: _367 = fromcons (_368) |
81 | Clause unifies to: _46 = fromcons ([cons screw [cons her [cons ! end]]]) |
82 | Clause is native. |
83 | gdash: - |
84 | SUCCESS! |
85 | Statement exists, skipping: "[]"(user, says, "[]"(screw, her, "!")) |
86 | Got clause: endswithword_c [cons _674 _675] _676 |
87 | Clause unifies to: endswithword_c [cons ! end] ! |
88 | gdash: endswithword_c end ! |
89 | Goal arity 3: endswithword_c end ! |
90 | Got 1 rewritten terms. |
91 | Adding rewritten term: user says [screw her] |
92 | gdash: user says [_14 her] |
93 | Goal arity 3: user says [_14 her] |
94 | Got clause: user says [screw her] |
95 | Clause unifies to: user says [screw her] |
96 | gdash: - |
97 | SUCCESS! |
98 | solution found in step 47 |
99 | UserVarMap goal: "[]"("[]"(think, "[]"(user, says, "[]"(screw, her, "!"))), and, "[]"(say, "[]"(screw, her, "?", I, hardly, know, her, "!"))) |
100 | UserVarMap var "[]"(screw, her, "?", I, hardly, know, her, "!") ok: true``` |
101 | [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: | 482 / 128 |
| Referenced in: | [show references] |