1 | TRUE. |
2 | ``` |
3 | $x = [[the name of [theory bla]] is bla !] |
4 | ``` |
5 | ``` |
6 | Used theories: and, grouping 1, grouping 2.x, nat, rew, rew!, theory name, thought, usermul, what is |
7 | Starting on goal: [think [user says [what is the name of [theory bla] ?]]] and [say $x] |
8 | Goal arity 3: [think [user says [what is the name of [theory bla] ?]]] and [say $x] |
9 | nextSolution |
10 | Got clause: _1 and _2 |
11 | Clause unifies to: [think [user says [what is the name of [theory bla] ?]]] and [say $x] |
12 | gdash: think [user says [what is the name of [theory bla] ?]] |
13 | Goal arity 2: think [user says [what is the name of [theory bla] ?]] |
14 | Got clause: think _7 |
15 | Clause unifies to: think [user says [what is the name of [theory bla] ?]] |
16 | Clause is native. |
17 | gdash: say $x |
18 | Goal arity 2: say $x |
19 | Got clause: say [it's _20 !] |
20 | Clause unifies to: say [it's _20 !] |
21 | gdash: user says [_21 * _22] |
22 | Goal arity 3: user says [_21 * _22] |
23 | Got clause: say [_47 is _48 !] |
24 | Clause unifies to: say [_47 is _48 !] |
25 | gdash: user says _49 |
26 | Goal arity 3: user says _49 |
27 | Got clause: user says [what is the name of [theory bla] ?] |
28 | Clause unifies to: user says [what is the name of [theory bla] ?] |
29 | gdash: rew ! [what is the name of [theory bla] ?] to [what is _47 ?] |
30 | Goal arity 5: rew ! [what is the name of [theory bla] ?] to [what is _47 ?] |
31 | Got clause: rew ! _99 to _100 |
32 | Clause unifies to: rew ! [what is the name of [theory bla] ?] to [what is _47 ?] |
33 | gdash: rew [what is the name of [theory bla] ?] to [what is _47 ?] |
34 | Goal arity 4: rew [what is the name of [theory bla] ?] to [what is _47 ?] |
35 | Got clause: rew _159 to _160 |
36 | Clause unifies to: rew [what is the name of [theory bla] ?] to [what is _47 ?] |
37 | gdash: rewrite [what is the name of [theory bla] ?] to _161 |
38 | Goal arity 4: rewrite [what is the name of [theory bla] ?] to _161 |
39 | Got clause: rewrite [what is the _193 of _194 ?] to [what is [the _193 of _194] ?] |
40 | Clause unifies to: rewrite [what is the name of [theory bla] ?] to [what is [the name of [theory bla]] ?] |
41 | gdash: rew [what is [the name of [theory bla]] ?] to [what is _47 ?] |
42 | Goal arity 4: rew [what is [the name of [theory bla]] ?] to [what is _47 ?] |
43 | Got clause: rew _253 to _254 |
44 | Clause unifies to: rew [what is [the name of [theory bla]] ?] to [what is _47 ?] |
45 | gdash: rewrite [what is [the name of [theory bla]] ?] to _255 |
46 | Goal arity 4: rewrite [what is [the name of [theory bla]] ?] to _255 |
47 | Got clause: rew _343 to _343 |
48 | Clause unifies to: rew [what is [the name of [theory bla]] ?] to [what is [the name of [theory bla]] ?] |
49 | gdash: ?? "!"("5") |
50 | Goal arity 1: ?? "!"("5") |
51 | cut -1. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=47L, instance=l("[]", "the", Prolog$Var(id=193L, instance=l("name")), "of", Prolog$Var(id=194L, instance=l("[]", "theory", "bla")))), "is", Prolog$Var(id=48L, instance=r11)))) |
52 | Goal arity 3: [the name of [theory bla]] is _48 |
53 | Got clause: [the _346 of _347] is _348 |
54 | Clause unifies to: [the name of [theory bla]] is _48 |
55 | gdash: the name of [theory bla] is _48 |
56 | Goal arity 6: the name of [theory bla] is _48 |
57 | Got clause: the name of [theory _354] is _354 |
58 | Clause unifies to: the name of [theory bla] is bla |
59 | gdash: - |
60 | SUCCESS! |
61 | solution found in step 198``` |
62 | [done] 95 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: | #3000320 |
| Snippet name: | Answer for stefanreich (>> say [what is the name of [theory bla] ?] in ["what is", signed]) |
| Eternal ID of this version: | #3000320/1 |
| Text MD5: | 3c37f0af580508d4b7e9cab9c8d7944f |
| 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:42:30 |
| Source code size: | 3406 bytes / 62 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 394 / 109 |
| Referenced in: | [show references] |