1 | FALSE in ["tennis", "and"] |
2 | ``` |
3 | Starting on goal: [think [user says [boris becker is a tennis player]]] and [say $x] |
4 | Goal arity 3: [think [user says [boris becker is a tennis player]]] and [say $x] |
5 | nextSolution |
6 | Got clause: _1 and _2 |
7 | Clause unifies to: [think [user says [boris becker is a tennis player]]] and [say $x] |
8 | gdash: think [user says [boris becker is a tennis player]] |
9 | Goal arity 2: think [user says [boris becker is a tennis player]] |
10 | Got clause: think _7 |
11 | Clause unifies to: think [user says [boris becker is a tennis player]] |
12 | Clause is native. |
13 | gdash: say $x |
14 | Goal arity 2: say $x |
15 | Got clause: say [ah , so _13 _14 must be a fit guy !] |
16 | Clause unifies to: say [ah , so _13 _14 must be a fit guy !] |
17 | gdash: user says [_13 _14 is a tennis player] |
18 | Goal arity 3: user says [_13 _14 is a tennis player] |
19 | Got clause: user says [boris becker is a tennis player] |
20 | Clause unifies to: user says [boris becker is a tennis player] |
21 | gdash: memorize [boris becker is supposedly a tennis player] |
22 | Goal arity 2: memorize [boris becker is supposedly a tennis player] |
23 | Done with goal! |
24 | No solution``` 1 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: | #3000284 |
| Snippet name: | Answer for stefanreich (>> say [boris becker is a tennis player] in [tennis, "and"]) |
| Eternal ID of this version: | #3000284/1 |
| Text MD5: | 6cabf3bcd89d689cb274d545e9714489 |
| 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 20:14:00 |
| Source code size: | 1127 bytes / 24 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 428 / 85 |
| Referenced in: | [show references] |