porolog 0.0.7 → 0.0.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (40) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +18 -4
  3. data/bin/porolog +38 -2
  4. data/coverage/badge.svg +1 -1
  5. data/coverage/index.html +52327 -6692
  6. data/doc/Array.html +113 -33
  7. data/doc/Object.html +11 -17
  8. data/doc/Porolog.html +3681 -73
  9. data/doc/Symbol.html +17 -20
  10. data/doc/_index.html +181 -13
  11. data/doc/class_list.html +1 -1
  12. data/doc/file.README.html +28 -38
  13. data/doc/index.html +28 -38
  14. data/doc/method_list.html +871 -167
  15. data/doc/top-level-namespace.html +2 -2
  16. data/lib/porolog.rb +1015 -2
  17. data/lib/porolog/arguments.rb +16 -14
  18. data/lib/porolog/core_ext.rb +6 -0
  19. data/lib/porolog/error.rb +6 -0
  20. data/lib/porolog/goal.rb +205 -68
  21. data/lib/porolog/instantiation.rb +300 -0
  22. data/lib/porolog/predicate.rb +33 -16
  23. data/lib/porolog/rule.rb +129 -2
  24. data/lib/porolog/scope.rb +3 -3
  25. data/lib/porolog/tail.rb +52 -0
  26. data/lib/porolog/value.rb +9 -12
  27. data/lib/porolog/variable.rb +307 -0
  28. data/test/porolog/arguments_test.rb +217 -135
  29. data/test/porolog/core_ext_test.rb +24 -17
  30. data/test/porolog/goal_test.rb +481 -74
  31. data/test/porolog/instantiation_test.rb +874 -0
  32. data/test/porolog/porolog_test.rb +2121 -13
  33. data/test/porolog/predicate_test.rb +1 -1
  34. data/test/porolog/rule_test.rb +395 -0
  35. data/test/porolog/scope_test.rb +0 -2
  36. data/test/porolog/tail_test.rb +127 -0
  37. data/test/porolog/value_test.rb +1 -1
  38. data/test/porolog/variable_test.rb +1625 -0
  39. data/test/test_helper.rb +78 -5
  40. metadata +12 -4
data/doc/index.html CHANGED
@@ -60,38 +60,21 @@
60
60
  <div id="content"><div id='filecontents'>
61
61
  <h1 id="label-porolog">porolog</h1>
62
62
 
63
- <p>&lt;img src=“<a
64
- href="https://repository-images.githubusercontent.com/131847563/b3754100-636a-11e9-995b-20d409b992c9">repository-images.githubusercontent.com/131847563/b3754100-636a-11e9-995b-20d409b992c9</a>”
65
- width=“240” height=“120” align=“right” /&gt;</p>
63
+ <p>&lt;img src=“<a href="https://repository-images.githubusercontent.com/131847563/b3754100-636a-11e9-995b-20d409b992c9">repository-images.githubusercontent.com/131847563/b3754100-636a-11e9-995b-20d409b992c9</a>” width=“240” height=“120” align=“right” /&gt;</p>
66
64
 
67
65
  <p>Plain Old Ruby Objects Prolog (WORK IN PROGRESS)</p>
68
66
 
69
- <p><a href="https://badge.fury.io/rb/porolog"><img
70
- src="https://badge.fury.io/rb/porolog.svg"></a> <a
71
- href="https://travis-ci.com/wizardofosmium/porolog"><img
72
- src="https://travis-ci.com/wizardofosmium/porolog.svg?branch=master"></a>
73
- <img
74
- src="https://img.shields.io/badge/status-work%20in%20progress-orange.svg">
75
- <a href="https://github.com/wizardofosmium/porolog"><img
76
- src="https://github.com/wizardofosmium/porolog/blob/master/coverage/badge.svg"></a></p>
67
+ <p><a href="https://badge.fury.io/rb/porolog"><img src="https://badge.fury.io/rb/porolog.svg"></a> <a href="https://travis-ci.com/wizardofosmium/porolog"><img src="https://travis-ci.com/wizardofosmium/porolog.svg?branch=master"></a> <img src="https://img.shields.io/badge/status-work%20in%20progress-orange.svg"> <a href="https://github.com/wizardofosmium/porolog"><img src="https://github.com/wizardofosmium/porolog/blob/master/coverage/badge.svg"></a></p>
77
68
 
78
69
  <h2 id="label-Introduction">Introduction</h2>
79
70
 
80
- <p><code>porolog</code> is a Prolog implementation using plain old Ruby
81
- objects with the aim that logic queries can be called within a regular Ruby
82
- program. The goal was not to implement a Prolog interpreter that is just
83
- implement in Ruby, but rather that a logic engine could be embedded in a
84
- larger program.</p>
71
+ <p><code>porolog</code> is a Prolog implementation using plain old Ruby objects with the aim that logic queries can be called within a regular Ruby program. The goal was not to implement a Prolog interpreter that is just implement in Ruby, but rather that a logic engine could be embedded in a larger program.</p>
85
72
 
86
- <p>The need that this gem aims to meet is to have a Ruby program interact with
87
- a Prolog program using native Ruby objects (POROs); hence the name Porolog.
88
- The goal was to implement a minimal logic engine in the style of Prolog
89
- where Ruby objects could be passed in and Ruby objects were passed back.</p>
73
+ <p>The need that this gem aims to meet is to have a Ruby program interact with a Prolog program using native Ruby objects (POROs); hence the name Porolog. The goal was to implement a minimal logic engine in the style of Prolog where Ruby objects could be passed in and Ruby objects were passed back.</p>
90
74
 
91
75
  <h2 id="label-Dependencies">Dependencies</h2>
92
76
 
93
- <p>The aim of <code>porolog</code> is to provide a logic engine with a minimal
94
- footprint. The only extra dependency is Yard for documentation.</p>
77
+ <p>The aim of <code>porolog</code> is to provide a logic engine with a minimal footprint. The only extra dependency is Yard for documentation.</p>
95
78
 
96
79
  <h2 id="label-Installation">Installation</h2>
97
80
 
@@ -109,13 +92,11 @@ footprint. The only extra dependency is Yard for documentation.
109
92
  <p>solving goals</p>
110
93
  </li></ul>
111
94
 
112
- <p>It is entirely possible to create a Ruby program that is effectively just a
113
- Prolog program.</p>
95
+ <p>It is entirely possible to create a Ruby program that is effectively just a Prolog program.</p>
114
96
 
115
97
  <h3 id="label-Basic+Usage">Basic Usage</h3>
116
98
 
117
- <p>Using <code>porolog</code> involves creating logic from facts and rules. An
118
- example, of the most basic usage uses just facts.</p>
99
+ <p>Using <code>porolog</code> involves creating logic from facts and rules. An example, of the most basic usage uses just facts.</p>
119
100
 
120
101
  <pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_require'>require</span> <span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>porolog</span><span class='tstring_end'>&#39;</span></span>
121
102
 
@@ -135,15 +116,15 @@ example, of the most basic usage uses just facts.
135
116
 
136
117
  <h3 id="label-Common+Usage">Common Usage</h3>
137
118
 
138
- <p>Common usage is expected to be including Porolog in a class and
139
- encapsulating the engine defined.</p>
119
+ <p>Common usage is expected to be including Porolog in a class and encapsulating the engine defined.</p>
140
120
 
141
121
  <pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_require'>require</span> <span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>porolog</span><span class='tstring_end'>&#39;</span></span>
142
122
 
143
- <span class='kw'>class</span> <span class='const'>Numbers</span>
123
+ <span class='id identifier rubyid_include'>include</span> <span class='const'><span class='object_link'><a href="Porolog.html" title="Porolog (module)">Porolog</a></span></span>
144
124
 
145
- <span class='id identifier rubyid_include'>include</span> <span class='const'><span class='object_link'><a href="Porolog.html" title="Porolog (module)">Porolog</a></span></span>
125
+ <span class='kw'>class</span> <span class='const'>Numbers</span>
146
126
 
127
+ <span class='const'>Predicate</span><span class='period'>.</span><span class='id identifier rubyid_scope'>scope</span> <span class='kw'>self</span>
147
128
  <span class='id identifier rubyid_predicate'>predicate</span> <span class='symbol'>:prime</span>
148
129
 
