1 | TRUE. |
2 | ``` |
3 | $y = [[not (false)]] |
4 | ``` |
5 | ``` |
6 | Used theories: ?, forall_impl, list comp, nat, not test 1, or |
7 | Starting on goal: $y = [$x | [$x should be true]] |
8 | Goal arity 3: $y = [$x | [$x should be true]] |
9 | nextSolution |
10 | Got clause: _10 = [_11 | _12] |
11 | Clause unifies to: $y = [_11 | [_11 should be true]] |
12 | gdash: _13 = new collector |
13 | Goal arity 4: _13 = new collector |
14 | Got clause: _14 = new collector |
15 | Clause unifies to: _13 = new collector |
16 | Clause is native. |
17 | gdash: [forall_impl ([_11 , [_11 should be true] , <collector>])] or true |
18 | Goal arity 3: [forall_impl ([_11 , [_11 should be true] , <collector>])] or true |
19 | Got clause: _28 or _29 |
20 | Clause unifies to: [forall_impl ([_11 , [_11 should be true] , <collector>])] or true |
21 | gdash: forall_impl ([_11 , [_11 should be true] , <collector>]) |
22 | Goal arity 2: forall_impl ([_11 , [_11 should be true] , <collector>]) |
23 | Got clause: forall_impl ([_36 , _37 , _38]) |
24 | Clause unifies to: forall_impl ([_11 , [_11 should be true] , <collector>]) |
25 | gdash: _11 should be true |
26 | Goal arity 4: _11 should be true |
27 | Got clause: [not (false)] should be true |
28 | Clause unifies to: [not (false)] should be true |
29 | gdash: saveTo ([[not (false)] , <collector>]) |
30 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
31 | Got clause: saveTo ([_97 , _98]) |
32 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
33 | Clause is native. |
34 | gdash: false |
35 | Goal arity 0: false |
36 | Got clause: _155 or _156 |
37 | Clause unifies to: [forall_impl ([_11 , [_11 should be true] , <collector>])] or true |
38 | gdash: true |
39 | Goal arity 0: true |
40 | Got clause: true |
41 | Clause unifies to: true |
42 | gdash: $y = retrieve (<collector>) |
43 | Goal arity 4: $y = retrieve (<collector>) |
44 | Got clause: _158 = retrieve (_159) |
45 | Clause unifies to: $y = retrieve (<collector>) |
46 | Clause is native. |
47 | gdash: - |
48 | SUCCESS! |
49 | solution found in step 104``` |
50 | [done] 10 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: | #3000327 |
| Snippet name: | Answer for stefanreich (>> log $y = [$x | [$x should be true]]) |
| Eternal ID of this version: | #3000327/1 |
| Text MD5: | 0d01b3615b239651a66e4010e41fc54a |
| 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 20:11:45 |
| Source code size: | 1914 bytes / 50 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 440 / 98 |
| Referenced in: | [show references] |