Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

126
LINES

< > BotCompany Repo | #3000253 // Answer for stefanreich (>> log $l = [a | true])

New Tinybrain snippet

1  
TRUE.
2  
```
3  
$l = a
4  
```
5  
```
6  
Starting on goal: $l = [a | true]
7  
Goal arity 3: $l = [a | true]
8  
nextSolution
9  
  Resetting variable $l ("[]"(ice, cream))
10  
  Resetting variable $b (_2)
11  
  Resetting variable $a (_1)
12  
  Resetting variable ___ ($l)
13  
  Resetting variable $y (_4)
14  
  Resetting variable $x (_3)
15  
  Resetting variable ___ ($l)
16  
  Resetting variable $y (_6)
17  
  Resetting variable $x (_5)
18  
  Resetting variable ___ ($l)
19  
  Resetting variable $c (_10)
20  
  Resetting variable $cond (_9)
21  
  Resetting variable $x (_8)
22  
  Resetting variable $list (_7)
23  
Got clause: _7 = [_8 | _9]
24  
  Clause unifies to: $l = [a | true]
25  
  gdash: _10 = new collector
26  
Goal arity 4: _10 = new collector
27  
   Resetting variable $x (_11)
28  
 Got clause: _11 = new collector
29  
   Clause unifies to: _10 = new collector
30  
  Clause is native.
31  
   gdash: [forall_impl ([a , true , <collector>])] or true
32  
 Goal arity 3: [forall_impl ([a , true , <collector>])] or true
33  
    Resetting variable $b (_13)
34  
    Resetting variable $a (_12)
35  
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
36  
    Resetting variable $y (_15)
37  
    Resetting variable $x (_14)
38  
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
39  
    Resetting variable $y (_17)
40  
    Resetting variable $x (_16)
41  
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
42  
    Resetting variable $c (_21)
43  
    Resetting variable $cond (_20)
44  
    Resetting variable $x (_19)
45  
    Resetting variable $list (_18)
46  
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
47  
    Resetting variable $list (_24)
48  
    Resetting variable $c (_23)
49  
    Resetting variable $e (_22)
50  
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
51  
    Resetting variable $b (_26)
52  
    Resetting variable $a (_25)
53  
  Got clause: _25 or _26
54  
    Clause unifies to: [forall_impl ([a , true , <collector>])] or true
55  
    gdash: forall_impl ([a , true , <collector>])
56  
  Goal arity 2: forall_impl ([a , true , <collector>])
57  
     Resetting variable $collector (_28)
58  
     Resetting variable $x (_27)
59  
     Resetting variable $x (_29)
60  
     Resetting variable $x (_30)
61  
     Resetting variable $x (_31)
62  
     Resetting variable $x (_32)
63  
     Resetting variable $c (_35)
64  
     Resetting variable $cond (_34)
65  
     Resetting variable $x (_33)
66  
   Got clause: forall_impl ([_33 , _34 , _35])
67  
     Clause unifies to: forall_impl ([a , true , <collector>])
68  
     gdash: true
69  
   Goal arity 0: true
70  
    Got clause: true
71  
      Clause unifies to: true
72  
      gdash: saveTo ([a , <collector>])
73  
    Goal arity 2: saveTo ([a , <collector>])
74  
       Resetting variable $collector (_37)
75  
       Resetting variable $x (_36)
76  
     Got clause: saveTo ([_36 , _37])
77  
       Clause unifies to: saveTo ([a , <collector>])
78  
      Clause is native.
79  
       gdash: false
80  
     Goal arity 0: false
81  
       Resetting variable ___ (<collector>)
82  
       Resetting variable ___ (a)
83  
       Resetting variable $x (_38)
84  
       Resetting variable $x (_39)
85  
       Resetting variable $x (_40)
86  
       Resetting variable $x (_41)
87  
       Resetting variable $c (_44)
88  
       Resetting variable $cond (_43)
89  
       Resetting variable $x (_42)
90  
       Resetting variable $b (_47)
91  
       Resetting variable $a (_46)
92  
       Resetting variable $c (_45)
93  
       Resetting variable $x (_48)
94  
       Resetting variable $x (_49)
95  
     Resetting variable ___ (<collector>)
96  
     Resetting variable ___ (true)
97  
     Resetting variable ___ (a)
98  
     Resetting variable $b (_52)
99  
     Resetting variable $a (_51)
100  
     Resetting variable $c (_50)
101  
     Resetting variable $x (_53)
102  
     Resetting variable $x (_54)
103  
    Resetting variable ___ (true)
104  
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
105  
    Resetting variable $b (_56)
106  
    Resetting variable $a (_55)
107  
  Got clause: _55 or _56
108  
    Clause unifies to: [forall_impl ([a , true , <collector>])] or true
109  
    gdash: true
110  
  Goal arity 0: true
111  
   Got clause: true
112  
     Clause unifies to: true
113  
     gdash: $l = retrieve (<collector>)
114  
   Goal arity 4: $l = retrieve (<collector>)
115  
      Resetting variable $x (_57)
116  
      Resetting variable ___ ($l)
117  
      Resetting variable $collector (_60)
118  
      Resetting variable $retrieve (_59)
119  
      Resetting variable $x (_58)
120  
    Got clause: _58 = _59 (_60)
121  
      Clause unifies to: $l = retrieve (<collector>)
122  
     Clause is native.
123  
      gdash: -
124  
SUCCESS!
125  
  solution found in step 55```
126  
[done] 4 ms

download  show line numbers   

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: #3000253
Snippet name: Answer for stefanreich (>> log $l = [a | true])
Eternal ID of this version: #3000253/1
Text MD5: 45ef855bb6b5e937535ef4fb559ea71a
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-10 01:11:31
Source code size: 4476 bytes / 126 lines
Pitched / IR pitched: No / No
Views / Downloads: 533 / 127
Referenced in: [show references]