149
130
  <span class='id identifier rubyid_prime'>prime</span><span class='lparen'>(</span><span class='int'>2</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_fact!'>fact!</span>
@@ -164,16 +145,18 @@ encapsulating the engine defined.
164
145
  <span class='kw'>end</span>
165
146
 
166
147
  <span class='kw'>end</span>
148
+
149
+
150
+ <span class='id identifier rubyid_numbers'>numbers</span> <span class='op'>=</span> <span class='const'>Numbers</span><span class='period'>.</span><span class='id identifier rubyid_new'>new</span>
151
+ <span class='id identifier rubyid_numbers'>numbers</span><span class='period'>.</span><span class='id identifier rubyid_show_primes'>show_primes</span>
152
+ <span class='id identifier rubyid_puts'>puts</span> <span class='id identifier rubyid_numbers'>numbers</span><span class='period'>.</span><span class='id identifier rubyid_primes'>primes</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span>
167
153
  </code></pre>
168
154
 
169
155
  <h3 id="label-Scope+and+Predicate+Usage">Scope and Predicate Usage</h3>
170
156
 
171
- <p>A Predicate represents a Prolog predicate. They form the basis for rules
172
- and queries.</p>
157
+ <p>A Predicate represents a Prolog predicate. They form the basis for rules and queries.</p>
173
158
 
174
- <p>The Scope class enables you to have multiple logic programs embedded in the
175
- same Ruby program. A Scope object defines a scope for the predicates of a
176
- logic programme.</p>
159
+ <p>The Scope class enables you to have multiple logic programs embedded in the same Ruby program. A Scope object defines a scope for the predicates of a logic programme.</p>
177
160
 
178
161
  <pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_require'>require</span> <span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>porolog</span><span class='tstring_end'>&#39;</span></span>
179
162
 
@@ -229,10 +212,17 @@ logic programme.
229
212
 
230
213
  <p>or</p>
231
214
 
232
- <pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_scope_test'>scope_test</span>
215
+ <pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_core_ext_test'>core_ext_test</span>
216
+ <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_porolog_test'>porolog_test</span>
217
+ <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_scope_test'>scope_test</span>
233
218
  <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_predicate_test'>predicate_test</span>
234
219
  <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_arguments_test'>arguments_test</span>
235
220
  <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_rule_test'>rule_test</span>
221
+ <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_goal_test'>goal_test</span>
222
+ <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_variable_test'>variable_test</span>
223
+ <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_value_test'>value_test</span>
224
+ <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_tail_test'>tail_test</span>
225
+ <span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_instantiation_test'>instantiation_test</span>
236
226
  </code></pre>
237
227
 
238
228
  <h2 id="label-Author">Author</h2>
@@ -241,9 +231,9 @@ logic programme.
241
231
  </div></div>
242
232
 
243
233
  <div id="footer">
244
- Generated on Tue Jun 18 08:28:54 2019 by
234
+ Generated on Mon Jul 6 22:54:45 2020 by
245
235
  <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
246
- 0.9.19 (ruby-2.3.4).
236
+ 0.9.19 (ruby-2.6.5).
247
237
  </div>
248
238
 
249
239
  </div>
data/doc/method_list.html CHANGED
@@ -76,6 +76,14 @@
76
76
  </li>
77
77
 
78
78
 
79
+ <li class="odd ">
80
+ <div class="item">
81
+ <span class='object_link'><a href="Porolog/Arguments.html#<<-instance_method" title="Porolog::Arguments#&lt;&lt; (method)">#&lt;&lt;</a></span>
82
+ <small>Porolog::Arguments</small>
83
+ </div>
84
+ </li>
85
+
86
+
79
87
  <li class="odd ">
80
88
  <div class="item">
81
89
  <span class='object_link'><a href="Porolog/Value.html#==-instance_method" title="Porolog::Value#== (method)">#==</a></span>
@@ -86,16 +94,32 @@
86
94
 
87
95
  <li class="even ">
88
96
  <div class="item">
89
- <span class='object_link'><a href="Porolog/Arguments.html#==-instance_method" title="Porolog::Arguments#== (method)">#==</a></span>
90
- <small>Porolog::Arguments</small>
97
+ <span class='object_link'><a href="Porolog/Value.html#==-instance_method" title="Porolog::Value#== (method)">#==</a></span>
98
+ <small>Porolog::Value</small>
91
99
  </div>
92
100
  </li>
93
101
 
94
102
 
95
103
  <li class="odd ">
96
104
  <div class="item">
97
- <span class='object_link'><a href="Porolog/Scope.html#[]-class_method" title="Porolog::Scope.[] (method)">[]</a></span>
98
- <small>Porolog::Scope</small>
105
+ <span class='object_link'><a href="Porolog/Variable.html#==-instance_method" title="Porolog::Variable#== (method)">#==</a></span>
106
+ <small>Porolog::Variable</small>
107
+ </div>
108
+ </li>
109
+
110
+
111
+ <li class="even ">
112
+ <div class="item">
113
+ <span class='object_link'><a href="Porolog/Tail.html#==-instance_method" title="Porolog::Tail#== (method)">#==</a></span>
114
+ <small>Porolog::Tail</small>
115
+ </div>
116
+ </li>
117
+
118
+
119
+ <li class="odd ">
120
+ <div class="item">
121
+ <span class='object_link'><a href="Porolog/Variable.html#[]-instance_method" title="Porolog::Variable#[] (method)">#[]</a></span>
122
+ <small>Porolog::Variable</small>
99
123
  </div>
100
124
  </li>
101
125
 
@@ -108,6 +132,22 @@
108
132
  </li>
109
133
 
110
134
 
135
+ <li class="odd ">
136
+ <div class="item">
137
+ <span class='object_link'><a href="Porolog/Predicate.html#[]-class_method" title="Porolog::Predicate.[] (method)">[]</a></span>
138
+ <small>Porolog::Predicate</small>
139
+ </div>
140
+ </li>
141
+
142
+
143
+ <li class="even ">
144
+ <div class="item">
145
+ <span class='object_link'><a href="Porolog/Scope.html#[]-class_method" title="Porolog::Scope.[] (method)">[]</a></span>
146
+ <small>Porolog::Scope</small>
147
+ </div>
148
+ </li>
149
+
150
+
111
151
  <li class="odd ">
112
152
  <div class="item">
113
153
  <span class='object_link'><a href="Porolog/Scope.html#[]-instance_method" title="Porolog::Scope#[] (method)">#[]</a></span>
@@ -118,151 +158,815 @@
118
158
 
119
159
  <li class="even ">
120
160
  <div class="item">
121
- <span class='object_link'><a href="Porolog/Scope.html#[]=-instance_method" title="Porolog::Scope#[]= (method)">#[]=</a></span>
122
- <small>Porolog::Scope</small>
161
+ <span class='object_link'><a href="Porolog/Goal.html#ancestors-instance_method" title="Porolog::Goal#ancestors (method)">#ancestors</a></span>
162
+ <small>Porolog::Goal</small>
163
+ </div>
164
+ </li>
165
+
166
+
167
+ <li class="odd ">
168
+ <div class="item">
169
+ <span class='object_link'><a href="Porolog/Goal.html#ancestry-instance_method" title="Porolog::Goal#ancestry (method)">#ancestry</a></span>
170
+ <small>Porolog::Goal</small>
171
+ </div>
172
+ </li>
173
+
174
+
175
+ <li class="even ">
176
+ <div class="item">
177
+ <span class='object_link'><a href="Porolog/Goal.html#arguments-instance_method" title="Porolog::Goal#arguments (method)">#arguments</a></span>
178
+ <small>Porolog::Goal</small>
179
+ </div>
180
+ </li>
181
+
182
+
183
+ <li class="odd ">
184
+ <div class="item">
185
+ <span class='object_link'><a href="Porolog/Predicate.html#arguments-instance_method" title="Porolog::Predicate#arguments (method)">#arguments</a></span>
186
+ <small>Porolog::Predicate</small>
187
+ </div>
188
+ </li>
189
+
190
+
191
+ <li class="even ">
192
+ <div class="item">
193
+ <span class='object_link'><a href="Porolog/Goal.html#arguments-instance_method" title="Porolog::Goal#arguments (method)">#arguments</a></span>
194
+ <small>Porolog::Goal</small>
195
+ </div>
196
+ </li>
197
+
198
+
199
+ <li class="odd ">
200
+ <div class="item">
201
+ <span class='object_link'><a href="Porolog/Arguments.html#arguments-class_method" title="Porolog::Arguments.arguments (method)">arguments</a></span>
202
+ <small>Porolog::Arguments</small>
203
+ </div>
204
+ </li>
205
+
206
+
207
+ <li class="even ">
208
+ <div class="item">
209
+ <span class='object_link'><a href="Porolog/Arguments.html#arguments-instance_method" title="Porolog::Arguments#arguments (method)">#arguments</a></span>
210
+ <small>Porolog::Arguments</small>
211
+ </div>
212
+ </li>
213
+
214
+
215
+ <li class="odd ">
216
+ <div class="item">
217
+ <span class='object_link'><a href="Porolog/Instantiation.html#belongs_to%3F-instance_method" title="Porolog::Instantiation#belongs_to? (method)">#belongs_to?</a></span>
218
+ <small>Porolog::Instantiation</small>
219
+ </div>
220
+ </li>
221
+
222
+
223
+ <li class="even ">
224
+ <div class="item">
225
+ <span class='object_link'><a href="Porolog/Predicate.html#builtin-class_method" title="Porolog::Predicate.builtin (method)">builtin</a></span>
226
+ <small>Porolog::Predicate</small>
227
+ </div>
228
+ </li>
229
+
230
+
231
+ <li class="odd ">
232
+ <div class="item">
233
+ <span class='object_link'><a href="Porolog/Predicate.html#call-instance_method" title="Porolog::Predicate#call (method)">#call</a></span>
234
+ <small>Porolog::Predicate</small>
235
+ </div>
236
+ </li>
237
+
238
+
239
+ <li class="even ">
240
+ <div class="item">
241
+ <span class='object_link'><a href="Porolog/Goal.html#calling_goal-instance_method" title="Porolog::Goal#calling_goal (method)">#calling_goal</a></span>
242
+ <small>Porolog::Goal</small>
243
+ </div>
244
+ </li>
245
+
246
+
247
+ <li class="odd ">
248
+ <div class="item">
249
+ <span class='object_link'><a href="Porolog/Goal.html#check_deleted-instance_method" title="Porolog::Goal#check_deleted (method)">#check_deleted</a></span>
250
+ <small>Porolog::Goal</small>
251
+ </div>
252
+ </li>
253
+
254
+
255
+ <li class="even ">
256
+ <div class="item">
257
+ <span class='object_link'><a href="Porolog/Arguments.html#cut_fact!-instance_method" title="Porolog::Arguments#cut_fact! (method)">#cut_fact!</a></span>
258
+ <small>Porolog::Arguments</small>
259
+ </div>
260
+ </li>
261
+
262
+
263
+ <li class="odd ">
264
+ <div class="item">
265
+ <span class='object_link'><a href="Porolog/Arguments.html#cut_falicy!-instance_method" title="Porolog::Arguments#cut_falicy! (method)">#cut_falicy!</a></span>
266
+ <small>Porolog::Arguments</small>
267
+ </div>
268
+ </li>
269
+
270
+
271
+ <li class="even ">
272
+ <div class="item">
273
+ <span class='object_link'><a href="Porolog/Rule.html#definition-instance_method" title="Porolog::Rule#definition (method)">#definition</a></span>
274
+ <small>Porolog::Rule</small>
275
+ </div>
276
+ </li>
277
+
278
+
279
+ <li class="odd ">
280
+ <div class="item">
281
+ <span class='object_link'><a href="Porolog/Goal.html#delete!-instance_method" title="Porolog::Goal#delete! (method)">#delete!</a></span>
282
+ <small>Porolog::Goal</small>
283
+ </div>
284
+ </li>
285
+
286
+
287
+ <li class="even ">
288
+ <div class="item">
289
+ <span class='object_link'><a href="Porolog/Instantiation.html#deleted%3F-instance_method" title="Porolog::Instantiation#deleted? (method)">#deleted?</a></span>
290
+ <small>Porolog::Instantiation</small>
291
+ </div>
292
+ </li>
293
+
294
+
295
+ <li class="odd ">
296
+ <div class="item">
297
+ <span class='object_link'><a href="Porolog/Goal.html#deleted%3F-instance_method" title="Porolog::Goal#deleted? (method)">#deleted?</a></span>
298
+ <small>Porolog::Goal</small>
299
+ </div>
300
+ </li>
301
+
302
+
303
+ <li class="even ">
304
+ <div class="item">
305
+ <span class='object_link'><a href="Porolog/Goal.html#description-instance_method" title="Porolog::Goal#description (method)">#description</a></span>
306
+ <small>Porolog::Goal</small>
307
+ </div>
308
+ </li>
309
+
310
+
311
+ <li class="odd ">
312
+ <div class="item">
313
+ <span class='object_link'><a href="Porolog/Arguments.html#dup-instance_method" title="Porolog::Arguments#dup (method)">#dup</a></span>
314
+ <small>Porolog::Arguments</small>
315
+ </div>
316
+ </li>
317
+
318
+
319
+ <li class="odd ">
320
+ <div class="item">
321
+ <span class='object_link'><a href="Porolog/Arguments.html#evaluates-instance_method" title="Porolog::Arguments#evaluates (method)">#evaluates</a></span>
322
+ <small>Porolog::Arguments</small>
323
+ </div>
324
+ </li>
325
+
326
+
327
+ <li class="even ">
328
+ <div class="item">
329
+ <span class='object_link'><a href="Porolog.html#expand_splat-instance_method" title="Porolog#expand_splat (method)">#expand_splat</a></span>
330
+ <small>Porolog</small>
331
+ </div>
332
+ </li>
333
+
334
+
335
+ <li class="even ">
336
+ <div class="item">
337
+ <span class='object_link'><a href="Porolog/Arguments.html#fact!-instance_method" title="Porolog::Arguments#fact! (method)">#fact!</a></span>
338
+ <small>Porolog::Arguments</small>
339
+ </div>
340
+ </li>
341
+
342
+
343
+ <li class="odd ">
344
+ <div class="item">
345
+ <span class='object_link'><a href="Porolog/Arguments.html#falicy!-instance_method" title="Porolog::Arguments#falicy! (method)">#falicy!</a></span>
346
+ <small>Porolog::Arguments</small>
347
+ </div>
348
+ </li>
349
+
350
+
351
+ <li class="even ">
352
+ <div class="item">
353
+ <span class='object_link'><a href="Porolog/Variable.html#goal-instance_method" title="Porolog::Variable#goal (method)">#goal</a></span>
354
+ <small>Porolog::Variable</small>
355
+ </div>
356
+ </li>
357
+
358
+
359
+ <li class="odd ">
360
+ <div class="item">
361
+ <span class='object_link'><a href="Array.html#goal-instance_method" title="Array#goal (method)">#goal</a></span>
362
+ <small>Array</small>
363
+ </div>
364
+ </li>
365
+
366
+
367
+ <li class="even ">
368
+ <div class="item">
369
+ <span class='object_link'><a href="Porolog/Value.html#goal-instance_method" title="Porolog::Value#goal (method)">#goal</a></span>
370
+ <small>Porolog::Value</small>
371
+ </div>
372
+ </li>
373
+
374
+
375
+ <li class="odd ">
376
+ <div class="item">
377
+ <span class='object_link'><a href="Porolog/Arguments.html#goal-instance_method" title="Porolog::Arguments#goal (method)">#goal</a></span>
378
+ <small>Porolog::Arguments</small>
379
+ </div>
380
+ </li>
381
+
382
+
383
+ <li class="even ">
384
+ <div class="item">
385
+ <span class='object_link'><a href="Porolog/Instantiation.html#goals-instance_method" title="Porolog::Instantiation#goals (method)">#goals</a></span>
386
+ <small>Porolog::Instantiation</small>
387
+ </div>
388
+ </li>
389
+
390
+
391
+ <li class="odd ">
392
+ <div class="item">
393
+ <span class='object_link'><a href="Porolog/Goal.html#goals-class_method" title="Porolog::Goal.goals (method)">goals</a></span>
394
+ <small>Porolog::Goal</small>
395
+ </div>
396
+ </li>
397
+
398
+
399
+ <li class="odd ">
400
+ <div class="item">
401
+ <span class='object_link'><a href="Porolog.html#has_tail%3F-instance_method" title="Porolog#has_tail? (method)">#has_tail?</a></span>
402
+ <small>Porolog</small>
403
+ </div>
404
+ </li>
405
+
406
+
407
+ <li class="even ">
408
+ <div class="item">
409
+ <span class='object_link'><a href="Porolog/Rule.html#initialize-instance_method" title="Porolog::Rule#initialize (method)">#initialize</a></span>
410
+ <small>Porolog::Rule</small>
411
+ </div>
412
+ </li>
413
+
414
+
415
+ <li class="odd ">
416
+ <div class="item">
417
+ <span class='object_link'><a href="Array.html#head-instance_method" title="Array#head (method)">#head</a></span>
418
+ <small>Array</small>
419
+ </div>
420
+ </li>
421
+
422
+
423
+ <li class="odd ">
424
+ <div class="item">
425
+ <span class='object_link'><a href="Porolog/Goal.html#initialize-instance_method" title="Porolog::Goal#initialize (method)">#initialize</a></span>
426
+ <small>Porolog::Goal</small>
427
+ </div>
428
+ </li>
429
+
430
+
431
+ <li class="even ">
432
+ <div class="item">
433
+ <span class='object_link'><a href="Object.html#headtail%3F-instance_method" title="Object#headtail? (method)">#headtail?</a></span>
434
+ <small>Object</small>
435
+ </div>
436
+ </li>
437
+
438
+
439
+ <li class="odd ">
440
+ <div class="item">
441
+ <span class='object_link'><a href="Array.html#headtail%3F-instance_method" title="Array#headtail? (method)">#headtail?</a></span>
442
+ <small>Array</small>
443
+ </div>
444
+ </li>
445
+
446
+
447
+ <li class="even ">
448
+ <div class="item">
449
+ <span class='object_link'><a href="Porolog/Goal.html#index-instance_method" title="Porolog::Goal#index (method)">#index</a></span>
450
+ <small>Porolog::Goal</small>
451
+ </div>
452
+ </li>
453
+
454
+
455
+ <li class="odd ">
456
+ <div class="item">
457
+ <span class='object_link'><a href="Porolog/Instantiation.html#index1-instance_method" title="Porolog::Instantiation#index1 (method)">#index1</a></span>
458
+ <small>Porolog::Instantiation</small>
459
+ </div>
460
+ </li>
461
+
462
+
463
+ <li class="even ">
464
+ <div class="item">
465
+ <span class='object_link'><a href="Porolog/Instantiation.html#index2-instance_method" title="Porolog::Instantiation#index2 (method)">#index2</a></span>
466
+ <small>Porolog::Instantiation</small>
467
+ </div>
468
+ </li>
469
+
470
+
471
+ <li class="odd ">
472
+ <div class="item">
473
+ <span class='object_link'><a href="Porolog/Predicate.html#initialize-instance_method" title="Porolog::Predicate#initialize (method)">#initialize</a></span>
474
+ <small>Porolog::Predicate</small>
475
+ </div>
476
+ </li>
477
+
478
+
479
+ <li class="even ">
480
+ <div class="item">
481
+ <span class='object_link'><a href="Porolog/Scope.html#initialize-instance_method" title="Porolog::Scope#initialize (method)">#initialize</a></span>
482
+ <small>Porolog::Scope</small>
483
+ </div>
484
+ </li>
485
+
486
+
487
+ <li class="odd ">
488
+ <div class="item">
489
+ <span class='object_link'><a href="Porolog/Instantiation.html#initialize-instance_method" title="Porolog::Instantiation#initialize (method)">#initialize</a></span>
490
+ <small>Porolog::Instantiation</small>
491
+ </div>
492
+ </li>
493
+
494
+
495
+ <li class="even ">
496
+ <div class="item">
497
+ <span class='object_link'><a href="Porolog/Value.html#initialize-instance_method" title="Porolog::Value#initialize (method)">#initialize</a></span>
498
+ <small>Porolog::Value</small>
499
+ </div>
500
+ </li>
501
+
502
+
503
+ <li class="odd ">
504
+ <div class="item">
505
+ <span class='object_link'><a href="Porolog/Goal.html#initialize-instance_method" title="Porolog::Goal#initialize (method)">#initialize</a></span>
506
+ <small>Porolog::Goal</small>
507
+ </div>
508
+ </li>
509
+
510
+
511
+ <li class="odd ">
512
+ <div class="item">
513
+ <span class='object_link'><a href="Porolog/Rule.html#myid-instance_method" title="Porolog::Rule#myid (method)">#myid</a></span>
514
+ <small>Porolog::Rule</small>
515
+ </div>
516
+ </li>
517
+
518
+
519
+ <li class="even ">
520
+ <div class="item">
521
+ <span class='object_link'><a href="Porolog/Arguments.html#initialize-instance_method" title="Porolog::Arguments#initialize (method)">#initialize</a></span>
522
+ <small>Porolog::Arguments</small>
523
+ </div>
524
+ </li>
525
+
526
+
527
+ <li class="even ">
528
+ <div class="item">
529
+ <span class='object_link'><a href="Porolog/Rule.html#initialize-instance_method" title="Porolog::Rule#initialize (method)">#initialize</a></span>
530
+ <small>Porolog::Rule</small>
531
+ </div>
532
+ </li>
533
+
534
+
535
+ <li class="odd ">
536
+ <div class="item">
537
+ <span class='object_link'><a href="Porolog/Scope.html#new-class_method" title="Porolog::Scope.new (method)">new</a></span>
538
+ <small>Porolog::Scope</small>
539
+ </div>
540
+ </li>
541
+
542
+
543
+ <li class="even ">
544
+ <div class="item">
545
+ <span class='object_link'><a href="Porolog/Variable.html#initialize-instance_method" title="Porolog::Variable#initialize (method)">#initialize</a></span>
546
+ <small>Porolog::Variable</small>
547
+ </div>
548
+ </li>
549
+
550
+
551
+ <li class="odd ">
552
+ <div class="item">
553
+ <span class='object_link'><a href="Porolog/Tail.html#initialize-instance_method" title="Porolog::Tail#initialize (method)">#initialize</a></span>
554
+ <small>Porolog::Tail</small>
555
+ </div>
556
+ </li>
557
+
558
+
559
+ <li class="even ">
560
+ <div class="item">
561
+ <span class='object_link'><a href="Porolog/Instantiation.html#inspect-instance_method" title="Porolog::Instantiation#inspect (method)">#inspect</a></span>
562
+ <small>Porolog::Instantiation</small>
563
+ </div>
564
+ </li>
565
+
566
+
567
+ <li class="odd ">
568
+ <div class="item">
569
+ <span class='object_link'><a href="Porolog/Arguments.html#inspect-instance_method" title="Porolog::Arguments#inspect (method)">#inspect</a></span>
570
+ <small>Porolog::Arguments</small>
571
+ </div>
572
+ </li>
573
+
574
+
575
+ <li class="even ">
576
+ <div class="item">
577
+ <span class='object_link'><a href="Porolog/Rule.html#inspect-instance_method" title="Porolog::Rule#inspect (method)">#inspect</a></span>
578
+ <small>Porolog::Rule</small>
579
+ </div>
580
+ </li>
581
+
582
+
583
+ <li class="even ">
584
+ <div class="item">
585
+ <span class='object_link'><a href="Porolog/Arguments.html#reset-class_method" title="Porolog::Arguments.reset (method)">reset</a></span>
586
+ <small>Porolog::Arguments</small>
587
+ </div>
588
+ </li>
589
+
590
+
591
+ <li class="odd ">
592
+ <div class="item">
593
+ <span class='object_link'><a href="Porolog/Goal.html#inspect-instance_method" title="Porolog::Goal#inspect (method)">#inspect</a></span>
594
+ <small>Porolog::Goal</small>
595
+ </div>
596
+ </li>
597
+
598
+
599
+ <li class="even ">
600
+ <div class="item">
601
+ <span class='object_link'><a href="Object/new.html#inspect-class_method" title="Object.new.inspect (method)">inspect</a></span>
602
+ <small>Object.new</small>
603
+ </div>
604
+ </li>
605
+
606
+
607
+ <li class="odd ">
608
+ <div class="item">
609
+ <span class='object_link'><a href="Porolog/Value.html#inspect-instance_method" title="Porolog::Value#inspect (method)">#inspect</a></span>
610
+ <small>Porolog::Value</small>
611
+ </div>
612
+ </li>
613
+
614
+
615
+ <li class="even ">
616
+ <div class="item">
617
+ <span class='object_link'><a href="Porolog/Predicate.html#inspect-instance_method" title="Porolog::Predicate#inspect (method)">#inspect</a></span>
618
+ <small>Porolog::Predicate</small>
619
+ </div>
620
+ </li>
621
+
622
+
623
+ <li class="odd ">
624
+ <div class="item">
625
+ <span class='object_link'><a href="Porolog/Tail.html#inspect-instance_method" title="Porolog::Tail#inspect (method)">#inspect</a></span>
626
+ <small>Porolog::Tail</small>
627
+ </div>
628
+ </li>
629
+
630
+
631
+ <li class="even ">
632
+ <div class="item">
633
+ <span class='object_link'><a href="Porolog/Variable.html#inspect-instance_method" title="Porolog::Variable#inspect (method)">#inspect</a></span>
634
+ <small>Porolog::Variable</small>
635
+ </div>
636
+ </li>
637
+
638
+
639
+ <li class="odd ">
640
+ <div class="item">
641
+ <span class='object_link'><a href="Porolog/Goal.html#inspect_variables-instance_method" title="Porolog::Goal#inspect_variables (method)">#inspect_variables</a></span>
642
+ <small>Porolog::Goal</small>
643
+ </div>
644
+ </li>
645
+
646
+
647
+ <li class="even ">
648
+ <div class="item">
649
+ <span class='object_link'><a href="Porolog/Value.html#inspect_with_instantiations-instance_method" title="Porolog::Value#inspect_with_instantiations (method)">#inspect_with_instantiations</a></span>
650
+ <small>Porolog::Value</small>
651
+ </div>
652
+ </li>
653
+
654
+
655
+ <li class="odd ">
656
+ <div class="item">
657
+ <span class='object_link'><a href="Porolog/Variable.html#inspect_with_instantiations-instance_method" title="Porolog::Variable#inspect_with_instantiations (method)">#inspect_with_instantiations</a></span>
658
+ <small>Porolog::Variable</small>
659
+ </div>
660
+ </li>
661
+
662
+
663
+ <li class="even ">
664
+ <div class="item">
665
+ <span class='object_link'><a href="Porolog/Goal.html#instantiate-instance_method" title="Porolog::Goal#instantiate (method)">#instantiate</a></span>
666
+ <small>Porolog::Goal</small>
667
+ </div>
668
+ </li>
669
+
670
+
671
+ <li class="odd ">
672
+ <div class="item">
673
+ <span class='object_link'><a href="Porolog/Variable.html#instantiate-instance_method" title="Porolog::Variable#instantiate (method)">#instantiate</a></span>
674
+ <small>Porolog::Variable</small>
675
+ </div>
676
+ </li>
677
+
678
+
679
+ <li class="even ">
680
+ <div class="item">
681
+ <span class='object_link'><a href="Porolog.html#instantiate_unifications-instance_method" title="Porolog#instantiate_unifications (method)">#instantiate_unifications</a></span>
682
+ <small>Porolog</small>
683
+ </div>
684
+ </li>
685
+
686
+
687
+ <li class="odd ">
688
+ <div class="item">
689
+ <span class='object_link'><a href="Porolog/Variable.html#instantiations-instance_method" title="Porolog::Variable#instantiations (method)">#instantiations</a></span>
690
+ <small>Porolog::Variable</small>
691
+ </div>
692
+ </li>
693
+
694
+
695
+ <li class="even ">
696
+ <div class="item">
697
+ <span class='object_link'><a href="Porolog/Value.html#instantiations-instance_method" title="Porolog::Value#instantiations (method)">#instantiations</a></span>
698
+ <small>Porolog::Value</small>
699
+ </div>
700
+ </li>
701
+
702
+
703
+ <li class="odd ">
704
+ <div class="item">
705
+ <span class='object_link'><a href="Porolog/Instantiation.html#instantiations-class_method" title="Porolog::Instantiation.instantiations (method)">instantiations</a></span>
706
+ <small>Porolog::Instantiation</small>
707
+ </div>
708
+ </li>
709
+
710
+
711
+ <li class="odd ">
712
+ <div class="item">
713
+ <span class='object_link'><a href="Porolog/Value.html#type-instance_method" title="Porolog::Value#type (method)">#type</a></span>
714
+ <small>Porolog::Value</small>
715
+ </div>
716
+ </li>
717
+
718
+
719
+ <li class="even ">
720
+ <div class="item">
721
+ <span class='object_link'><a href="Symbol.html#type-instance_method" title="Symbol#type (method)">#type</a></span>
722
+ <small>Symbol</small>
723
+ </div>
724
+ </li>
725
+
726
+
727
+ <li class="odd ">
728
+ <div class="item">
729
+ <span class='object_link'><a href="Object.html#type-instance_method" title="Object#type (method)">#type</a></span>
730
+ <small>Object</small>
731
+ </div>
732
+ </li>
733
+
734
+
735
+ <li class="even ">
736
+ <div class="item">
737
+ <span class='object_link'><a href="Porolog/Goal.html#log-instance_method" title="Porolog::Goal#log (method)">#log</a></span>
738
+ <small>Porolog::Goal</small>
739
+ </div>
740
+ </li>
741
+
742
+
743
+ <li class="even ">
744
+ <div class="item">
745
+ <span class='object_link'><a href="Array.html#value-instance_method" title="Array#value (method)">#value</a></span>
746
+ <small>Array</small>
747
+ </div>
748
+ </li>
749
+
750
+
751
+ <li class="odd ">
752
+ <div class="item">
753
+ <span class='object_link'><a href="Object.html#value-instance_method" title="Object#value (method)">#value</a></span>
754
+ <small>Object</small>
755
+ </div>
756
+ </li>
757
+
758
+
759
+ <li class="even ">
760
+ <div class="item">
761
+ <span class='object_link'><a href="Porolog/Value.html#value-instance_method" title="Porolog::Value#value (method)">#value</a></span>
762
+ <small>Porolog::Value</small>
763
+ </div>
764
+ </li>
765
+
766
+
767
+ <li class="odd ">
768
+ <div class="item">
769
+ <span class='object_link'><a href="Porolog/Value.html#method_missing-instance_method" title="Porolog::Value#method_missing (method)">#method_missing</a></span>
770
+ <small>Porolog::Value</small>
771
+ </div>
772
+ </li>
773
+
774
+
775
+ <li class="even ">
776
+ <div class="item">
777
+ <span class='object_link'><a href="Porolog/Rule.html#myid-instance_method" title="Porolog::Rule#myid (method)">#myid</a></span>
778
+ <small>Porolog::Rule</small>
779
+ </div>
780
+ </li>
781
+
782
+
783
+ <li class="odd ">
784
+ <div class="item">
785
+ <span class='object_link'><a href="Symbol.html#myid-instance_method" title="Symbol#myid (method)">#myid</a></span>
786
+ <small>Symbol</small>
787
+ </div>
788
+ </li>
789
+
790
+
791
+ <li class="even ">
792
+ <div class="item">
793
+ <span class='object_link'><a href="Porolog/Arguments.html#myid-instance_method" title="Porolog::Arguments#myid (method)">#myid</a></span>
794
+ <small>Porolog::Arguments</small>
795
+ </div>
796
+ </li>
797
+
798
+
799
+ <li class="odd ">
800
+ <div class="item">
801
+ <span class='object_link'><a href="Object.html#myid-instance_method" title="Object#myid (method)">#myid</a></span>
802
+ <small>Object</small>
803
+ </div>
804
+ </li>
805
+
806
+
807
+ <li class="even ">
808
+ <div class="item">
809
+ <span class='object_link'><a href="Porolog/Goal.html#myid-instance_method" title="Porolog::Goal#myid (method)">#myid</a></span>
810
+ <small>Porolog::Goal</small>
811
+ </div>
812
+ </li>
813
+
814
+
815
+ <li class="odd ">
816
+ <div class="item">
817
+ <span class='object_link'><a href="Porolog/Predicate.html#name-instance_method" title="Porolog::Predicate#name (method)">#name</a></span>
818
+ <small>Porolog::Predicate</small>
819
+ </div>
820
+ </li>
821
+
822
+
823
+ <li class="even ">
824
+ <div class="item">
825
+ <span class='object_link'><a href="Porolog/Variable.html#name-instance_method" title="Porolog::Variable#name (method)">#name</a></span>
826
+ <small>Porolog::Variable</small>
123
827
  </div>
124
828
  </li>
125
829
 
126
830
 
127
831
  <li class="odd ">
128
832
  <div class="item">
129
- <span class='object_link'><a href="Porolog/Predicate.html#arguments-instance_method" title="Porolog::Predicate#arguments (method)">#arguments</a></span>
130
- <small>Porolog::Predicate</small>
833
+ <span class='object_link'><a href="Porolog/Scope.html#name-instance_method" title="Porolog::Scope#name (method)">#name</a></span>
834
+ <small>Porolog::Scope</small>
131
835
  </div>
132
836
  </li>
133
837
 
134
838
 
135
839
  <li class="even ">
136
840
  <div class="item">
137
- <span class='object_link'><a href="Porolog/Goal.html#arguments-instance_method" title="Porolog::Goal#arguments (method)">#arguments</a></span>
138
- <small>Porolog::Goal</small>
841
+ <span class='object_link'><a href="Porolog/Predicate.html#new-class_method" title="Porolog::Predicate.new (method)">new</a></span>
842
+ <small>Porolog::Predicate</small>
139
843
  </div>
140
844
  </li>
141
845
 
142
846
 
143
847
  <li class="odd ">
144
848
  <div class="item">
145
- <span class='object_link'><a href="Porolog/Arguments.html#arguments-instance_method" title="Porolog::Arguments#arguments (method)">#arguments</a></span>
146
- <small>Porolog::Arguments</small>
849
+ <span class='object_link'><a href="Porolog/Scope.html#new-class_method" title="Porolog::Scope.new (method)">new</a></span>
850
+ <small>Porolog::Scope</small>
147
851
  </div>
148
852
  </li>
149
853
 
150
854
 
151
855
  <li class="even ">
152
856
  <div class="item">
153
- <span class='object_link'><a href="Porolog/Arguments.html#arguments-class_method" title="Porolog::Arguments.arguments (method)">arguments</a></span>
154
- <small>Porolog::Arguments</small>
857
+ <span class='object_link'><a href="Porolog/Instantiation.html#new-class_method" title="Porolog::Instantiation.new (method)">new</a></span>
858
+ <small>Porolog::Instantiation</small>
155
859
  </div>
156
860
  </li>
157
861
 
158
862
 
159
863
  <li class="odd ">
160
864
  <div class="item">
161
- <span class='object_link'><a href="Porolog/Rule.html#arguments-instance_method" title="Porolog::Rule#arguments (method)">#arguments</a></span>
162
- <small>Porolog::Rule</small>
865
+ <span class='object_link'><a href="Porolog/Instantiation.html#other_goal_to-instance_method" title="Porolog::Instantiation#other_goal_to (method)">#other_goal_to</a></span>
866
+ <small>Porolog::Instantiation</small>
163
867
  </div>
164
868
  </li>
165
869
 
166
870
 
167
871
  <li class="even ">
168
872
  <div class="item">
169
- <span class='object_link'><a href="Porolog/Predicate.html#builtin-class_method" title="Porolog::Predicate.builtin (method)">builtin</a></span>
170
- <small>Porolog::Predicate</small>
873
+ <span class='object_link'><a href="Porolog.html#predicate-instance_method" title="Porolog#predicate (method)">#predicate</a></span>
874
+ <small>Porolog</small>
171
875
  </div>
172
876
  </li>
173
877
 
174
878
 
175
879
  <li class="odd ">
176
880
  <div class="item">
177
- <span class='object_link'><a href="Porolog/Predicate.html#call-instance_method" title="Porolog::Predicate#call (method)">#call</a></span>
178
- <small>Porolog::Predicate</small>
881
+ <span class='object_link'><a href="Porolog/Arguments.html#predicate-instance_method" title="Porolog::Arguments#predicate (method)">#predicate</a></span>
882
+ <small>Porolog::Arguments</small>
179
883
  </div>
180
884
  </li>
181
885
 
182
886
 
183
887
  <li class="even ">
184
888
  <div class="item">
185
- <span class='object_link'><a href="Porolog/Goal.html#calling_goal-instance_method" title="Porolog::Goal#calling_goal (method)">#calling_goal</a></span>
186
- <small>Porolog::Goal</small>
889
+ <span class='object_link'><a href="Porolog/Scope.html#predicates-instance_method" title="Porolog::Scope#predicates (method)">#predicates</a></span>
890
+ <small>Porolog::Scope</small>
187
891
  </div>
188
892
  </li>
189
893
 
190
894
 
191
895
  <li class="odd ">
192
896
  <div class="item">
193
- <span class='object_link'><a href="Porolog/Goal.html#check_deleted-instance_method" title="Porolog::Goal#check_deleted (method)">#check_deleted</a></span>
194
- <small>Porolog::Goal</small>
897
+ <span class='object_link'><a href="Porolog/Value.html#remove-instance_method" title="Porolog::Value#remove (method)">#remove</a></span>
898
+ <small>Porolog::Value</small>
195
899
  </div>
196
900
  </li>
197
901
 
198
902
 
199
903
  <li class="even ">
200
904
  <div class="item">
201
- <span class='object_link'><a href="Porolog/Arguments.html#cut_fact!-instance_method" title="Porolog::Arguments#cut_fact! (method)">#cut_fact!</a></span>
202
- <small>Porolog::Arguments</small>
905
+ <span class='object_link'><a href="Porolog/Instantiation.html#remove-instance_method" title="Porolog::Instantiation#remove (method)">#remove</a></span>
906
+ <small>Porolog::Instantiation</small>
203
907
  </div>
204
908
  </li>
205
909
 
206
910
 
207
911
  <li class="odd ">
208
912
  <div class="item">
209
- <span class='object_link'><a href="Porolog/Arguments.html#cut_falicy!-instance_method" title="Porolog::Arguments#cut_falicy! (method)">#cut_falicy!</a></span>
210
- <small>Porolog::Arguments</small>
913
+ <span class='object_link'><a href="Porolog/Variable.html#remove-instance_method" title="Porolog::Variable#remove (method)">#remove</a></span>
914
+ <small>Porolog::Variable</small>
211
915
  </div>
212
916
  </li>
213
917
 
214
918
 
215
919
  <li class="even ">
216
920
  <div class="item">
217
- <span class='object_link'><a href="Porolog/Rule.html#definition-instance_method" title="Porolog::Rule#definition (method)">#definition</a></span>
218
- <small>Porolog::Rule</small>
921
+ <span class='object_link'><a href="Porolog/Goal.html#reset-class_method" title="Porolog::Goal.reset (method)">reset</a></span>
922
+ <small>Porolog::Goal</small>
219
923
  </div>
220
924
  </li>
221
925
 
222
926
 
223
927
  <li class="odd ">
224
928
  <div class="item">
225
- <span class='object_link'><a href="Porolog/Goal.html#deleted%3F-instance_method" title="Porolog::Goal#deleted? (method)">#deleted?</a></span>
226
- <small>Porolog::Goal</small>
929
+ <span class='object_link'><a href="Porolog/Arguments.html#reset-class_method" title="Porolog::Arguments.reset (method)">reset</a></span>
930
+ <small>Porolog::Arguments</small>
227
931
  </div>
228
932
  </li>
229
933
 
230
934
 
231
935
  <li class="even ">
232
936
  <div class="item">
233
- <span class='object_link'><a href="Porolog/Arguments.html#dup-instance_method" title="Porolog::Arguments#dup (method)">#dup</a></span>
234
- <small>Porolog::Arguments</small>
937
+ <span class='object_link'><a href="Porolog/Instantiation.html#reset-class_method" title="Porolog::Instantiation.reset (method)">reset</a></span>
938
+ <small>Porolog::Instantiation</small>
235
939
  </div>
236
940
  </li>
237
941
 
238
942
 
239
943
  <li class="odd ">
240
944
  <div class="item">
241
- <span class='object_link'><a href="Porolog/Arguments.html#evaluates-instance_method" title="Porolog::Arguments#evaluates (method)">#evaluates</a></span>
242
- <small>Porolog::Arguments</small>
945
+ <span class='object_link'><a href="Porolog/Scope.html#reset-class_method" title="Porolog::Scope.reset (method)">reset</a></span>
946
+ <small>Porolog::Scope</small>
243
947
  </div>
244
948
  </li>
245
949
 
246
950
 
247
951
  <li class="even ">
248
952
  <div class="item">
249
- <span class='object_link'><a href="Porolog/Arguments.html#fact!-instance_method" title="Porolog::Arguments#fact! (method)">#fact!</a></span>
250
- <small>Porolog::Arguments</small>
953
+ <span class='object_link'><a href="Porolog/Predicate.html#reset-class_method" title="Porolog::Predicate.reset (method)">reset</a></span>
954
+ <small>Porolog::Predicate</small>
251
955
  </div>
252
956
  </li>
253
957
 
254
958
 
255
959
  <li class="odd ">
256
960
  <div class="item">
257
- <span class='object_link'><a href="Porolog/Arguments.html#falicy!-instance_method" title="Porolog::Arguments#falicy! (method)">#falicy!</a></span>
258
- <small>Porolog::Arguments</small>
961
+ <span class='object_link'><a href="Porolog/Rule.html#reset-class_method" title="Porolog::Rule.reset (method)">reset</a></span>
962
+ <small>Porolog::Rule</small>
259
963
  </div>
260
964
  </li>
261
965
 
262
966
 
263
967
  <li class="even ">
264
968
  <div class="item">
265
- <span class='object_link'><a href="Porolog/Value.html#goal-instance_method" title="Porolog::Value#goal (method)">#goal</a></span>
969
+ <span class='object_link'><a href="Porolog/Value.html#respond_to%3F-instance_method" title="Porolog::Value#respond_to? (method)">#respond_to?</a></span>
266
970
  <small>Porolog::Value</small>
267
971
  </div>
268
972
  </li>
@@ -270,95 +974,95 @@
270
974
 
271
975
  <li class="odd ">
272
976
  <div class="item">
273
- <span class='object_link'><a href="Porolog/Arguments.html#goal-instance_method" title="Porolog::Arguments#goal (method)">#goal</a></span>
274
- <small>Porolog::Arguments</small>
977
+ <span class='object_link'><a href="Porolog/Goal.html#result-instance_method" title="Porolog::Goal#result (method)">#result</a></span>
978
+ <small>Porolog::Goal</small>
275
979
  </div>
276
980
  </li>
277
981
 
278
982
 
279
983
  <li class="even ">
280
984
  <div class="item">
281
- <span class='object_link'><a href="Porolog/Goal.html#goals-class_method" title="Porolog::Goal.goals (method)">goals</a></span>
282
- <small>Porolog::Goal</small>
985
+ <span class='object_link'><a href="Porolog/Predicate.html#rules-instance_method" title="Porolog::Predicate#rules (method)">#rules</a></span>
986
+ <small>Porolog::Predicate</small>
283
987
  </div>
284
988
  </li>
285
989
 
286
990
 
287
991
  <li class="odd ">
288
992
  <div class="item">
289
- <span class='object_link'><a href="Array.html#head-instance_method" title="Array#head (method)">#head</a></span>
290
- <small>Array</small>
993
+ <span class='object_link'><a href="Porolog/Predicate.html#satisfy-instance_method" title="Porolog::Predicate#satisfy (method)">#satisfy</a></span>
994
+ <small>Porolog::Predicate</small>
291
995
  </div>
292
996
  </li>
293
997
 
294
998
 
295
999
  <li class="even ">
296
1000
  <div class="item">
297
- <span class='object_link'><a href="Array.html#headtail%3F-instance_method" title="Array#headtail? (method)">#headtail?</a></span>
298
- <small>Array</small>
1001
+ <span class='object_link'><a href="Porolog/Rule.html#satisfy-instance_method" title="Porolog::Rule#satisfy (method)">#satisfy</a></span>
1002
+ <small>Porolog::Rule</small>
299
1003
  </div>
300
1004
  </li>
301
1005
 
302
1006
 
303
1007
  <li class="odd ">
304
1008
  <div class="item">
305
- <span class='object_link'><a href="Object.html#headtail%3F-instance_method" title="Object#headtail? (method)">#headtail?</a></span>
306
- <small>Object</small>
1009
+ <span class='object_link'><a href="Porolog/Goal.html#satisfy-instance_method" title="Porolog::Goal#satisfy (method)">#satisfy</a></span>
1010
+ <small>Porolog::Goal</small>
307
1011
  </div>
308
1012
  </li>
309
1013
 
310
1014
 
311
1015
  <li class="even ">
312
1016
  <div class="item">
313
- <span class='object_link'><a href="Porolog/Goal.html#index-instance_method" title="Porolog::Goal#index (method)">#index</a></span>
314
- <small>Porolog::Goal</small>
1017
+ <span class='object_link'><a href="Porolog/Rule.html#satisfy_conjunction-instance_method" title="Porolog::Rule#satisfy_conjunction (method)">#satisfy_conjunction</a></span>
1018
+ <small>Porolog::Rule</small>
315
1019
  </div>
316
1020
  </li>
317
1021
 
318
1022
 
319
1023
  <li class="odd ">
320
1024
  <div class="item">
321
- <span class='object_link'><a href="Porolog/Scope.html#initialize-instance_method" title="Porolog::Scope#initialize (method)">#initialize</a></span>
322
- <small>Porolog::Scope</small>
1025
+ <span class='object_link'><a href="Porolog/Rule.html#satisfy_definition-instance_method" title="Porolog::Rule#satisfy_definition (method)">#satisfy_definition</a></span>
1026
+ <small>Porolog::Rule</small>
323
1027
  </div>
324
1028
  </li>
325
1029
 
326
1030
 
327
1031
  <li class="even ">
328
1032
  <div class="item">
329
- <span class='object_link'><a href="Porolog/Rule.html#initialize-instance_method" title="Porolog::Rule#initialize (method)">#initialize</a></span>
330
- <small>Porolog::Rule</small>
1033
+ <span class='object_link'><a href="Porolog/Predicate.html#scope-class_method" title="Porolog::Predicate.scope (method)">scope</a></span>
1034
+ <small>Porolog::Predicate</small>
331
1035
  </div>
332
1036
  </li>
333
1037
 
334
1038
 
335
1039
  <li class="odd ">
336
1040
  <div class="item">
337
- <span class='object_link'><a href="Porolog/Value.html#initialize-instance_method" title="Porolog::Value#initialize (method)">#initialize</a></span>
338
- <small>Porolog::Value</small>
1041
+ <span class='object_link'><a href="Porolog/Predicate.html#scope=-class_method" title="Porolog::Predicate.scope= (method)">scope=</a></span>
1042
+ <small>Porolog::Predicate</small>
339
1043
  </div>
340
1044
  </li>
341
1045
 
342
1046
 
343
1047
  <li class="even ">
344
1048
  <div class="item">
345
- <span class='object_link'><a href="Porolog/Predicate.html#initialize-instance_method" title="Porolog::Predicate#initialize (method)">#initialize</a></span>
346
- <small>Porolog::Predicate</small>
1049
+ <span class='object_link'><a href="Porolog/Scope.html#scopes-class_method" title="Porolog::Scope.scopes (method)">scopes</a></span>
1050
+ <small>Porolog::Scope</small>
347
1051
  </div>
348
1052
  </li>
349
1053
 
350
1054
 
351
1055
  <li class="odd ">
352
1056
  <div class="item">
353
- <span class='object_link'><a href="Porolog/Goal.html#initialize-instance_method" title="Porolog::Goal#initialize (method)">#initialize</a></span>
354
- <small>Porolog::Goal</small>
1057
+ <span class='object_link'><a href="Porolog/Instantiation.html#signature-instance_method" title="Porolog::Instantiation#signature (method)">#signature</a></span>
1058
+ <small>Porolog::Instantiation</small>
355
1059
  </div>
356
1060
  </li>
357
1061
 
358
1062
 
359
1063
  <li class="even ">
360
1064
  <div class="item">
361
- <span class='object_link'><a href="Porolog/Arguments.html#initialize-instance_method" title="Porolog::Arguments#initialize (method)">#initialize</a></span>
1065
+ <span class='object_link'><a href="Porolog/Arguments.html#solutions-instance_method" title="Porolog::Arguments#solutions (method)">#solutions</a></span>
362
1066
  <small>Porolog::Arguments</small>
363
1067
  </div>
364
1068
  </li>
@@ -366,7 +1070,7 @@
366
1070
 
367
1071
  <li class="odd ">
368
1072
  <div class="item">
369
- <span class='object_link'><a href="Porolog/Arguments.html#inspect-instance_method" title="Porolog::Arguments#inspect (method)">#inspect</a></span>
1073
+ <span class='object_link'><a href="Porolog/Arguments.html#solve-instance_method" title="Porolog::Arguments#solve (method)">#solve</a></span>
370
1074
  <small>Porolog::Arguments</small>
371
1075
  </div>
372
1076
  </li>
@@ -374,79 +1078,79 @@
374
1078
 
375
1079
  <li class="even ">
376
1080
  <div class="item">
377
- <span class='object_link'><a href="Porolog/Rule.html#inspect-instance_method" title="Porolog::Rule#inspect (method)">#inspect</a></span>
378
- <small>Porolog::Rule</small>
1081
+ <span class='object_link'><a href="Porolog/Goal.html#solve-instance_method" title="Porolog::Goal#solve (method)">#solve</a></span>
1082
+ <small>Porolog::Goal</small>
379
1083
  </div>
380
1084
  </li>
381
1085
 
382
1086
 
383
1087
  <li class="odd ">
384
1088
  <div class="item">
385
- <span class='object_link'><a href="Porolog/Predicate.html#inspect-instance_method" title="Porolog::Predicate#inspect (method)">#inspect</a></span>
386
- <small>Porolog::Predicate</small>
1089
+ <span class='object_link'><a href="Porolog/Arguments.html#solve_for-instance_method" title="Porolog::Arguments#solve_for (method)">#solve_for</a></span>
1090
+ <small>Porolog::Arguments</small>
387
1091
  </div>
388
1092
  </li>
389
1093
 
390
1094
 
391
1095
  <li class="even ">
392
1096
  <div class="item">
393
- <span class='object_link'><a href="Porolog/Value.html#inspect-instance_method" title="Porolog::Value#inspect (method)">#inspect</a></span>
394
- <small>Porolog::Value</small>
1097
+ <span class='object_link'><a href="Object.html#tail-instance_method" title="Object#tail (method)">#tail</a></span>
1098
+ <small>Object</small>
395
1099
  </div>
396
1100
  </li>
397
1101
 
398
1102
 
399
1103
  <li class="odd ">
400
1104
  <div class="item">
401
- <span class='object_link'><a href="Porolog/Value.html#inspect_with_instantiations-instance_method" title="Porolog::Value#inspect_with_instantiations (method)">#inspect_with_instantiations</a></span>
402
- <small>Porolog::Value</small>
1105
+ <span class='object_link'><a href="Array.html#tail-instance_method" title="Array#tail (method)">#tail</a></span>
1106
+ <small>Array</small>
403
1107
  </div>
404
1108
  </li>
405
1109
 
406
1110
 
407
1111
  <li class="even ">
408
1112
  <div class="item">
409
- <span class='object_link'><a href="Porolog/Value.html#instantiations-instance_method" title="Porolog::Value#instantiations (method)">#instantiations</a></span>
410
- <small>Porolog::Value</small>
1113
+ <span class='object_link'><a href="Porolog/Goal.html#terminate!-instance_method" title="Porolog::Goal#terminate! (method)">#terminate!</a></span>
1114
+ <small>Porolog::Goal</small>
411
1115
  </div>
412
1116
  </li>
413
1117
 
414
1118
 
415
1119
  <li class="odd ">
416
1120
  <div class="item">
417
- <span class='object_link'><a href="Porolog/Value.html#method_missing-instance_method" title="Porolog::Value#method_missing (method)">#method_missing</a></span>
418
- <small>Porolog::Value</small>
1121
+ <span class='object_link'><a href="Porolog/Goal.html#terminated%3F-instance_method" title="Porolog::Goal#terminated? (method)">#terminated?</a></span>
1122
+ <small>Porolog::Goal</small>
419
1123
  </div>
420
1124
  </li>
421
1125
 
422
1126
 
423
1127
  <li class="even ">
424
1128
  <div class="item">
425
- <span class='object_link'><a href="Porolog/Arguments.html#myid-instance_method" title="Porolog::Arguments#myid (method)">#myid</a></span>
426
- <small>Porolog::Arguments</small>
1129
+ <span class='object_link'><a href="Porolog/Variable.html#to_sym-instance_method" title="Porolog::Variable#to_sym (method)">#to_sym</a></span>
1130
+ <small>Porolog::Variable</small>
427
1131
  </div>
428
1132
  </li>
429
1133
 
430
1134
 
431
1135
  <li class="odd ">
432
1136
  <div class="item">
433
- <span class='object_link'><a href="Porolog/Rule.html#myid-instance_method" title="Porolog::Rule#myid (method)">#myid</a></span>
434
- <small>Porolog::Rule</small>
1137
+ <span class='object_link'><a href="Porolog/Variable.html#type-instance_method" title="Porolog::Variable#type (method)">#type</a></span>
1138
+ <small>Porolog::Variable</small>
435
1139
  </div>
436
1140
  </li>
437
1141
 
438
1142
 
439
1143
  <li class="even ">
440
1144
  <div class="item">
441
- <span class='object_link'><a href="Object.html#myid-instance_method" title="Object#myid (method)">#myid</a></span>
442
- <small>Object</small>
1145
+ <span class='object_link'><a href="Porolog/Value.html#type-instance_method" title="Porolog::Value#type (method)">#type</a></span>
1146
+ <small>Porolog::Value</small>
443
1147
  </div>
444
1148
  </li>
445
1149
 
446
1150
 
447
1151
  <li class="odd ">
448
1152
  <div class="item">
449
- <span class='object_link'><a href="Symbol.html#myid-instance_method" title="Symbol#myid (method)">#myid</a></span>
1153
+ <span class='object_link'><a href="Symbol.html#type-instance_method" title="Symbol#type (method)">#type</a></span>
450
1154
  <small>Symbol</small>
451
1155
  </div>
452
1156
  </li>
@@ -454,55 +1158,55 @@
454
1158
 
455
1159
  <li class="even ">
456
1160
  <div class="item">
457
- <span class='object_link'><a href="Porolog/Goal.html#myid-instance_method" title="Porolog::Goal#myid (method)">#myid</a></span>
458
- <small>Porolog::Goal</small>
1161
+ <span class='object_link'><a href="Object.html#type-instance_method" title="Object#type (method)">#type</a></span>
1162
+ <small>Object</small>
459
1163
  </div>
460
1164
  </li>
461
1165
 
462
1166
 
463
1167
  <li class="odd ">
464
1168
  <div class="item">
465
- <span class='object_link'><a href="Porolog/Scope.html#name-instance_method" title="Porolog::Scope#name (method)">#name</a></span>
466
- <small>Porolog::Scope</small>
1169
+ <span class='object_link'><a href="Object/new.html#type-class_method" title="Object.new.type (method)">type</a></span>
1170
+ <small>Object.new</small>
467
1171
  </div>
468
1172
  </li>
469
1173
 
470
1174
 
471
1175
  <li class="even ">
472
1176
  <div class="item">
473
- <span class='object_link'><a href="Porolog/Predicate.html#name-instance_method" title="Porolog::Predicate#name (method)">#name</a></span>
474
- <small>Porolog::Predicate</small>
1177
+ <span class='object_link'><a href="Array.html#type-instance_method" title="Array#type (method)">#type</a></span>
1178
+ <small>Array</small>
475
1179
  </div>
476
1180
  </li>
477
1181
 
478
1182
 
479
1183
  <li class="odd ">
480
1184
  <div class="item">
481
- <span class='object_link'><a href="Porolog/Scope.html#new-class_method" title="Porolog::Scope.new (method)">new</a></span>
482
- <small>Porolog::Scope</small>
1185
+ <span class='object_link'><a href="Porolog.html#unify-instance_method" title="Porolog#unify (method)">#unify</a></span>
1186
+ <small>Porolog</small>
483
1187
  </div>
484
1188
  </li>
485
1189
 
486
1190
 
487
1191
  <li class="even ">
488
1192
  <div class="item">
489
- <span class='object_link'><a href="Porolog/Predicate.html#new-class_method" title="Porolog::Predicate.new (method)">new</a></span>
490
- <small>Porolog::Predicate</small>
1193
+ <span class='object_link'><a href="Porolog.html#unify_arrays-instance_method" title="Porolog#unify_arrays (method)">#unify_arrays</a></span>
1194
+ <small>Porolog</small>
491
1195
  </div>
492
1196
  </li>
493
1197
 
494
1198
 
495
1199
  <li class="odd ">
496
1200
  <div class="item">
497
- <span class='object_link'><a href="Porolog/Arguments.html#predicate-instance_method" title="Porolog::Arguments#predicate (method)">#predicate</a></span>
498
- <small>Porolog::Arguments</small>
1201
+ <span class='object_link'><a href="Porolog.html#unify_arrays_with_all_tails-instance_method" title="Porolog#unify_arrays_with_all_tails (method)">#unify_arrays_with_all_tails</a></span>
1202
+ <small>Porolog</small>
499
1203
  </div>
500
1204
  </li>
501
1205
 
502
1206
 
503
1207
  <li class="even ">
504
1208
  <div class="item">
505
- <span class='object_link'><a href="Porolog.html#predicate-instance_method" title="Porolog#predicate (method)">#predicate</a></span>
1209
+ <span class='object_link'><a href="Porolog.html#unify_arrays_with_no_tails-instance_method" title="Porolog#unify_arrays_with_no_tails (method)">#unify_arrays_with_no_tails</a></span>
506
1210
  <small>Porolog</small>
507
1211
  </div>
508
1212
  </li>
@@ -510,248 +1214,248 @@
510
1214
 
511
1215
  <li class="odd ">
512
1216
  <div class="item">
513
- <span class='object_link'><a href="Porolog/Scope.html#predicates-instance_method" title="Porolog::Scope#predicates (method)">#predicates</a></span>
514
- <small>Porolog::Scope</small>
1217
+ <span class='object_link'><a href="Porolog.html#unify_arrays_with_some_tails-instance_method" title="Porolog#unify_arrays_with_some_tails (method)">#unify_arrays_with_some_tails</a></span>
1218
+ <small>Porolog</small>
515
1219
  </div>
516
1220
  </li>
517
1221
 
518
1222
 
519
1223
  <li class="even ">
520
1224
  <div class="item">
521
- <span class='object_link'><a href="Porolog/Value.html#remove-instance_method" title="Porolog::Value#remove (method)">#remove</a></span>
522
- <small>Porolog::Value</small>
1225
+ <span class='object_link'><a href="Porolog.html#unify_goals-instance_method" title="Porolog#unify_goals (method)">#unify_goals</a></span>
1226
+ <small>Porolog</small>
523
1227
  </div>
524
1228
  </li>
525
1229
 
526
1230
 
527
1231
  <li class="odd ">
528
1232
  <div class="item">
529
- <span class='object_link'><a href="Porolog/Scope.html#reset-class_method" title="Porolog::Scope.reset (method)">reset</a></span>
530
- <small>Porolog::Scope</small>
1233
+ <span class='object_link'><a href="Porolog.html#unify_headtail_with_headtail-instance_method" title="Porolog#unify_headtail_with_headtail (method)">#unify_headtail_with_headtail</a></span>
1234
+ <small>Porolog</small>
531
1235
  </div>
532
1236
  </li>
533
1237
 
534
1238
 
535
1239
  <li class="even ">
536
1240
  <div class="item">
537
- <span class='object_link'><a href="Porolog/Arguments.html#reset-class_method" title="Porolog::Arguments.reset (method)">reset</a></span>
538
- <small>Porolog::Arguments</small>
1241
+ <span class='object_link'><a href="Porolog.html#unify_headtail_with_tail-instance_method" title="Porolog#unify_headtail_with_tail (method)">#unify_headtail_with_tail</a></span>
1242
+ <small>Porolog</small>
539
1243
  </div>
540
1244
  </li>
541
1245
 
542
1246
 
543
1247
  <li class="odd ">
544
1248
  <div class="item">
545
- <span class='object_link'><a href="Porolog/Predicate.html#reset-class_method" title="Porolog::Predicate.reset (method)">reset</a></span>
546
- <small>Porolog::Predicate</small>
1249
+ <span class='object_link'><a href="Porolog.html#unify_many_arrays-instance_method" title="Porolog#unify_many_arrays (method)">#unify_many_arrays</a></span>
1250
+ <small>Porolog</small>
547
1251
  </div>
548
1252
  </li>
549
1253
 
550
1254
 
551
1255
  <li class="even ">
552
1256
  <div class="item">
553
- <span class='object_link'><a href="Porolog/Goal.html#reset-class_method" title="Porolog::Goal.reset (method)">reset</a></span>
554
- <small>Porolog::Goal</small>
1257
+ <span class='object_link'><a href="Porolog.html#unify_tail_with_tail-instance_method" title="Porolog#unify_tail_with_tail (method)">#unify_tail_with_tail</a></span>
1258
+ <small>Porolog</small>
555
1259
  </div>
556
1260
  </li>
557
1261
 
558
1262
 
559
1263
  <li class="odd ">
560
1264
  <div class="item">
561
- <span class='object_link'><a href="Porolog/Rule.html#reset-class_method" title="Porolog::Rule.reset (method)">reset</a></span>
562
- <small>Porolog::Rule</small>
1265
+ <span class='object_link'><a href="Porolog/Variable.html#uninstantiate-instance_method" title="Porolog::Variable#uninstantiate (method)">#uninstantiate</a></span>
1266
+ <small>Porolog::Variable</small>
563
1267
  </div>
564
1268
  </li>
565
1269
 
566
1270
 
567
1271
  <li class="even ">
568
1272
  <div class="item">
569
- <span class='object_link'><a href="Porolog/Value.html#respond_to%3F-instance_method" title="Porolog::Value#respond_to? (method)">#respond_to?</a></span>
570
- <small>Porolog::Value</small>
1273
+ <span class='object_link'><a href="Porolog/Arguments.html#valid%3F-instance_method" title="Porolog::Arguments#valid? (method)">#valid?</a></span>
1274
+ <small>Porolog::Arguments</small>
571
1275
  </div>
572
1276
  </li>
573
1277
 
574
1278
 
575
1279
  <li class="odd ">
576
1280
  <div class="item">
577
- <span class='object_link'><a href="Porolog/Goal.html#result-instance_method" title="Porolog::Goal#result (method)">#result</a></span>
578
- <small>Porolog::Goal</small>
1281
+ <span class='object_link'><a href="Array.html#value-instance_method" title="Array#value (method)">#value</a></span>
1282
+ <small>Array</small>
579
1283
  </div>
580
1284
  </li>
581
1285
 
582
1286
 
583
1287
  <li class="even ">
584
1288
  <div class="item">
585
- <span class='object_link'><a href="Porolog/Predicate.html#rules-instance_method" title="Porolog::Predicate#rules (method)">#rules</a></span>
586
- <small>Porolog::Predicate</small>
1289
+ <span class='object_link'><a href="Object.html#value-instance_method" title="Object#value (method)">#value</a></span>
1290
+ <small>Object</small>
587
1291
  </div>
588
1292
  </li>
589
1293
 
590
1294
 
591
1295
  <li class="odd ">
592
1296
  <div class="item">
593
- <span class='object_link'><a href="Porolog/Predicate.html#scope-class_method" title="Porolog::Predicate.scope (method)">scope</a></span>
594
- <small>Porolog::Predicate</small>
1297
+ <span class='object_link'><a href="Porolog/Variable.html#value-instance_method" title="Porolog::Variable#value (method)">#value</a></span>
1298
+ <small>Porolog::Variable</small>
595
1299
  </div>
596
1300
  </li>
597
1301
 
598
1302
 
599
1303
  <li class="even ">
600
1304
  <div class="item">
601
- <span class='object_link'><a href="Porolog/Predicate.html#scope=-class_method" title="Porolog::Predicate.scope= (method)">scope=</a></span>
602
- <small>Porolog::Predicate</small>
1305
+ <span class='object_link'><a href="Porolog/Value.html#value-instance_method" title="Porolog::Value#value (method)">#value</a></span>
1306
+ <small>Porolog::Value</small>
603
1307
  </div>
604
1308
  </li>
605
1309
 
606
1310
 
607
1311
  <li class="odd ">
608
1312
  <div class="item">
609
- <span class='object_link'><a href="Porolog/Scope.html#scopes-class_method" title="Porolog::Scope.scopes (method)">scopes</a></span>
610
- <small>Porolog::Scope</small>
1313
+ <span class='object_link'><a href="Porolog/Tail.html#value-instance_method" title="Porolog::Tail#value (method)">#value</a></span>
1314
+ <small>Porolog::Tail</small>
611
1315
  </div>
612
1316
  </li>
613
1317
 
614
1318
 
615
1319
  <li class="even ">
616
1320
  <div class="item">
617
- <span class='object_link'><a href="Porolog/Arguments.html#solutions-instance_method" title="Porolog::Arguments#solutions (method)">#solutions</a></span>
618
- <small>Porolog::Arguments</small>
1321
+ <span class='object_link'><a href="Porolog/Goal.html#value-instance_method" title="Porolog::Goal#value (method)">#value</a></span>
1322
+ <small>Porolog::Goal</small>
619
1323
  </div>
620
1324
  </li>
621
1325
 
622
1326
 
623
1327
  <li class="odd ">
624
1328
  <div class="item">
625
- <span class='object_link'><a href="Porolog/Goal.html#solve-instance_method" title="Porolog::Goal#solve (method)">#solve</a></span>
626
- <small>Porolog::Goal</small>
1329
+ <span class='object_link'><a href="Porolog/Instantiation.html#value_at_index-instance_method" title="Porolog::Instantiation#value_at_index (method)">#value_at_index</a></span>
1330
+ <small>Porolog::Instantiation</small>
627
1331
  </div>
628
1332
  </li>
629
1333
 
630
1334
 
631
1335
  <li class="even ">
632
1336
  <div class="item">
633
- <span class='object_link'><a href="Porolog/Arguments.html#solve-instance_method" title="Porolog::Arguments#solve (method)">#solve</a></span>
634
- <small>Porolog::Arguments</small>
1337
+ <span class='object_link'><a href="Porolog/Instantiation.html#value_indexed-instance_method" title="Porolog::Instantiation#value_indexed (method)">#value_indexed</a></span>
1338
+ <small>Porolog::Instantiation</small>
635
1339
  </div>
636
1340
  </li>
637
1341
 
638
1342
 
639
1343
  <li class="odd ">
640
1344
  <div class="item">
641
- <span class='object_link'><a href="Porolog/Arguments.html#solve_for-instance_method" title="Porolog::Arguments#solve_for (method)">#solve_for</a></span>
642
- <small>Porolog::Arguments</small>
1345
+ <span class='object_link'><a href="Porolog/Goal.html#value_of-instance_method" title="Porolog::Goal#value_of (method)">#value_of</a></span>
1346
+ <small>Porolog::Goal</small>
643
1347
  </div>
644
1348
  </li>
645
1349
 
646
1350
 
647
1351
  <li class="even ">
648
1352
  <div class="item">
649
- <span class='object_link'><a href="Array.html#tail-instance_method" title="Array#tail (method)">#tail</a></span>
650
- <small>Array</small>
1353
+ <span class='object_link'><a href="Porolog/Goal.html#values-instance_method" title="Porolog::Goal#values (method)">#values</a></span>
1354
+ <small>Porolog::Goal</small>
651
1355
  </div>
652
1356
  </li>
653
1357
 
654
1358
 
655
1359
  <li class="odd ">
656
1360
  <div class="item">
657
- <span class='object_link'><a href="Object.html#tail-instance_method" title="Object#tail (method)">#tail</a></span>
658
- <small>Object</small>
1361
+ <span class='object_link'><a href="Porolog/Variable.html#values-instance_method" title="Porolog::Variable#values (method)">#values</a></span>
1362
+ <small>Porolog::Variable</small>
659
1363
  </div>
660
1364
  </li>
661
1365
 
662
1366
 
663
1367
  <li class="even ">
664
1368
  <div class="item">
665
- <span class='object_link'><a href="Porolog/Goal.html#terminate-instance_method" title="Porolog::Goal#terminate (method)">#terminate</a></span>
666
- <small>Porolog::Goal</small>
1369
+ <span class='object_link'><a href="Porolog/Instantiation.html#values-instance_method" title="Porolog::Instantiation#values (method)">#values</a></span>
1370
+ <small>Porolog::Instantiation</small>
667
1371
  </div>
668
1372
  </li>
669
1373
 
670
1374
 
671
1375
  <li class="odd ">
672
1376
  <div class="item">
673
- <span class='object_link'><a href="Porolog/Value.html#type-instance_method" title="Porolog::Value#type (method)">#type</a></span>
674
- <small>Porolog::Value</small>
1377
+ <span class='object_link'><a href="Porolog/Instantiation.html#values_for-instance_method" title="Porolog::Instantiation#values_for (method)">#values_for</a></span>
1378
+ <small>Porolog::Instantiation</small>
675
1379
  </div>
676
1380
  </li>
677
1381
 
678
1382
 
679
1383
  <li class="even ">
680
1384
  <div class="item">
681
- <span class='object_link'><a href="Symbol.html#type-instance_method" title="Symbol#type (method)">#type</a></span>
682
- <small>Symbol</small>
1385
+ <span class='object_link'><a href="Porolog/Goal.html#values_of-instance_method" title="Porolog::Goal#values_of (method)">#values_of</a></span>
1386
+ <small>Porolog::Goal</small>
683
1387
  </div>
684
1388
  </li>
685
1389
 
686
1390
 
687
1391
  <li class="odd ">
688
1392
  <div class="item">
689
- <span class='object_link'><a href="Object.html#type-instance_method" title="Object#type (method)">#type</a></span>
690
- <small>Object</small>
1393
+ <span class='object_link'><a href="Porolog/Goal.html#variable-instance_method" title="Porolog::Goal#variable (method)">#variable</a></span>
1394
+ <small>Porolog::Goal</small>
691
1395
  </div>
692
1396
  </li>
693
1397
 
694
1398
 
695
1399
  <li class="even ">
696
1400
  <div class="item">
697
- <span class='object_link'><a href="Array.html#type-instance_method" title="Array#type (method)">#type</a></span>
698
- <small>Array</small>
1401
+ <span class='object_link'><a href="Porolog/Instantiation.html#variable1-instance_method" title="Porolog::Instantiation#variable1 (method)">#variable1</a></span>
1402
+ <small>Porolog::Instantiation</small>
699
1403
  </div>
700
1404
  </li>
701
1405
 
702
1406
 
703
1407
  <li class="odd ">
704
1408
  <div class="item">
705
- <span class='object_link'><a href="Porolog/Arguments.html#valid%3F-instance_method" title="Porolog::Arguments#valid? (method)">#valid?</a></span>
706
- <small>Porolog::Arguments</small>
1409
+ <span class='object_link'><a href="Porolog/Instantiation.html#variable2-instance_method" title="Porolog::Instantiation#variable2 (method)">#variable2</a></span>
1410
+ <small>Porolog::Instantiation</small>
707
1411
  </div>
708
1412
  </li>
709
1413
 
710
1414
 
711
1415
  <li class="even ">
712
1416
  <div class="item">
713
- <span class='object_link'><a href="Array.html#value-instance_method" title="Array#value (method)">#value</a></span>
714
- <small>Array</small>
1417
+ <span class='object_link'><a href="Porolog/Goal.html#variables-instance_method" title="Porolog::Goal#variables (method)">#variables</a></span>
1418
+ <small>Porolog::Goal</small>
715
1419
  </div>
716
1420
  </li>
717
1421
 
718
1422
 
719
1423
  <li class="odd ">
720
1424
  <div class="item">
721
- <span class='object_link'><a href="Object.html#value-instance_method" title="Object#value (method)">#value</a></span>
722
- <small>Object</small>
1425
+ <span class='object_link'><a href="Porolog/Instantiation.html#variables-instance_method" title="Porolog::Instantiation#variables (method)">#variables</a></span>
1426
+ <small>Porolog::Instantiation</small>
723
1427
  </div>
724
1428
  </li>
725
1429
 
726
1430
 
727
1431
  <li class="even ">
728
1432
  <div class="item">
729
- <span class='object_link'><a href="Porolog/Value.html#value-instance_method" title="Porolog::Value#value (method)">#value</a></span>
730
- <small>Porolog::Value</small>
1433
+ <span class='object_link'><a href="Porolog/Arguments.html#variables-instance_method" title="Porolog::Arguments#variables (method)">#variables</a></span>
1434
+ <small>Porolog::Arguments</small>
731
1435
  </div>
732
1436
  </li>
733
1437
 
734
1438
 
735
1439
  <li class="odd ">
736
1440
  <div class="item">
737
- <span class='object_link'><a href="Porolog/Goal.html#value_of-instance_method" title="Porolog::Goal#value_of (method)">#value_of</a></span>
738
- <small>Porolog::Goal</small>
1441
+ <span class='object_link'><a href="Porolog/Tail.html#variables-instance_method" title="Porolog::Tail#variables (method)">#variables</a></span>
1442
+ <small>Porolog::Tail</small>
739
1443
  </div>
740
1444
  </li>
741
1445
 
742
1446
 
743
1447
  <li class="even ">
744
1448
  <div class="item">
745
- <span class='object_link'><a href="Porolog/Goal.html#variable-instance_method" title="Porolog::Goal#variable (method)">#variable</a></span>
746
- <small>Porolog::Goal</small>
1449
+ <span class='object_link'><a href="Porolog/Variable.html#variables-instance_method" title="Porolog::Variable#variables (method)">#variables</a></span>
1450
+ <small>Porolog::Variable</small>
747
1451
  </div>
748
1452
  </li>
749
1453
 
750
1454
 
751
1455
  <li class="odd ">
752
1456
  <div class="item">
753
- <span class='object_link'><a href="Porolog/Goal.html#variables-instance_method" title="Porolog::Goal#variables (method)">#variables</a></span>
754
- <small>Porolog::Goal</small>
1457
+ <span class='object_link'><a href="Porolog/Value.html#variables-instance_method" title="Porolog::Value#variables (method)">#variables</a></span>
1458
+ <small>Porolog::Value</small>
755
1459
  </div>
756
1460
  </li>
757
1461
 
@@ -766,32 +1470,32 @@
766
1470
 
767
1471
  <li class="odd ">
768
1472
  <div class="item">
769
- <span class='object_link'><a href="Symbol.html#variables-instance_method" title="Symbol#variables (method)">#variables</a></span>
770
- <small>Symbol</small>
1473
+ <span class='object_link'><a href="Array.html#variables-instance_method" title="Array#variables (method)">#variables</a></span>
1474
+ <small>Array</small>
771
1475
  </div>
772
1476
  </li>
773
1477
 
774
1478
 
775
1479
  <li class="even ">
776
1480
  <div class="item">
777
- <span class='object_link'><a href="Porolog/Arguments.html#variables-instance_method" title="Porolog::Arguments#variables (method)">#variables</a></span>
778
- <small>Porolog::Arguments</small>
1481
+ <span class='object_link'><a href="Symbol.html#variables-instance_method" title="Symbol#variables (method)">#variables</a></span>
1482
+ <small>Symbol</small>
779
1483
  </div>
780
1484
  </li>
781
1485
 
782
1486
 
783
1487
  <li class="odd ">
784
1488
  <div class="item">
785
- <span class='object_link'><a href="Array.html#variables-instance_method" title="Array#variables (method)">#variables</a></span>
786
- <small>Array</small>
1489
+ <span class='object_link'><a href="Porolog/Goal.html#variablise-instance_method" title="Porolog::Goal#variablise (method)">#variablise</a></span>
1490
+ <small>Porolog::Goal</small>
787
1491
  </div>
788
1492
  </li>
789
1493
 
790
1494
 
791
1495
  <li class="even ">
792
1496
  <div class="item">
793
- <span class='object_link'><a href="Porolog/Value.html#variables-instance_method" title="Porolog::Value#variables (method)">#variables</a></span>
794
- <small>Porolog::Value</small>
1497
+ <span class='object_link'><a href="Porolog/Instantiation.html#without_index_on%3F-instance_method" title="Porolog::Instantiation#without_index_on? (method)">#without_index_on?</a></span>
1498
+ <small>Porolog::Instantiation</small>
795
1499
  </div>
796
1500
  </li>
797
1501