FALSE in ["tennis", "and"] ``` Starting on goal: [think [user says [boris becker is a tennis player]]] and [say $x] Goal arity 3: [think [user says [boris becker is a tennis player]]] and [say $x] nextSolution Got clause: _1 and _2 Clause unifies to: [think [user says [boris becker is a tennis player]]] and [say $x] gdash: think [user says [boris becker is a tennis player]] Goal arity 2: think [user says [boris becker is a tennis player]] Got clause: think _7 Clause unifies to: think [user says [boris becker is a tennis player]] Clause is native. gdash: say $x Goal arity 2: say $x Got clause: say [ah , so _13 _14 must be a fit guy !] Clause unifies to: say [ah , so _13 _14 must be a fit guy !] gdash: user says [_13 _14 is a tennis player] Goal arity 3: user says [_13 _14 is a tennis player] Got clause: user says [boris becker is a tennis player] Clause unifies to: user says [boris becker is a tennis player] gdash: memorize [boris becker is supposedly a tennis player] Goal arity 2: memorize [boris becker is supposedly a tennis player] Done with goal! 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: | 448 / 92 |
Referenced in: | [show references] |