porolog 0.0.8 → 1.0.0

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 (41) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +11 -1
  3. data/Rakefile +2 -2
  4. data/bin/porolog +34 -13
  5. data/coverage/badge.svg +1 -1
  6. data/coverage/index.html +43822 -25140
  7. data/doc/Array.html +158 -51
  8. data/doc/Object.html +2 -2
  9. data/doc/Porolog.html +1584 -1113
  10. data/doc/Symbol.html +2 -2
  11. data/doc/_index.html +40 -56
  12. data/doc/class_list.html +1 -1
  13. data/doc/file.README.html +8 -4
  14. data/doc/index.html +8 -4
  15. data/doc/method_list.html +424 -248
  16. data/doc/top-level-namespace.html +1 -1
  17. data/lib/porolog.rb +184 -61
  18. data/lib/porolog/arguments.rb +12 -11
  19. data/lib/porolog/core_ext.rb +27 -9
  20. data/lib/porolog/error.rb +3 -0
  21. data/lib/porolog/goal.rb +57 -15
  22. data/lib/porolog/instantiation.rb +55 -9
  23. data/lib/porolog/predicate.rb +52 -26
  24. data/lib/porolog/predicate/builtin.rb +825 -0
  25. data/lib/porolog/rule.rb +8 -24
  26. data/lib/porolog/scope.rb +1 -1
  27. data/lib/porolog/tail.rb +5 -0
  28. data/lib/porolog/value.rb +3 -3
  29. data/lib/porolog/variable.rb +29 -11
  30. data/test/porolog/arguments_test.rb +45 -66
  31. data/test/porolog/core_ext_test.rb +25 -0
  32. data/test/porolog/goal_test.rb +86 -9
  33. data/test/porolog/instantiation_test.rb +36 -0
  34. data/test/porolog/porolog_test.rb +285 -30
  35. data/test/porolog/predicate/builtin_test.rb +1340 -0
  36. data/test/porolog/predicate_test.rb +78 -16
  37. data/test/porolog/rule_test.rb +19 -0
  38. data/test/porolog/variable_test.rb +44 -55
  39. data/test/samples_test.rb +277 -0
  40. data/test/test_helper.rb +9 -0
  41. metadata +9 -5
data/doc/Symbol.html CHANGED
@@ -361,7 +361,7 @@
361
361
  <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 60</span>
362
362
 
363
363
  <span class='kw'>def</span> <span class='id identifier rubyid_myid'>myid</span>
364
- <span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span>
364
+ <span class='id identifier rubyid_inspect'>inspect</span>
365
365
  <span class='kw'>end</span></pre>
366
366
  </td>
367
367
  </tr>
@@ -491,7 +491,7 @@
491
491
  </div>
492
492
 
493
493
  <div id="footer">
494
- Generated on Mon Jul 6 22:54:46 2020 by
494
+ Generated on Sun Aug 2 19:24:17 2020 by
495
495
  <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
496
496
  0.9.19 (ruby-2.6.5).
497
497
  </div>
data/doc/_index.html CHANGED
@@ -96,6 +96,21 @@
96
96
  </ul>
97
97
 
98
98
 
99
+ <ul id="alpha_B" class="alpha">
100
+ <li class="letter">B</li>
101
+ <ul>
102
+
103
+ <li>
104
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html" title="Porolog::Predicate::Builtin (module)">Builtin</a></span>
105
+
106
+ <small>(Porolog::Predicate)</small>
107
+
108
+ </li>
109
+
110
+ </ul>
111
+ </ul>
112
+
113
+
99
114
  <ul id="alpha_D" class="alpha">
100
115
  <li class="letter">D</li>
101
116
  <ul>
@@ -123,9 +138,9 @@
123
138
  <ul>
124
139
 
125
140
  <li>
126
- <span class='object_link'><a href="Porolog/Instantiation/Error.html" title="Porolog::Instantiation::Error (class)">Error</a></span>
141
+ <span class='object_link'><a href="Porolog/Variable/Error.html" title="Porolog::Variable::Error (class)">Error</a></span>
127
142
 
128
- <small>(Porolog::Instantiation)</small>
143
+ <small>(Porolog::Variable)</small>
129
144
 
130
145
  </li>
131
146
 
@@ -137,30 +152,30 @@
137
152
  </li>
138
153
 
139
154
  <li>
140
- <span class='object_link'><a href="Porolog/Goal/Error.html" title="Porolog::Goal::Error (class)">Error</a></span>
155
+ <span class='object_link'><a href="Porolog/Value/Error.html" title="Porolog::Value::Error (class)">Error</a></span>
141
156
 
142
- <small>(Porolog::Goal)</small>
157
+ <small>(Porolog::Value)</small>
143
158
 
144
159
  </li>
145
160
 
146
161
  <li>
147
- <span class='object_link'><a href="Porolog/Variable/Error.html" title="Porolog::Variable::Error (class)">Error</a></span>
162
+ <span class='object_link'><a href="Porolog/Goal/Error.html" title="Porolog::Goal::Error (class)">Error</a></span>
148
163
 
149
- <small>(Porolog::Variable)</small>
164
+ <small>(Porolog::Goal)</small>
150
165
 
151
166
  </li>
152
167
 
153
168
  <li>
154
- <span class='object_link'><a href="Porolog/Rule/Error.html" title="Porolog::Rule::Error (class)">Error</a></span>
169
+ <span class='object_link'><a href="Porolog/Instantiation/Error.html" title="Porolog::Instantiation::Error (class)">Error</a></span>
155
170
 
156
- <small>(Porolog::Rule)</small>
171
+ <small>(Porolog::Instantiation)</small>
157
172
 
158
173
  </li>
159
174
 
160
175
  <li>
161
- <span class='object_link'><a href="Porolog/Value/Error.html" title="Porolog::Value::Error (class)">Error</a></span>
176
+ <span class='object_link'><a href="Porolog/Rule/Error.html" title="Porolog::Rule::Error (class)">Error</a></span>
162
177
 
163
- <small>(Porolog::Value)</small>
178
+ <small>(Porolog::Rule)</small>
164
179
 
165
180
  </li>
166
181
 
@@ -175,21 +190,6 @@
175
190
  </ul>
176
191
 
177
192
 
178
- <ul id="alpha_E" class="alpha">
179
- <li class="letter">E</li>
180
- <ul>
181
-
182
- <li>
183
- <span class='object_link'><a href="Porolog/Value/Error.html" title="Porolog::Value::Error (class)">Error</a></span>
184
-
185
- <small>(Porolog::Value)</small>
186
-
187
- </li>
188
-
189
- </ul>
190
- </ul>
191
-
192
-
193
193
  <ul id="alpha_G" class="alpha">
194
194
  <li class="letter">G</li>
195
195
  <ul>
@@ -202,16 +202,16 @@
202
202
  </li>
203
203
 
204
204
  <li>
205
- <span class='object_link'><a href="Porolog/Variable/GoalError.html" title="Porolog::Variable::GoalError (class)">GoalError</a></span>
205
+ <span class='object_link'><a href="Porolog/Value/GoalError.html" title="Porolog::Value::GoalError (class)">GoalError</a></span>
206
206
 
207
- <small>(Porolog::Variable)</small>
207
+ <small>(Porolog::Value)</small>
208
208
 
209
209
  </li>
210
210
 
211
211
  <li>
212
- <span class='object_link'><a href="Porolog/Value/GoalError.html" title="Porolog::Value::GoalError (class)">GoalError</a></span>
212
+ <span class='object_link'><a href="Porolog/Variable/GoalError.html" title="Porolog::Variable::GoalError (class)">GoalError</a></span>
213
213
 
214
- <small>(Porolog::Value)</small>
214
+ <small>(Porolog::Variable)</small>
215
215
 
216
216
  </li>
217
217
 
@@ -249,6 +249,9 @@
249
249
  </ul>
250
250
 
251
251
 
252
+ </td><td valign='top' width="33%">
253
+
254
+
252
255
  <ul id="alpha_N" class="alpha">
253
256
  <li class="letter">N</li>
254
257
  <ul>
@@ -274,6 +277,13 @@
274
277
 
275
278
  </li>
276
279
 
280
+ <li>
281
+ <span class='object_link'><a href="Porolog/NonVariableError.html" title="Porolog::NonVariableError (class)">NonVariableError</a></span>
282
+
283
+ <small>(Porolog)</small>
284
+
285
+ </li>
286
+
277
287
  <li>
278
288
  <span class='object_link'><a href="Porolog/Scope/NotPredicateError.html" title="Porolog::Scope::NotPredicateError (class)">NotPredicateError</a></span>
279
289
 
@@ -292,9 +302,6 @@
292
302
  </ul>
293
303
 
294
304
 
295
- </td><td valign='top' width="33%">
296
-
297
-
298
305
  <ul id="alpha_O" class="alpha">
299
306
  <li class="letter">O</li>
300
307
  <ul>
@@ -335,9 +342,6 @@
335
342
  </ul>
336
343
 
337
344
 
338
- </td><td valign='top' width="33%">
339
-
340
-
341
345
  <ul id="alpha_R" class="alpha">
342
346
  <li class="letter">R</li>
343
347
  <ul>
@@ -435,26 +439,6 @@
435
439
 
436
440
  </li>
437
441
 
438
- <li>
439
- <span class='object_link'><a href="Symbol.html" title="Symbol (class)">Symbol</a></span>
440
-
441
- </li>
442
-
443
- </ul>
444
- </ul>
445
-
446
-
447
- <ul id="alpha_V" class="alpha">
448
- <li class="letter">V</li>
449
- <ul>
450
-
451
- <li>
452
- <span class='object_link'><a href="Porolog/Value.html" title="Porolog::Value (class)">Value</a></span>
453
-
454
- <small>(Porolog)</small>
455
-
456
- </li>
457
-
458
442
  </ul>
459
443
  </ul>
460
444
 
@@ -467,7 +451,7 @@
467
451
  </div>
468
452
 
469
453
  <div id="footer">
470
- Generated on Mon Jul 6 22:54:45 2020 by
454
+ Generated on Sun Aug 2 19:24:16 2020 by
471
455
  <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
472
456
  0.9.19 (ruby-2.6.5).
473
457
  </div>
data/doc/class_list.html CHANGED
@@ -43,7 +43,7 @@
43
43
 
44
44
  <ul id="full_list" class="class">
45
45
  <li id="object_" class="odd"><div class="item" style="padding-left:30px"><span class='object_link'><a href="top-level-namespace.html" title="Top Level Namespace (root)">Top Level Namespace</a></span></div></li>
46
- <li id='object_Array' class='even'><div class='item' style='padding-left:30px'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span> &lt; Object<small class='search_info'>Top Level Namespace</small></div></li><li id='object_Object' class='odd'><div class='item' style='padding-left:30px'><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span> &lt; BasicObject<small class='search_info'>Top Level Namespace</small></div></li><li id='object_Porolog' class='even'><div class='item' style='padding-left:30px'><a class='toggle'></a> <span class='object_link'><a href="Porolog.html" title="Porolog (module)">Porolog</a></span><small class='search_info'>Top Level Namespace</small></div><ul><li id='object_Porolog::Arguments' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/Arguments.html" title="Porolog::Arguments (class)">Arguments</a></span> &lt; Object<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::Goal' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Goal</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Goal::DefinitionError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Goal/DefinitionError.html" title="Porolog::Goal::DefinitionError (class)">DefinitionError</a></span> &lt; Error<small class='search_info'>Porolog::Goal</small></div></li><li id='object_Porolog::Goal::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Goal/Error.html" title="Porolog::Goal::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Goal</small></div></li><li id='object_Porolog::Goal::NotVariableError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Goal/NotVariableError.html" title="Porolog::Goal::NotVariableError (class)">NotVariableError</a></span> &lt; Error<small class='search_info'>Porolog::Goal</small></div></li></ul></li><li id='object_Porolog::Instantiation' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Instantiation.html" title="Porolog::Instantiation (class)">Instantiation</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Instantiation::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Instantiation/Error.html" title="Porolog::Instantiation::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Instantiation</small></div></li><li id='object_Porolog::Instantiation::NoVariableError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Instantiation/NoVariableError.html" title="Porolog::Instantiation::NoVariableError (class)">NoVariableError</a></span> &lt; Error<small class='search_info'>Porolog::Instantiation</small></div></li><li id='object_Porolog::Instantiation::UnhandledIndexError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Instantiation/UnhandledIndexError.html" title="Porolog::Instantiation::UnhandledIndexError (class)">UnhandledIndexError</a></span> &lt; Error<small class='search_info'>Porolog::Instantiation</small></div></li></ul></li><li id='object_Porolog::NoGoalError' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/NoGoalError.html" title="Porolog::NoGoalError (class)">NoGoalError</a></span> &lt; PorologError<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::PorologError' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/PorologError.html" title="Porolog::PorologError (class)">PorologError</a></span> &lt; RuntimeError<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::Predicate' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Predicate</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Predicate::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Predicate/Error.html" title="Porolog::Predicate::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Predicate</small></div></li><li id='object_Porolog::Predicate::NameError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Predicate/NameError.html" title="Porolog::Predicate::NameError (class)">NameError</a></span> &lt; Error<small class='search_info'>Porolog::Predicate</small></div></li></ul></li><li id='object_Porolog::Rule' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Rule.html" title="Porolog::Rule (class)">Rule</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Rule::DefinitionError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Rule/DefinitionError.html" title="Porolog::Rule::DefinitionError (class)">DefinitionError</a></span> &lt; Error<small class='search_info'>Porolog::Rule</small></div></li><li id='object_Porolog::Rule::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Rule/Error.html" title="Porolog::Rule::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Rule</small></div></li></ul></li><li id='object_Porolog::Scope' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Scope.html" title="Porolog::Scope (class)">Scope</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Scope::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Scope/Error.html" title="Porolog::Scope::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Scope</small></div></li><li id='object_Porolog::Scope::NotPredicateError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Scope/NotPredicateError.html" title="Porolog::Scope::NotPredicateError (class)">NotPredicateError</a></span> &lt; Error<small class='search_info'>Porolog::Scope</small></div></li></ul></li><li id='object_Porolog::Tail' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span> &lt; Object<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::Value' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Value.html" title="Porolog::Value (class)">Value</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Value::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Value/Error.html" title="Porolog::Value::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Value</small></div></li><li id='object_Porolog::Value::GoalError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Value/GoalError.html" title="Porolog::Value::GoalError (class)">GoalError</a></span> &lt; Error<small class='search_info'>Porolog::Value</small></div></li></ul></li><li id='object_Porolog::Variable' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Variable::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/Error.html" title="Porolog::Variable::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Variable</small></div></li><li id='object_Porolog::Variable::GoalError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/GoalError.html" title="Porolog::Variable::GoalError (class)">GoalError</a></span> &lt; Error<small class='search_info'>Porolog::Variable</small></div></li><li id='object_Porolog::Variable::MultipleValuesError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/MultipleValuesError.html" title="Porolog::Variable::MultipleValuesError (class)">MultipleValuesError</a></span> &lt; Error<small class='search_info'>Porolog::Variable</small></div></li><li id='object_Porolog::Variable::SelfReferentialError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/SelfReferentialError.html" title="Porolog::Variable::SelfReferentialError (class)">SelfReferentialError</a></span> &lt; Error<small class='search_info'>Porolog::Variable</small></div></li><li id='object_Porolog::Variable::UnexpectedError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/UnexpectedError.html" title="Porolog::Variable::UnexpectedError (class)">UnexpectedError</a></span> &lt; Error<small class='search_info'>Porolog::Variable</small></div></li></ul></li></ul></li><li id='object_Symbol' class='even'><div class='item' style='padding-left:30px'><span class='object_link'><a href="Symbol.html" title="Symbol (class)">Symbol</a></span> &lt; Object<small class='search_info'>Top Level Namespace</small></div></li>
46
+ <li id='object_Array' class='even'><div class='item' style='padding-left:30px'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span> &lt; Object<small class='search_info'>Top Level Namespace</small></div></li><li id='object_Object' class='odd'><div class='item' style='padding-left:30px'><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span> &lt; BasicObject<small class='search_info'>Top Level Namespace</small></div></li><li id='object_Porolog' class='even'><div class='item' style='padding-left:30px'><a class='toggle'></a> <span class='object_link'><a href="Porolog.html" title="Porolog (module)">Porolog</a></span><small class='search_info'>Top Level Namespace</small></div><ul><li id='object_Porolog::Arguments' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/Arguments.html" title="Porolog::Arguments (class)">Arguments</a></span> &lt; Object<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::Goal' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Goal</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Goal::DefinitionError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Goal/DefinitionError.html" title="Porolog::Goal::DefinitionError (class)">DefinitionError</a></span> &lt; Error<small class='search_info'>Porolog::Goal</small></div></li><li id='object_Porolog::Goal::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Goal/Error.html" title="Porolog::Goal::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Goal</small></div></li><li id='object_Porolog::Goal::NotVariableError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Goal/NotVariableError.html" title="Porolog::Goal::NotVariableError (class)">NotVariableError</a></span> &lt; Error<small class='search_info'>Porolog::Goal</small></div></li></ul></li><li id='object_Porolog::Instantiation' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Instantiation.html" title="Porolog::Instantiation (class)">Instantiation</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Instantiation::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Instantiation/Error.html" title="Porolog::Instantiation::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Instantiation</small></div></li><li id='object_Porolog::Instantiation::NoVariableError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Instantiation/NoVariableError.html" title="Porolog::Instantiation::NoVariableError (class)">NoVariableError</a></span> &lt; Error<small class='search_info'>Porolog::Instantiation</small></div></li><li id='object_Porolog::Instantiation::UnhandledIndexError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Instantiation/UnhandledIndexError.html" title="Porolog::Instantiation::UnhandledIndexError (class)">UnhandledIndexError</a></span> &lt; Error<small class='search_info'>Porolog::Instantiation</small></div></li></ul></li><li id='object_Porolog::NoGoalError' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/NoGoalError.html" title="Porolog::NoGoalError (class)">NoGoalError</a></span> &lt; PorologError<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::NonVariableError' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/NonVariableError.html" title="Porolog::NonVariableError (class)">NonVariableError</a></span> &lt; PorologError<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::PorologError' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/PorologError.html" title="Porolog::PorologError (class)">PorologError</a></span> &lt; RuntimeError<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::Predicate' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Predicate</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Predicate::Builtin' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Predicate/Builtin.html" title="Porolog::Predicate::Builtin (module)">Builtin</a></span><small class='search_info'>Porolog::Predicate</small></div></li><li id='object_Porolog::Predicate::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Predicate/Error.html" title="Porolog::Predicate::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Predicate</small></div></li><li id='object_Porolog::Predicate::NameError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Predicate/NameError.html" title="Porolog::Predicate::NameError (class)">NameError</a></span> &lt; Error<small class='search_info'>Porolog::Predicate</small></div></li></ul></li><li id='object_Porolog::Rule' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Rule.html" title="Porolog::Rule (class)">Rule</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Rule::DefinitionError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Rule/DefinitionError.html" title="Porolog::Rule::DefinitionError (class)">DefinitionError</a></span> &lt; Error<small class='search_info'>Porolog::Rule</small></div></li><li id='object_Porolog::Rule::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Rule/Error.html" title="Porolog::Rule::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Rule</small></div></li></ul></li><li id='object_Porolog::Scope' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Scope.html" title="Porolog::Scope (class)">Scope</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Scope::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Scope/Error.html" title="Porolog::Scope::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Scope</small></div></li><li id='object_Porolog::Scope::NotPredicateError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Scope/NotPredicateError.html" title="Porolog::Scope::NotPredicateError (class)">NotPredicateError</a></span> &lt; Error<small class='search_info'>Porolog::Scope</small></div></li></ul></li><li id='object_Porolog::Tail' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span> &lt; Object<small class='search_info'>Porolog</small></div></li><li id='object_Porolog::Value' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Value.html" title="Porolog::Value (class)">Value</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Value::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Value/Error.html" title="Porolog::Value::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Value</small></div></li><li id='object_Porolog::Value::GoalError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Value/GoalError.html" title="Porolog::Value::GoalError (class)">GoalError</a></span> &lt; Error<small class='search_info'>Porolog::Value</small></div></li></ul></li><li id='object_Porolog::Variable' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span> &lt; Object<small class='search_info'>Porolog</small></div><ul><li id='object_Porolog::Variable::Error' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/Error.html" title="Porolog::Variable::Error (class)">Error</a></span> &lt; PorologError<small class='search_info'>Porolog::Variable</small></div></li><li id='object_Porolog::Variable::GoalError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/GoalError.html" title="Porolog::Variable::GoalError (class)">GoalError</a></span> &lt; Error<small class='search_info'>Porolog::Variable</small></div></li><li id='object_Porolog::Variable::MultipleValuesError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/MultipleValuesError.html" title="Porolog::Variable::MultipleValuesError (class)">MultipleValuesError</a></span> &lt; Error<small class='search_info'>Porolog::Variable</small></div></li><li id='object_Porolog::Variable::SelfReferentialError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/SelfReferentialError.html" title="Porolog::Variable::SelfReferentialError (class)">SelfReferentialError</a></span> &lt; Error<small class='search_info'>Porolog::Variable</small></div></li><li id='object_Porolog::Variable::UnexpectedError' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Porolog/Variable/UnexpectedError.html" title="Porolog::Variable::UnexpectedError (class)">UnexpectedError</a></span> &lt; Error<small class='search_info'>Porolog::Variable</small></div></li></ul></li></ul></li><li id='object_Symbol' class='odd'><div class='item' style='padding-left:30px'><span class='object_link'><a href="Symbol.html" title="Symbol (class)">Symbol</a></span> &lt; Object<small class='search_info'>Top Level Namespace</small></div></li>
47
47
 
48
48
  </ul>
49
49
  </div>
data/doc/file.README.html CHANGED
@@ -62,9 +62,9 @@
62
62
 
63
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>
64
64
 
65
- <p>Plain Old Ruby Objects Prolog (WORK IN PROGRESS)</p>
65
+ <p>Plain Old Ruby Objects Prolog</p>
66
66
 
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>
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> <a href="https://github.com/wizardofosmium/porolog"><img src="https://github.com/wizardofosmium/porolog/blob/master/coverage/badge.svg"></a></p>
68
68
 
69
69
  <h2 id="label-Introduction">Introduction</h2>
70
70
 
@@ -72,6 +72,8 @@
72
72
 
73
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>
74
74
 
75
+ <p>This version completes the minimal/generic logic engine along with some standard builtin predicates. Custom builtin predicates can be easily added.</p>
76
+
75
77
  <h2 id="label-Dependencies">Dependencies</h2>
76
78
 
77
79
  <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>
@@ -92,7 +94,9 @@
92
94
  <p>solving goals</p>
93
95
  </li></ul>
94
96
 
95
- <p>It is entirely possible to create a Ruby program that is effectively just a Prolog program.</p>
97
+ <p>It is entirely possible to create a Ruby program that is effectively just a Prolog program. The main purpose of Porolog though is to add declarative logic programming to Ruby and allow hybrid programming, in the same way that Ruby allows hybrid programming in the functional programming paradigm.</p>
98
+
99
+ <p>This then Ruby programs to be written spanning all the major programming paradigms: - Imperative - Functional - Object Oriented - Declarative Logic</p>
96
100
 
97
101
  <h3 id="label-Basic+Usage">Basic Usage</h3>
98
102
 
@@ -231,7 +235,7 @@
231
235
  </div></div>
232
236
 
233
237
  <div id="footer">
234
- Generated on Mon Jul 6 22:54:45 2020 by
238
+ Generated on Sun Aug 2 19:24:16 2020 by
235
239
  <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
236
240
  0.9.19 (ruby-2.6.5).
237
241
  </div>
data/doc/index.html CHANGED
@@ -62,9 +62,9 @@
62
62
 
63
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>
64
64
 
65
- <p>Plain Old Ruby Objects Prolog (WORK IN PROGRESS)</p>
65
+ <p>Plain Old Ruby Objects Prolog</p>
66
66
 
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>
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> <a href="https://github.com/wizardofosmium/porolog"><img src="https://github.com/wizardofosmium/porolog/blob/master/coverage/badge.svg"></a></p>
68
68
 
69
69
  <h2 id="label-Introduction">Introduction</h2>
70
70
 
@@ -72,6 +72,8 @@
72
72
 
73
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>
74
74
 
75
+ <p>This version completes the minimal/generic logic engine along with some standard builtin predicates. Custom builtin predicates can be easily added.</p>
76
+
75
77
  <h2 id="label-Dependencies">Dependencies</h2>
76
78
 
77
79
  <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>
@@ -92,7 +94,9 @@
92
94
  <p>solving goals</p>
93
95
  </li></ul>
94
96
 
95
- <p>It is entirely possible to create a Ruby program that is effectively just a Prolog program.</p>
97
+ <p>It is entirely possible to create a Ruby program that is effectively just a Prolog program. The main purpose of Porolog though is to add declarative logic programming to Ruby and allow hybrid programming, in the same way that Ruby allows hybrid programming in the functional programming paradigm.</p>
98
+
99
+ <p>This then Ruby programs to be written spanning all the major programming paradigms: - Imperative - Functional - Object Oriented - Declarative Logic</p>
96
100
 
97
101
  <h3 id="label-Basic+Usage">Basic Usage</h3>
98
102
 
@@ -231,7 +235,7 @@
231
235
  </div></div>
232
236
 
233
237
  <div id="footer">
234
- Generated on Mon Jul 6 22:54:45 2020 by
238
+ Generated on Sun Aug 2 19:24:16 2020 by
235
239
  <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
236
240
  0.9.19 (ruby-2.6.5).
237
241
  </div>
data/doc/method_list.html CHANGED
@@ -61,14 +61,6 @@
61
61
 
62
62
 
63
63
  <li class="odd ">
64
- <div class="item">
65
- <span class='object_link'><a href="Porolog/Predicate.html#<<-instance_method" title="Porolog::Predicate#&lt;&lt; (method)">#&lt;&lt;</a></span>
66
- <small>Porolog::Predicate</small>
67
- </div>
68
- </li>
69
-
70
-
71
- <li class="even ">
72
64
  <div class="item">
73
65
  <span class='object_link'><a href="Porolog/Arguments.html#<<-instance_method" title="Porolog::Arguments#&lt;&lt; (method)">#&lt;&lt;</a></span>
74
66
  <small>Porolog::Arguments</small>
@@ -76,10 +68,10 @@
76
68
  </li>
77
69
 
78
70
 
79
- <li class="odd ">
71
+ <li class="even ">
80
72
  <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>
73
+ <span class='object_link'><a href="Porolog/Predicate.html#<<-instance_method" title="Porolog::Predicate#&lt;&lt; (method)">#&lt;&lt;</a></span>
74
+ <small>Porolog::Predicate</small>
83
75
  </div>
84
76
  </li>
85
77
 
@@ -94,24 +86,24 @@
94
86
 
95
87
  <li class="even ">
96
88
  <div class="item">
97
- <span class='object_link'><a href="Porolog/Value.html#==-instance_method" title="Porolog::Value#== (method)">#==</a></span>
98
- <small>Porolog::Value</small>
89
+ <span class='object_link'><a href="Porolog/Variable.html#==-instance_method" title="Porolog::Variable#== (method)">#==</a></span>
90
+ <small>Porolog::Variable</small>
99
91
  </div>
100
92
  </li>
101
93
 
102
94
 
103
95
  <li class="odd ">
104
96
  <div class="item">
105
- <span class='object_link'><a href="Porolog/Variable.html#==-instance_method" title="Porolog::Variable#== (method)">#==</a></span>
106
- <small>Porolog::Variable</small>
97
+ <span class='object_link'><a href="Porolog/Tail.html#==-instance_method" title="Porolog::Tail#== (method)">#==</a></span>
98
+ <small>Porolog::Tail</small>
107
99
  </div>
108
100
  </li>
109
101
 
110
102
 
111
103
  <li class="even ">
112
104
  <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>
105
+ <span class='object_link'><a href="Porolog/Arguments.html#==-instance_method" title="Porolog::Arguments#== (method)">#==</a></span>
106
+ <small>Porolog::Arguments</small>
115
107
  </div>
116
108
  </li>
117
109
 
@@ -126,31 +118,31 @@
126
118
 
127
119
  <li class="even ">
128
120
  <div class="item">
129
- <span class='object_link'><a href="Porolog/Predicate.html#[]-class_method" title="Porolog::Predicate.[] (method)">[]</a></span>
130
- <small>Porolog::Predicate</small>
121
+ <span class='object_link'><a href="Porolog/Scope.html#[]-class_method" title="Porolog::Scope.[] (method)">[]</a></span>
122
+ <small>Porolog::Scope</small>
131
123
  </div>
132
124
  </li>
133
125
 
134
126
 
135
127
  <li class="odd ">
136
128
  <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>
129
+ <span class='object_link'><a href="Porolog/Scope.html#[]-instance_method" title="Porolog::Scope#[] (method)">#[]</a></span>
130
+ <small>Porolog::Scope</small>
139
131
  </div>
140
132
  </li>
141
133
 
142
134
 
143
135
  <li class="even ">
144
136
  <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>
137
+ <span class='object_link'><a href="Porolog/Predicate.html#[]-class_method" title="Porolog::Predicate.[] (method)">[]</a></span>
138
+ <small>Porolog::Predicate</small>
147
139
  </div>
148
140
  </li>
149
141
 
150
142
 
151
143
  <li class="odd ">
152
144
  <div class="item">
153
- <span class='object_link'><a href="Porolog/Scope.html#[]-instance_method" title="Porolog::Scope#[] (method)">#[]</a></span>
145
+ <span class='object_link'><a href="Porolog/Scope.html#[]=-instance_method" title="Porolog::Scope#[]= (method)">#[]=</a></span>
154
146
  <small>Porolog::Scope</small>
155
147
  </div>
156
148
  </li>
@@ -174,16 +166,16 @@
174
166
 
175
167
  <li class="even ">
176
168
  <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>
169
+ <span class='object_link'><a href="Porolog.html#anonymous-instance_method" title="Porolog#anonymous (method)">#anonymous</a></span>
170
+ <small>Porolog</small>
179
171
  </div>
180
172
  </li>
181
173
 
182
174
 
183
175
  <li class="odd ">
184
176
  <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>
177
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#append-instance_method" title="Porolog::Predicate::Builtin#append (method)">#append</a></span>
178
+ <small>Porolog::Predicate::Builtin</small>
187
179
  </div>
188
180
  </li>
189
181
 
@@ -198,8 +190,8 @@
198
190
 
199
191
  <li class="odd ">
200
192
  <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>
193
+ <span class='object_link'><a href="Porolog/Rule.html#arguments-instance_method" title="Porolog::Rule#arguments (method)">#arguments</a></span>
194
+ <small>Porolog::Rule</small>
203
195
  </div>
204
196
  </li>
205
197
 
@@ -212,6 +204,38 @@
212
204
  </li>
213
205
 
214
206
 
207
+ <li class="odd ">
208
+ <div class="item">
209
+ <span class='object_link'><a href="Porolog/Predicate.html#arguments-instance_method" title="Porolog::Predicate#arguments (method)">#arguments</a></span>
210
+ <small>Porolog::Predicate</small>
211
+ </div>
212
+ </li>
213
+
214
+
215
+ <li class="even ">
216
+ <div class="item">
217
+ <span class='object_link'><a href="Porolog/Arguments.html#arguments-class_method" title="Porolog::Arguments.arguments (method)">arguments</a></span>
218
+ <small>Porolog::Arguments</small>
219
+ </div>
220
+ </li>
221
+
222
+
223
+ <li class="odd ">
224
+ <div class="item">
225
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#atom-instance_method" title="Porolog::Predicate::Builtin#atom (method)">#atom</a></span>
226
+ <small>Porolog::Predicate::Builtin</small>
227
+ </div>
228
+ </li>
229
+
230
+
231
+ <li class="even ">
232
+ <div class="item">
233
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#atomic-instance_method" title="Porolog::Predicate::Builtin#atomic (method)">#atomic</a></span>
234
+ <small>Porolog::Predicate::Builtin</small>
235
+ </div>
236
+ </li>
237
+
238
+
215
239
  <li class="odd ">
216
240
  <div class="item">
217
241
  <span class='object_link'><a href="Porolog/Instantiation.html#belongs_to%3F-instance_method" title="Porolog::Instantiation#belongs_to? (method)">#belongs_to?</a></span>
@@ -222,13 +246,37 @@
222
246
 
223
247
  <li class="even ">
224
248
  <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>
249
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#between-instance_method" title="Porolog::Predicate::Builtin#between (method)">#between</a></span>
250
+ <small>Porolog::Predicate::Builtin</small>
251
+ </div>
252
+ </li>
253
+
254
+
255
+ <li class="odd ">
256
+ <div class="item">
257
+ <span class='object_link'><a href="Porolog/Arguments.html#block-instance_method" title="Porolog::Arguments#block (method)">#block</a></span>
258
+ <small>Porolog::Arguments</small>
259
+ </div>
260
+ </li>
261
+
262
+
263
+ <li class="even ">
264
+ <div class="item">
265
+ <span class='object_link'><a href="Porolog.html#builtin-instance_method" title="Porolog#builtin (method)">#builtin</a></span>
266
+ <small>Porolog</small>
227
267
  </div>
228
268
  </li>
229
269
 
230
270
 
231
271
  <li class="odd ">
272
+ <div class="item">
273
+ <span class='object_link'><a href="Porolog/Predicate.html#builtin%3F-instance_method" title="Porolog::Predicate#builtin? (method)">#builtin?</a></span>
274
+ <small>Porolog::Predicate</small>
275
+ </div>
276
+ </li>
277
+
278
+
279
+ <li class="even ">
232
280
  <div class="item">
233
281
  <span class='object_link'><a href="Porolog/Predicate.html#call-instance_method" title="Porolog::Predicate#call (method)">#call</a></span>
234
282
  <small>Porolog::Predicate</small>
@@ -236,6 +284,14 @@
236
284
  </li>
237
285
 
238
286
 
287
+ <li class="odd ">
288
+ <div class="item">
289
+ <span class='object_link'><a href="Porolog/Predicate.html#call_builtin-class_method" title="Porolog::Predicate.call_builtin (method)">call_builtin</a></span>
290
+ <small>Porolog::Predicate</small>
291
+ </div>
292
+ </li>
293
+
294
+
239
295
  <li class="even ">
240
296
  <div class="item">
241
297
  <span class='object_link'><a href="Porolog/Goal.html#calling_goal-instance_method" title="Porolog::Goal#calling_goal (method)">#calling_goal</a></span>
@@ -253,6 +309,14 @@
253
309
 
254
310
 
255
311
  <li class="even ">
312
+ <div class="item">
313
+ <span class='object_link'><a href="Array.html#clean-instance_method" title="Array#clean (method)">#clean</a></span>
314
+ <small>Array</small>
315
+ </div>
316
+ </li>
317
+
318
+
319
+ <li class="odd ">
256
320
  <div class="item">
257
321
  <span class='object_link'><a href="Porolog/Arguments.html#cut_fact!-instance_method" title="Porolog::Arguments#cut_fact! (method)">#cut_fact!</a></span>
258
322
  <small>Porolog::Arguments</small>
@@ -260,7 +324,7 @@
260
324
  </li>
261
325
 
262
326
 
263
- <li class="odd ">
327
+ <li class="even ">
264
328
  <div class="item">
265
329
  <span class='object_link'><a href="Porolog/Arguments.html#cut_falicy!-instance_method" title="Porolog::Arguments#cut_falicy! (method)">#cut_falicy!</a></span>
266
330
  <small>Porolog::Arguments</small>
@@ -268,7 +332,7 @@
268
332
  </li>
269
333
 
270
334
 
271
- <li class="even ">
335
+ <li class="odd ">
272
336
  <div class="item">
273
337
  <span class='object_link'><a href="Porolog/Rule.html#definition-instance_method" title="Porolog::Rule#definition (method)">#definition</a></span>
274
338
  <small>Porolog::Rule</small>
@@ -276,7 +340,7 @@
276
340
  </li>
277
341
 
278
342
 
279
- <li class="odd ">
343
+ <li class="even ">
280
344
  <div class="item">
281
345
  <span class='object_link'><a href="Porolog/Goal.html#delete!-instance_method" title="Porolog::Goal#delete! (method)">#delete!</a></span>
282
346
  <small>Porolog::Goal</small>
@@ -284,6 +348,14 @@
284
348
  </li>
285
349
 
286
350
 
351
+ <li class="odd ">
352
+ <div class="item">
353
+ <span class='object_link'><a href="Porolog/Goal.html#deleted%3F-instance_method" title="Porolog::Goal#deleted? (method)">#deleted?</a></span>
354
+ <small>Porolog::Goal</small>
355
+ </div>
356
+ </li>
357
+
358
+
287
359
  <li class="even ">
288
360
  <div class="item">
289
361
  <span class='object_link'><a href="Porolog/Instantiation.html#deleted%3F-instance_method" title="Porolog::Instantiation#deleted? (method)">#deleted?</a></span>
@@ -294,7 +366,7 @@
294
366
 
295
367
  <li class="odd ">
296
368
  <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>
369
+ <span class='object_link'><a href="Porolog/Goal.html#description-instance_method" title="Porolog::Goal#description (method)">#description</a></span>
298
370
  <small>Porolog::Goal</small>
299
371
  </div>
300
372
  </li>
@@ -302,21 +374,21 @@
302
374
 
303
375
  <li class="even ">
304
376
  <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>
377
+ <span class='object_link'><a href="Porolog/Arguments.html#dup-instance_method" title="Porolog::Arguments#dup (method)">#dup</a></span>
378
+ <small>Porolog::Arguments</small>
307
379
  </div>
308
380
  </li>
309
381
 
310
382
 
311
383
  <li class="odd ">
312
384
  <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>
385
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#eq-instance_method" title="Porolog::Predicate::Builtin#eq (method)">#eq</a></span>
386
+ <small>Porolog::Predicate::Builtin</small>
315
387
  </div>
316
388
  </li>
317
389
 
318
390
 
319
- <li class="odd ">
391
+ <li class="even ">
320
392
  <div class="item">
321
393
  <span class='object_link'><a href="Porolog/Arguments.html#evaluates-instance_method" title="Porolog::Arguments#evaluates (method)">#evaluates</a></span>
322
394
  <small>Porolog::Arguments</small>
@@ -324,7 +396,7 @@
324
396
  </li>
325
397
 
326
398
 
327
- <li class="even ">
399
+ <li class="odd ">
328
400
  <div class="item">
329
401
  <span class='object_link'><a href="Porolog.html#expand_splat-instance_method" title="Porolog#expand_splat (method)">#expand_splat</a></span>
330
402
  <small>Porolog</small>
@@ -350,24 +422,24 @@
350
422
 
351
423
  <li class="even ">
352
424
  <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>
425
+ <span class='object_link'><a href="Array.html#goal-instance_method" title="Array#goal (method)">#goal</a></span>
426
+ <small>Array</small>
355
427
  </div>
356
428
  </li>
357
429
 
358
430
 
359
431
  <li class="odd ">
360
432
  <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>
433
+ <span class='object_link'><a href="Porolog/Value.html#goal-instance_method" title="Porolog::Value#goal (method)">#goal</a></span>
434
+ <small>Porolog::Value</small>
363
435
  </div>
364
436
  </li>
365
437
 
366
438
 
367
439
  <li class="even ">
368
440
  <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>
441
+ <span class='object_link'><a href="Porolog/Variable.html#goal-instance_method" title="Porolog::Variable#goal (method)">#goal</a></span>
442
+ <small>Porolog::Variable</small>
371
443
  </div>
372
444
  </li>
373
445
 
@@ -381,6 +453,14 @@
381
453
 
382
454
 
383
455
  <li class="even ">
456
+ <div class="item">
457
+ <span class='object_link'><a href="Porolog/Goal.html#goal_count-class_method" title="Porolog::Goal.goal_count (method)">goal_count</a></span>
458
+ <small>Porolog::Goal</small>
459
+ </div>
460
+ </li>
461
+
462
+
463
+ <li class="odd ">
384
464
  <div class="item">
385
465
  <span class='object_link'><a href="Porolog/Instantiation.html#goals-instance_method" title="Porolog::Instantiation#goals (method)">#goals</a></span>
386
466
  <small>Porolog::Instantiation</small>
@@ -388,7 +468,7 @@
388
468
  </li>
389
469
 
390
470
 
391
- <li class="odd ">
471
+ <li class="even ">
392
472
  <div class="item">
393
473
  <span class='object_link'><a href="Porolog/Goal.html#goals-class_method" title="Porolog::Goal.goals (method)">goals</a></span>
394
474
  <small>Porolog::Goal</small>
@@ -398,21 +478,29 @@
398
478
 
399
479
  <li class="odd ">
400
480
  <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>
481
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#gtr-instance_method" title="Porolog::Predicate::Builtin#gtr (method)">#gtr</a></span>
482
+ <small>Porolog::Predicate::Builtin</small>
403
483
  </div>
404
484
  </li>
405
485
 
406
486
 
407
487
  <li class="even ">
408
488
  <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>
489
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#gtreq-instance_method" title="Porolog::Predicate::Builtin#gtreq (method)">#gtreq</a></span>
490
+ <small>Porolog::Predicate::Builtin</small>
411
491
  </div>
412
492
  </li>
413
493
 
414
494
 
415
495
  <li class="odd ">
496
+ <div class="item">
497
+ <span class='object_link'><a href="Porolog.html#has_tail%3F-instance_method" title="Porolog#has_tail? (method)">#has_tail?</a></span>
498
+ <small>Porolog</small>
499
+ </div>
500
+ </li>
501
+
502
+
503
+ <li class="even ">
416
504
  <div class="item">
417
505
  <span class='object_link'><a href="Array.html#head-instance_method" title="Array#head (method)">#head</a></span>
418
506
  <small>Array</small>
@@ -422,8 +510,8 @@
422
510
 
423
511
  <li class="odd ">
424
512
  <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>
513
+ <span class='object_link'><a href="Array.html#headtail%3F-instance_method" title="Array#headtail? (method)">#headtail?</a></span>
514
+ <small>Array</small>
427
515
  </div>
428
516
  </li>
429
517
 
@@ -438,23 +526,23 @@
438
526
 
439
527
  <li class="odd ">
440
528
  <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>
529
+ <span class='object_link'><a href="Porolog/Goal.html#index-instance_method" title="Porolog::Goal#index (method)">#index</a></span>
530
+ <small>Porolog::Goal</small>
443
531
  </div>
444
532
  </li>
445
533
 
446
534
 
447
535
  <li class="even ">
448
536
  <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>
537
+ <span class='object_link'><a href="Porolog/Instantiation.html#index1-instance_method" title="Porolog::Instantiation#index1 (method)">#index1</a></span>
538
+ <small>Porolog::Instantiation</small>
451
539
  </div>
452
540
  </li>
453
541
 
454
542
 
455
543
  <li class="odd ">
456
544
  <div class="item">
457
- <span class='object_link'><a href="Porolog/Instantiation.html#index1-instance_method" title="Porolog::Instantiation#index1 (method)">#index1</a></span>
545
+ <span class='object_link'><a href="Porolog/Instantiation.html#index2-instance_method" title="Porolog::Instantiation#index2 (method)">#index2</a></span>
458
546
  <small>Porolog::Instantiation</small>
459
547
  </div>
460
548
  </li>
@@ -462,40 +550,40 @@
462
550
 
463
551
  <li class="even ">
464
552
  <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>
553
+ <span class='object_link'><a href="Porolog/Goal.html#inherit_variables-instance_method" title="Porolog::Goal#inherit_variables (method)">#inherit_variables</a></span>
554
+ <small>Porolog::Goal</small>
467
555
  </div>
468
556
  </li>
469
557
 
470
558
 
471
559
  <li class="odd ">
472
560
  <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>
561
+ <span class='object_link'><a href="Porolog/Value.html#initialize-instance_method" title="Porolog::Value#initialize (method)">#initialize</a></span>
562
+ <small>Porolog::Value</small>
475
563
  </div>
476
564
  </li>
477
565
 
478
566
 
479
567
  <li class="even ">
480
568
  <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>
569
+ <span class='object_link'><a href="Porolog/Rule.html#initialize-instance_method" title="Porolog::Rule#initialize (method)">#initialize</a></span>
570
+ <small>Porolog::Rule</small>
483
571
  </div>
484
572
  </li>
485
573
 
486
574
 
487
575
  <li class="odd ">
488
576
  <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>
577
+ <span class='object_link'><a href="Porolog/Tail.html#initialize-instance_method" title="Porolog::Tail#initialize (method)">#initialize</a></span>
578
+ <small>Porolog::Tail</small>
491
579
  </div>
492
580
  </li>
493
581
 
494
582
 
495
583
  <li class="even ">
496
584
  <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>
585
+ <span class='object_link'><a href="Porolog/Predicate.html#initialize-instance_method" title="Porolog::Predicate#initialize (method)">#initialize</a></span>
586
+ <small>Porolog::Predicate</small>
499
587
  </div>
500
588
  </li>
501
589
 
@@ -508,15 +596,15 @@
508
596
  </li>
509
597
 
510
598
 
511
- <li class="odd ">
599
+ <li class="even ">
512
600
  <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>
601
+ <span class='object_link'><a href="Porolog/Instantiation.html#initialize-instance_method" title="Porolog::Instantiation#initialize (method)">#initialize</a></span>
602
+ <small>Porolog::Instantiation</small>
515
603
  </div>
516
604
  </li>
517
605
 
518
606
 
519
- <li class="even ">
607
+ <li class="odd ">
520
608
  <div class="item">
521
609
  <span class='object_link'><a href="Porolog/Arguments.html#initialize-instance_method" title="Porolog::Arguments#initialize (method)">#initialize</a></span>
522
610
  <small>Porolog::Arguments</small>
@@ -526,21 +614,13 @@
526
614
 
527
615
  <li class="even ">
528
616
  <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>
617
+ <span class='object_link'><a href="Porolog/Scope.html#initialize-instance_method" title="Porolog::Scope#initialize (method)">#initialize</a></span>
538
618
  <small>Porolog::Scope</small>
539
619
  </div>
540
620
  </li>
541
621
 
542
622
 
543
- <li class="even ">
623
+ <li class="odd ">
544
624
  <div class="item">
545
625
  <span class='object_link'><a href="Porolog/Variable.html#initialize-instance_method" title="Porolog::Variable#initialize (method)">#initialize</a></span>
546
626
  <small>Porolog::Variable</small>
@@ -548,26 +628,18 @@
548
628
  </li>
549
629
 
550
630
 
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
631
  <li class="even ">
560
632
  <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>
633
+ <span class='object_link'><a href="Object/new.html#inspect-class_method" title="Object.new.inspect (method)">inspect</a></span>
634
+ <small>Object.new</small>
563
635
  </div>
564
636
  </li>
565
637
 
566
638
 
567
639
  <li class="odd ">
568
640
  <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>
641
+ <span class='object_link'><a href="Porolog/Goal.html#inspect-instance_method" title="Porolog::Goal#inspect (method)">#inspect</a></span>
642
+ <small>Porolog::Goal</small>
571
643
  </div>
572
644
  </li>
573
645
 
@@ -580,26 +652,18 @@
580
652
  </li>
581
653
 
582
654
 
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
655
  <li class="odd ">
592
656
  <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>
657
+ <span class='object_link'><a href="Porolog/Tail.html#inspect-instance_method" title="Porolog::Tail#inspect (method)">#inspect</a></span>
658
+ <small>Porolog::Tail</small>
595
659
  </div>
596
660
  </li>
597
661
 
598
662
 
599
663
  <li class="even ">
600
664
  <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>
665
+ <span class='object_link'><a href="Porolog/Instantiation.html#inspect-instance_method" title="Porolog::Instantiation#inspect (method)">#inspect</a></span>
666
+ <small>Porolog::Instantiation</small>
603
667
  </div>
604
668
  </li>
605
669
 
@@ -622,8 +686,8 @@
622
686
 
623
687
  <li class="odd ">
624
688
  <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>
689
+ <span class='object_link'><a href="Porolog/Arguments.html#inspect-instance_method" title="Porolog::Arguments#inspect (method)">#inspect</a></span>
690
+ <small>Porolog::Arguments</small>
627
691
  </div>
628
692
  </li>
629
693
 
@@ -646,32 +710,32 @@
646
710
 
647
711
  <li class="even ">
648
712
  <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>
713
+ <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>
714
+ <small>Porolog::Variable</small>
651
715
  </div>
652
716
  </li>
653
717
 
654
718
 
655
719
  <li class="odd ">
656
720
  <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>
721
+ <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>
722
+ <small>Porolog::Value</small>
659
723
  </div>
660
724
  </li>
661
725
 
662
726
 
663
727
  <li class="even ">
664
728
  <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>
729
+ <span class='object_link'><a href="Porolog/Variable.html#instantiate-instance_method" title="Porolog::Variable#instantiate (method)">#instantiate</a></span>
730
+ <small>Porolog::Variable</small>
667
731
  </div>
668
732
  </li>
669
733
 
670
734
 
671
735
  <li class="odd ">
672
736
  <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>
737
+ <span class='object_link'><a href="Porolog/Goal.html#instantiate-instance_method" title="Porolog::Goal#instantiate (method)">#instantiate</a></span>
738
+ <small>Porolog::Goal</small>
675
739
  </div>
676
740
  </li>
677
741
 
@@ -693,6 +757,14 @@
693
757
 
694
758
 
695
759
  <li class="even ">
760
+ <div class="item">
761
+ <span class='object_link'><a href="Porolog/Instantiation.html#instantiations-class_method" title="Porolog::Instantiation.instantiations (method)">instantiations</a></span>
762
+ <small>Porolog::Instantiation</small>
763
+ </div>
764
+ </li>
765
+
766
+
767
+ <li class="odd ">
696
768
  <div class="item">
697
769
  <span class='object_link'><a href="Porolog/Value.html#instantiations-instance_method" title="Porolog::Value#instantiations (method)">#instantiations</a></span>
698
770
  <small>Porolog::Value</small>
@@ -700,39 +772,63 @@
700
772
  </li>
701
773
 
702
774
 
775
+ <li class="even ">
776
+ <div class="item">
777
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#integer-instance_method" title="Porolog::Predicate::Builtin#integer (method)">#integer</a></span>
778
+ <small>Porolog::Predicate::Builtin</small>
779
+ </div>
780
+ </li>
781
+
782
+
703
783
  <li class="odd ">
704
784
  <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>
785
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#is-instance_method" title="Porolog::Predicate::Builtin#is (method)">#is</a></span>
786
+ <small>Porolog::Predicate::Builtin</small>
787
+ </div>
788
+ </li>
789
+
790
+
791
+ <li class="even ">
792
+ <div class="item">
793
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#is_eq-instance_method" title="Porolog::Predicate::Builtin#is_eq (method)">#is_eq</a></span>
794
+ <small>Porolog::Predicate::Builtin</small>
707
795
  </div>
708
796
  </li>
709
797
 
710
798
 
711
799
  <li class="odd ">
712
800
  <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>
801
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#is_noteq-instance_method" title="Porolog::Predicate::Builtin#is_noteq (method)">#is_noteq</a></span>
802
+ <small>Porolog::Predicate::Builtin</small>
715
803
  </div>
716
804
  </li>
717
805
 
718
806
 
719
807
  <li class="even ">
720
808
  <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>
809
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#length-instance_method" title="Porolog::Predicate::Builtin#length (method)">#length</a></span>
810
+ <small>Porolog::Predicate::Builtin</small>
723
811
  </div>
724
812
  </li>
725
813
 
726
814
 
727
815
  <li class="odd ">
728
816
  <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>
817
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#less-instance_method" title="Porolog::Predicate::Builtin#less (method)">#less</a></span>
818
+ <small>Porolog::Predicate::Builtin</small>
731
819
  </div>
732
820
  </li>
733
821
 
734
822
 
735
823
  <li class="even ">
824
+ <div class="item">
825
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#lesseq-instance_method" title="Porolog::Predicate::Builtin#lesseq (method)">#lesseq</a></span>
826
+ <small>Porolog::Predicate::Builtin</small>
827
+ </div>
828
+ </li>
829
+
830
+
831
+ <li class="odd ">
736
832
  <div class="item">
737
833
  <span class='object_link'><a href="Porolog/Goal.html#log-instance_method" title="Porolog::Goal#log (method)">#log</a></span>
738
834
  <small>Porolog::Goal</small>
@@ -742,32 +838,32 @@
742
838
 
743
839
  <li class="even ">
744
840
  <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>
841
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#member-instance_method" title="Porolog::Predicate::Builtin#member (method)">#member</a></span>
842
+ <small>Porolog::Predicate::Builtin</small>
747
843
  </div>
748
844
  </li>
749
845
 
750
846
 
751
847
  <li class="odd ">
752
848
  <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>
849
+ <span class='object_link'><a href="Porolog/Value.html#method_missing-instance_method" title="Porolog::Value#method_missing (method)">#method_missing</a></span>
850
+ <small>Porolog::Value</small>
755
851
  </div>
756
852
  </li>
757
853
 
758
854
 
759
855
  <li class="even ">
760
856
  <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>
857
+ <span class='object_link'><a href="Porolog/Goal.html#myid-instance_method" title="Porolog::Goal#myid (method)">#myid</a></span>
858
+ <small>Porolog::Goal</small>
763
859
  </div>
764
860
  </li>
765
861
 
766
862
 
767
863
  <li class="odd ">
768
864
  <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>
865
+ <span class='object_link'><a href="Object.html#myid-instance_method" title="Object#myid (method)">#myid</a></span>
866
+ <small>Object</small>
771
867
  </div>
772
868
  </li>
773
869
 
@@ -782,32 +878,32 @@
782
878
 
783
879
  <li class="odd ">
784
880
  <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>
881
+ <span class='object_link'><a href="Porolog/Arguments.html#myid-instance_method" title="Porolog::Arguments#myid (method)">#myid</a></span>
882
+ <small>Porolog::Arguments</small>
787
883
  </div>
788
884
  </li>
789
885
 
790
886
 
791
887
  <li class="even ">
792
888
  <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>
889
+ <span class='object_link'><a href="Symbol.html#myid-instance_method" title="Symbol#myid (method)">#myid</a></span>
890
+ <small>Symbol</small>
795
891
  </div>
796
892
  </li>
797
893
 
798
894
 
799
895
  <li class="odd ">
800
896
  <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>
897
+ <span class='object_link'><a href="Porolog/Scope.html#name-instance_method" title="Porolog::Scope#name (method)">#name</a></span>
898
+ <small>Porolog::Scope</small>
803
899
  </div>
804
900
  </li>
805
901
 
806
902
 
807
903
  <li class="even ">
808
904
  <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>
905
+ <span class='object_link'><a href="Porolog/Variable.html#name-instance_method" title="Porolog::Variable#name (method)">#name</a></span>
906
+ <small>Porolog::Variable</small>
811
907
  </div>
812
908
  </li>
813
909
 
@@ -822,39 +918,55 @@
822
918
 
823
919
  <li class="even ">
824
920
  <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>
921
+ <span class='object_link'><a href="Porolog/Scope.html#new-class_method" title="Porolog::Scope.new (method)">new</a></span>
922
+ <small>Porolog::Scope</small>
923
+ </div>
924
+ </li>
925
+
926
+
927
+ <li class="odd ">
928
+ <div class="item">
929
+ <span class='object_link'><a href="Porolog/Instantiation.html#new-class_method" title="Porolog::Instantiation.new (method)">new</a></span>
930
+ <small>Porolog::Instantiation</small>
931
+ </div>
932
+ </li>
933
+
934
+
935
+ <li class="even ">
936
+ <div class="item">
937
+ <span class='object_link'><a href="Porolog/Predicate.html#new-class_method" title="Porolog::Predicate.new (method)">new</a></span>
938
+ <small>Porolog::Predicate</small>
827
939
  </div>
828
940
  </li>
829
941
 
830
942
 
831
943
  <li class="odd ">
832
944
  <div class="item">
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>
945
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#nl-instance_method" title="Porolog::Predicate::Builtin#nl (method)">#nl</a></span>
946
+ <small>Porolog::Predicate::Builtin</small>
835
947
  </div>
836
948
  </li>
837
949
 
838
950
 
839
951
  <li class="even ">
840
952
  <div class="item">
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>
953
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#nonvar-instance_method" title="Porolog::Predicate::Builtin#nonvar (method)">#nonvar</a></span>
954
+ <small>Porolog::Predicate::Builtin</small>
843
955
  </div>
844
956
  </li>
845
957
 
846
958
 
847
959
  <li class="odd ">
848
960
  <div class="item">
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>
961
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#noteq-instance_method" title="Porolog::Predicate::Builtin#noteq (method)">#noteq</a></span>
962
+ <small>Porolog::Predicate::Builtin</small>
851
963
  </div>
852
964
  </li>
853
965
 
854
966
 
855
967
  <li class="even ">
856
968
  <div class="item">
857
- <span class='object_link'><a href="Porolog/Instantiation.html#new-class_method" title="Porolog::Instantiation.new (method)">new</a></span>
969
+ <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>
858
970
  <small>Porolog::Instantiation</small>
859
971
  </div>
860
972
  </li>
@@ -862,24 +974,24 @@
862
974
 
863
975
  <li class="odd ">
864
976
  <div class="item">
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>
977
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#permutation-instance_method" title="Porolog::Predicate::Builtin#permutation (method)">#permutation</a></span>
978
+ <small>Porolog::Predicate::Builtin</small>
867
979
  </div>
868
980
  </li>
869
981
 
870
982
 
871
983
  <li class="even ">
872
984
  <div class="item">
873
- <span class='object_link'><a href="Porolog.html#predicate-instance_method" title="Porolog#predicate (method)">#predicate</a></span>
874
- <small>Porolog</small>
985
+ <span class='object_link'><a href="Porolog/Arguments.html#predicate-instance_method" title="Porolog::Arguments#predicate (method)">#predicate</a></span>
986
+ <small>Porolog::Arguments</small>
875
987
  </div>
876
988
  </li>
877
989
 
878
990
 
879
991
  <li class="odd ">
880
992
  <div class="item">
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>
993
+ <span class='object_link'><a href="Porolog.html#predicate-instance_method" title="Porolog#predicate (method)">#predicate</a></span>
994
+ <small>Porolog</small>
883
995
  </div>
884
996
  </li>
885
997
 
@@ -894,24 +1006,24 @@
894
1006
 
895
1007
  <li class="odd ">
896
1008
  <div class="item">
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>
1009
+ <span class='object_link'><a href="Porolog/Variable.html#remove-instance_method" title="Porolog::Variable#remove (method)">#remove</a></span>
1010
+ <small>Porolog::Variable</small>
899
1011
  </div>
900
1012
  </li>
901
1013
 
902
1014
 
903
1015
  <li class="even ">
904
1016
  <div class="item">
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>
1017
+ <span class='object_link'><a href="Porolog/Value.html#remove-instance_method" title="Porolog::Value#remove (method)">#remove</a></span>
1018
+ <small>Porolog::Value</small>
907
1019
  </div>
908
1020
  </li>
909
1021
 
910
1022
 
911
1023
  <li class="odd ">
912
1024
  <div class="item">
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>
1025
+ <span class='object_link'><a href="Porolog/Instantiation.html#remove-instance_method" title="Porolog::Instantiation#remove (method)">#remove</a></span>
1026
+ <small>Porolog::Instantiation</small>
915
1027
  </div>
916
1028
  </li>
917
1029
 
@@ -926,40 +1038,40 @@
926
1038
 
927
1039
  <li class="odd ">
928
1040
  <div class="item">
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>
1041
+ <span class='object_link'><a href="Porolog/Rule.html#reset-class_method" title="Porolog::Rule.reset (method)">reset</a></span>
1042
+ <small>Porolog::Rule</small>
931
1043
  </div>
932
1044
  </li>
933
1045
 
934
1046
 
935
1047
  <li class="even ">
936
1048
  <div class="item">
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>
1049
+ <span class='object_link'><a href="Porolog/Arguments.html#reset-class_method" title="Porolog::Arguments.reset (method)">reset</a></span>
1050
+ <small>Porolog::Arguments</small>
939
1051
  </div>
940
1052
  </li>
941
1053
 
942
1054
 
943
1055
  <li class="odd ">
944
1056
  <div class="item">
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>
1057
+ <span class='object_link'><a href="Porolog/Instantiation.html#reset-class_method" title="Porolog::Instantiation.reset (method)">reset</a></span>
1058
+ <small>Porolog::Instantiation</small>
947
1059
  </div>
948
1060
  </li>
949
1061
 
950
1062
 
951
1063
  <li class="even ">
952
1064
  <div class="item">
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>
1065
+ <span class='object_link'><a href="Porolog/Scope.html#reset-class_method" title="Porolog::Scope.reset (method)">reset</a></span>
1066
+ <small>Porolog::Scope</small>
955
1067
  </div>
956
1068
  </li>
957
1069
 
958
1070
 
959
1071
  <li class="odd ">
960
1072
  <div class="item">
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>
1073
+ <span class='object_link'><a href="Porolog/Predicate.html#reset-class_method" title="Porolog::Predicate.reset (method)">reset</a></span>
1074
+ <small>Porolog::Predicate</small>
963
1075
  </div>
964
1076
  </li>
965
1077
 
@@ -982,21 +1094,29 @@
982
1094
 
983
1095
  <li class="even ">
984
1096
  <div class="item">
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>
1097
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#reverse-instance_method" title="Porolog::Predicate::Builtin#reverse (method)">#reverse</a></span>
1098
+ <small>Porolog::Predicate::Builtin</small>
987
1099
  </div>
988
1100
  </li>
989
1101
 
990
1102
 
991
1103
  <li class="odd ">
992
1104
  <div class="item">
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>
1105
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#ruby-instance_method" title="Porolog::Predicate::Builtin#ruby (method)">#ruby</a></span>
1106
+ <small>Porolog::Predicate::Builtin</small>
995
1107
  </div>
996
1108
  </li>
997
1109
 
998
1110
 
999
1111
  <li class="even ">
1112
+ <div class="item">
1113
+ <span class='object_link'><a href="Porolog/Predicate.html#rules-instance_method" title="Porolog::Predicate#rules (method)">#rules</a></span>
1114
+ <small>Porolog::Predicate</small>
1115
+ </div>
1116
+ </li>
1117
+
1118
+
1119
+ <li class="odd ">
1000
1120
  <div class="item">
1001
1121
  <span class='object_link'><a href="Porolog/Rule.html#satisfy-instance_method" title="Porolog::Rule#satisfy (method)">#satisfy</a></span>
1002
1122
  <small>Porolog::Rule</small>
@@ -1004,7 +1124,7 @@
1004
1124
  </li>
1005
1125
 
1006
1126
 
1007
- <li class="odd ">
1127
+ <li class="even ">
1008
1128
  <div class="item">
1009
1129
  <span class='object_link'><a href="Porolog/Goal.html#satisfy-instance_method" title="Porolog::Goal#satisfy (method)">#satisfy</a></span>
1010
1130
  <small>Porolog::Goal</small>
@@ -1012,7 +1132,23 @@
1012
1132
  </li>
1013
1133
 
1014
1134
 
1135
+ <li class="odd ">
1136
+ <div class="item">
1137
+ <span class='object_link'><a href="Porolog/Predicate.html#satisfy-instance_method" title="Porolog::Predicate#satisfy (method)">#satisfy</a></span>
1138
+ <small>Porolog::Predicate</small>
1139
+ </div>
1140
+ </li>
1141
+
1142
+
1015
1143
  <li class="even ">
1144
+ <div class="item">
1145
+ <span class='object_link'><a href="Porolog/Predicate.html#satisfy_builtin-instance_method" title="Porolog::Predicate#satisfy_builtin (method)">#satisfy_builtin</a></span>
1146
+ <small>Porolog::Predicate</small>
1147
+ </div>
1148
+ </li>
1149
+
1150
+
1151
+ <li class="odd ">
1016
1152
  <div class="item">
1017
1153
  <span class='object_link'><a href="Porolog/Rule.html#satisfy_conjunction-instance_method" title="Porolog::Rule#satisfy_conjunction (method)">#satisfy_conjunction</a></span>
1018
1154
  <small>Porolog::Rule</small>
@@ -1020,7 +1156,7 @@
1020
1156
  </li>
1021
1157
 
1022
1158
 
1023
- <li class="odd ">
1159
+ <li class="even ">
1024
1160
  <div class="item">
1025
1161
  <span class='object_link'><a href="Porolog/Rule.html#satisfy_definition-instance_method" title="Porolog::Rule#satisfy_definition (method)">#satisfy_definition</a></span>
1026
1162
  <small>Porolog::Rule</small>
@@ -1028,7 +1164,7 @@
1028
1164
  </li>
1029
1165
 
1030
1166
 
1031
- <li class="even ">
1167
+ <li class="odd ">
1032
1168
  <div class="item">
1033
1169
  <span class='object_link'><a href="Porolog/Predicate.html#scope-class_method" title="Porolog::Predicate.scope (method)">scope</a></span>
1034
1170
  <small>Porolog::Predicate</small>
@@ -1036,7 +1172,7 @@
1036
1172
  </li>
1037
1173
 
1038
1174
 
1039
- <li class="odd ">
1175
+ <li class="even ">
1040
1176
  <div class="item">
1041
1177
  <span class='object_link'><a href="Porolog/Predicate.html#scope=-class_method" title="Porolog::Predicate.scope= (method)">scope=</a></span>
1042
1178
  <small>Porolog::Predicate</small>
@@ -1044,7 +1180,7 @@
1044
1180
  </li>
1045
1181
 
1046
1182
 
1047
- <li class="even ">
1183
+ <li class="odd ">
1048
1184
  <div class="item">
1049
1185
  <span class='object_link'><a href="Porolog/Scope.html#scopes-class_method" title="Porolog::Scope.scopes (method)">scopes</a></span>
1050
1186
  <small>Porolog::Scope</small>
@@ -1052,7 +1188,7 @@
1052
1188
  </li>
1053
1189
 
1054
1190
 
1055
- <li class="odd ">
1191
+ <li class="even ">
1056
1192
  <div class="item">
1057
1193
  <span class='object_link'><a href="Porolog/Instantiation.html#signature-instance_method" title="Porolog::Instantiation#signature (method)">#signature</a></span>
1058
1194
  <small>Porolog::Instantiation</small>
@@ -1060,7 +1196,7 @@
1060
1196
  </li>
1061
1197
 
1062
1198
 
1063
- <li class="even ">
1199
+ <li class="odd ">
1064
1200
  <div class="item">
1065
1201
  <span class='object_link'><a href="Porolog/Arguments.html#solutions-instance_method" title="Porolog::Arguments#solutions (method)">#solutions</a></span>
1066
1202
  <small>Porolog::Arguments</small>
@@ -1068,6 +1204,14 @@
1068
1204
  </li>
1069
1205
 
1070
1206
 
1207
+ <li class="even ">
1208
+ <div class="item">
1209
+ <span class='object_link'><a href="Porolog/Goal.html#solve-instance_method" title="Porolog::Goal#solve (method)">#solve</a></span>
1210
+ <small>Porolog::Goal</small>
1211
+ </div>
1212
+ </li>
1213
+
1214
+
1071
1215
  <li class="odd ">
1072
1216
  <div class="item">
1073
1217
  <span class='object_link'><a href="Porolog/Arguments.html#solve-instance_method" title="Porolog::Arguments#solve (method)">#solve</a></span>
@@ -1078,32 +1222,32 @@
1078
1222
 
1079
1223
  <li class="even ">
1080
1224
  <div class="item">
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>
1225
+ <span class='object_link'><a href="Porolog/Arguments.html#solve_for-instance_method" title="Porolog::Arguments#solve_for (method)">#solve_for</a></span>
1226
+ <small>Porolog::Arguments</small>
1083
1227
  </div>
1084
1228
  </li>
1085
1229
 
1086
1230
 
1087
1231
  <li class="odd ">
1088
1232
  <div class="item">
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>
1233
+ <span class='object_link'><a href="Object.html#tail-instance_method" title="Object#tail (method)">#tail</a></span>
1234
+ <small>Object</small>
1091
1235
  </div>
1092
1236
  </li>
1093
1237
 
1094
1238
 
1095
1239
  <li class="even ">
1096
1240
  <div class="item">
1097
- <span class='object_link'><a href="Object.html#tail-instance_method" title="Object#tail (method)">#tail</a></span>
1098
- <small>Object</small>
1241
+ <span class='object_link'><a href="Array.html#tail-instance_method" title="Array#tail (method)">#tail</a></span>
1242
+ <small>Array</small>
1099
1243
  </div>
1100
1244
  </li>
1101
1245
 
1102
1246
 
1103
1247
  <li class="odd ">
1104
1248
  <div class="item">
1105
- <span class='object_link'><a href="Array.html#tail-instance_method" title="Array#tail (method)">#tail</a></span>
1106
- <small>Array</small>
1249
+ <span class='object_link'><a href="Object/new.html#tail-class_method" title="Object.new.tail (method)">tail</a></span>
1250
+ <small>Object.new</small>
1107
1251
  </div>
1108
1252
  </li>
1109
1253
 
@@ -1134,8 +1278,8 @@
1134
1278
 
1135
1279
  <li class="odd ">
1136
1280
  <div class="item">
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>
1281
+ <span class='object_link'><a href="Object/new.html#type-class_method" title="Object.new.type (method)">type</a></span>
1282
+ <small>Object.new</small>
1139
1283
  </div>
1140
1284
  </li>
1141
1285
 
@@ -1150,24 +1294,24 @@
1150
1294
 
1151
1295
  <li class="odd ">
1152
1296
  <div class="item">
1153
- <span class='object_link'><a href="Symbol.html#type-instance_method" title="Symbol#type (method)">#type</a></span>
1154
- <small>Symbol</small>
1297
+ <span class='object_link'><a href="Object.html#type-instance_method" title="Object#type (method)">#type</a></span>
1298
+ <small>Object</small>
1155
1299
  </div>
1156
1300
  </li>
1157
1301
 
1158
1302
 
1159
1303
  <li class="even ">
1160
1304
  <div class="item">
1161
- <span class='object_link'><a href="Object.html#type-instance_method" title="Object#type (method)">#type</a></span>
1162
- <small>Object</small>
1305
+ <span class='object_link'><a href="Porolog/Tail.html#type-instance_method" title="Porolog::Tail#type (method)">#type</a></span>
1306
+ <small>Porolog::Tail</small>
1163
1307
  </div>
1164
1308
  </li>
1165
1309
 
1166
1310
 
1167
1311
  <li class="odd ">
1168
1312
  <div class="item">
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>
1313
+ <span class='object_link'><a href="Symbol.html#type-instance_method" title="Symbol#type (method)">#type</a></span>
1314
+ <small>Symbol</small>
1171
1315
  </div>
1172
1316
  </li>
1173
1317
 
@@ -1182,15 +1326,15 @@
1182
1326
 
1183
1327
  <li class="odd ">
1184
1328
  <div class="item">
1185
- <span class='object_link'><a href="Porolog.html#unify-instance_method" title="Porolog#unify (method)">#unify</a></span>
1186
- <small>Porolog</small>
1329
+ <span class='object_link'><a href="Porolog/Variable.html#type-instance_method" title="Porolog::Variable#type (method)">#type</a></span>
1330
+ <small>Porolog::Variable</small>
1187
1331
  </div>
1188
1332
  </li>
1189
1333
 
1190
1334
 
1191
1335
  <li class="even ">
1192
1336
  <div class="item">
1193
- <span class='object_link'><a href="Porolog.html#unify_arrays-instance_method" title="Porolog#unify_arrays (method)">#unify_arrays</a></span>
1337
+ <span class='object_link'><a href="Porolog.html#unify-instance_method" title="Porolog#unify (method)">#unify</a></span>
1194
1338
  <small>Porolog</small>
1195
1339
  </div>
1196
1340
  </li>
@@ -1198,7 +1342,7 @@
1198
1342
 
1199
1343
  <li class="odd ">
1200
1344
  <div class="item">
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>
1345
+ <span class='object_link'><a href="Porolog.html#unify_arrays-instance_method" title="Porolog#unify_arrays (method)">#unify_arrays</a></span>
1202
1346
  <small>Porolog</small>
1203
1347
  </div>
1204
1348
  </li>
@@ -1206,7 +1350,7 @@
1206
1350
 
1207
1351
  <li class="even ">
1208
1352
  <div class="item">
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>
1353
+ <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>
1210
1354
  <small>Porolog</small>
1211
1355
  </div>
1212
1356
  </li>
@@ -1214,7 +1358,7 @@
1214
1358
 
1215
1359
  <li class="odd ">
1216
1360
  <div class="item">
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>
1361
+ <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>
1218
1362
  <small>Porolog</small>
1219
1363
  </div>
1220
1364
  </li>
@@ -1222,7 +1366,7 @@
1222
1366
 
1223
1367
  <li class="even ">
1224
1368
  <div class="item">
1225
- <span class='object_link'><a href="Porolog.html#unify_goals-instance_method" title="Porolog#unify_goals (method)">#unify_goals</a></span>
1369
+ <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>
1226
1370
  <small>Porolog</small>
1227
1371
  </div>
1228
1372
  </li>
@@ -1230,7 +1374,7 @@
1230
1374
 
1231
1375
  <li class="odd ">
1232
1376
  <div class="item">
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>
1377
+ <span class='object_link'><a href="Porolog.html#unify_goals-instance_method" title="Porolog#unify_goals (method)">#unify_goals</a></span>
1234
1378
  <small>Porolog</small>
1235
1379
  </div>
1236
1380
  </li>
@@ -1238,7 +1382,7 @@
1238
1382
 
1239
1383
  <li class="even ">
1240
1384
  <div class="item">
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>
1385
+ <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>
1242
1386
  <small>Porolog</small>
1243
1387
  </div>
1244
1388
  </li>
@@ -1246,7 +1390,7 @@
1246
1390
 
1247
1391
  <li class="odd ">
1248
1392
  <div class="item">
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>
1393
+ <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>
1250
1394
  <small>Porolog</small>
1251
1395
  </div>
1252
1396
  </li>
@@ -1254,7 +1398,7 @@
1254
1398
 
1255
1399
  <li class="even ">
1256
1400
  <div class="item">
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>
1401
+ <span class='object_link'><a href="Porolog.html#unify_many_arrays-instance_method" title="Porolog#unify_many_arrays (method)">#unify_many_arrays</a></span>
1258
1402
  <small>Porolog</small>
1259
1403
  </div>
1260
1404
  </li>
@@ -1262,69 +1406,77 @@
1262
1406
 
1263
1407
  <li class="odd ">
1264
1408
  <div class="item">
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>
1409
+ <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>
1410
+ <small>Porolog</small>
1267
1411
  </div>
1268
1412
  </li>
1269
1413
 
1270
1414
 
1271
1415
  <li class="even ">
1272
1416
  <div class="item">
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>
1417
+ <span class='object_link'><a href="Porolog/Variable.html#uninstantiate-instance_method" title="Porolog::Variable#uninstantiate (method)">#uninstantiate</a></span>
1418
+ <small>Porolog::Variable</small>
1275
1419
  </div>
1276
1420
  </li>
1277
1421
 
1278
1422
 
1279
1423
  <li class="odd ">
1280
1424
  <div class="item">
1281
- <span class='object_link'><a href="Array.html#value-instance_method" title="Array#value (method)">#value</a></span>
1282
- <small>Array</small>
1425
+ <span class='object_link'><a href="Porolog/Arguments.html#valid%3F-instance_method" title="Porolog::Arguments#valid? (method)">#valid?</a></span>
1426
+ <small>Porolog::Arguments</small>
1283
1427
  </div>
1284
1428
  </li>
1285
1429
 
1286
1430
 
1287
1431
  <li class="even ">
1288
1432
  <div class="item">
1289
- <span class='object_link'><a href="Object.html#value-instance_method" title="Object#value (method)">#value</a></span>
1290
- <small>Object</small>
1433
+ <span class='object_link'><a href="Porolog/Value.html#value-instance_method" title="Porolog::Value#value (method)">#value</a></span>
1434
+ <small>Porolog::Value</small>
1291
1435
  </div>
1292
1436
  </li>
1293
1437
 
1294
1438
 
1295
1439
  <li class="odd ">
1296
1440
  <div class="item">
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>
1441
+ <span class='object_link'><a href="Porolog/Tail.html#value-instance_method" title="Porolog::Tail#value (method)">#value</a></span>
1442
+ <small>Porolog::Tail</small>
1299
1443
  </div>
1300
1444
  </li>
1301
1445
 
1302
1446
 
1303
1447
  <li class="even ">
1304
1448
  <div class="item">
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>
1449
+ <span class='object_link'><a href="Porolog/Goal.html#value-instance_method" title="Porolog::Goal#value (method)">#value</a></span>
1450
+ <small>Porolog::Goal</small>
1307
1451
  </div>
1308
1452
  </li>
1309
1453
 
1310
1454
 
1311
1455
  <li class="odd ">
1312
1456
  <div class="item">
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>
1457
+ <span class='object_link'><a href="Porolog/Variable.html#value-instance_method" title="Porolog::Variable#value (method)">#value</a></span>
1458
+ <small>Porolog::Variable</small>
1315
1459
  </div>
1316
1460
  </li>
1317
1461
 
1318
1462
 
1319
1463
  <li class="even ">
1320
1464
  <div class="item">
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>
1465
+ <span class='object_link'><a href="Array.html#value-instance_method" title="Array#value (method)">#value</a></span>
1466
+ <small>Array</small>
1323
1467
  </div>
1324
1468
  </li>
1325
1469
 
1326
1470
 
1327
1471
  <li class="odd ">
1472
+ <div class="item">
1473
+ <span class='object_link'><a href="Object.html#value-instance_method" title="Object#value (method)">#value</a></span>
1474
+ <small>Object</small>
1475
+ </div>
1476
+ </li>
1477
+
1478
+
1479
+ <li class="even ">
1328
1480
  <div class="item">
1329
1481
  <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
1482
  <small>Porolog::Instantiation</small>
@@ -1332,7 +1484,7 @@
1332
1484
  </li>
1333
1485
 
1334
1486
 
1335
- <li class="even ">
1487
+ <li class="odd ">
1336
1488
  <div class="item">
1337
1489
  <span class='object_link'><a href="Porolog/Instantiation.html#value_indexed-instance_method" title="Porolog::Instantiation#value_indexed (method)">#value_indexed</a></span>
1338
1490
  <small>Porolog::Instantiation</small>
@@ -1340,7 +1492,7 @@
1340
1492
  </li>
1341
1493
 
1342
1494
 
1343
- <li class="odd ">
1495
+ <li class="even ">
1344
1496
  <div class="item">
1345
1497
  <span class='object_link'><a href="Porolog/Goal.html#value_of-instance_method" title="Porolog::Goal#value_of (method)">#value_of</a></span>
1346
1498
  <small>Porolog::Goal</small>
@@ -1348,7 +1500,7 @@
1348
1500
  </li>
1349
1501
 
1350
1502
 
1351
- <li class="even ">
1503
+ <li class="odd ">
1352
1504
  <div class="item">
1353
1505
  <span class='object_link'><a href="Porolog/Goal.html#values-instance_method" title="Porolog::Goal#values (method)">#values</a></span>
1354
1506
  <small>Porolog::Goal</small>
@@ -1356,7 +1508,7 @@
1356
1508
  </li>
1357
1509
 
1358
1510
 
1359
- <li class="odd ">
1511
+ <li class="even ">
1360
1512
  <div class="item">
1361
1513
  <span class='object_link'><a href="Porolog/Variable.html#values-instance_method" title="Porolog::Variable#values (method)">#values</a></span>
1362
1514
  <small>Porolog::Variable</small>
@@ -1364,7 +1516,7 @@
1364
1516
  </li>
1365
1517
 
1366
1518
 
1367
- <li class="even ">
1519
+ <li class="odd ">
1368
1520
  <div class="item">
1369
1521
  <span class='object_link'><a href="Porolog/Instantiation.html#values-instance_method" title="Porolog::Instantiation#values (method)">#values</a></span>
1370
1522
  <small>Porolog::Instantiation</small>
@@ -1372,7 +1524,7 @@
1372
1524
  </li>
1373
1525
 
1374
1526
 
1375
- <li class="odd ">
1527
+ <li class="even ">
1376
1528
  <div class="item">
1377
1529
  <span class='object_link'><a href="Porolog/Instantiation.html#values_for-instance_method" title="Porolog::Instantiation#values_for (method)">#values_for</a></span>
1378
1530
  <small>Porolog::Instantiation</small>
@@ -1380,7 +1532,7 @@
1380
1532
  </li>
1381
1533
 
1382
1534
 
1383
- <li class="even ">
1535
+ <li class="odd ">
1384
1536
  <div class="item">
1385
1537
  <span class='object_link'><a href="Porolog/Goal.html#values_of-instance_method" title="Porolog::Goal#values_of (method)">#values_of</a></span>
1386
1538
  <small>Porolog::Goal</small>
@@ -1388,6 +1540,14 @@
1388
1540
  </li>
1389
1541
 
1390
1542
 
1543
+ <li class="even ">
1544
+ <div class="item">
1545
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#var-instance_method" title="Porolog::Predicate::Builtin#var (method)">#var</a></span>
1546
+ <small>Porolog::Predicate::Builtin</small>
1547
+ </div>
1548
+ </li>
1549
+
1550
+
1391
1551
  <li class="odd ">
1392
1552
  <div class="item">
1393
1553
  <span class='object_link'><a href="Porolog/Goal.html#variable-instance_method" title="Porolog::Goal#variable (method)">#variable</a></span>
@@ -1414,32 +1574,32 @@
1414
1574
 
1415
1575
  <li class="even ">
1416
1576
  <div class="item">
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>
1577
+ <span class='object_link'><a href="Symbol.html#variables-instance_method" title="Symbol#variables (method)">#variables</a></span>
1578
+ <small>Symbol</small>
1419
1579
  </div>
1420
1580
  </li>
1421
1581
 
1422
1582
 
1423
1583
  <li class="odd ">
1424
1584
  <div class="item">
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>
1585
+ <span class='object_link'><a href="Array.html#variables-instance_method" title="Array#variables (method)">#variables</a></span>
1586
+ <small>Array</small>
1427
1587
  </div>
1428
1588
  </li>
1429
1589
 
1430
1590
 
1431
1591
  <li class="even ">
1432
1592
  <div class="item">
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>
1593
+ <span class='object_link'><a href="Porolog/Tail.html#variables-instance_method" title="Porolog::Tail#variables (method)">#variables</a></span>
1594
+ <small>Porolog::Tail</small>
1435
1595
  </div>
1436
1596
  </li>
1437
1597
 
1438
1598
 
1439
1599
  <li class="odd ">
1440
1600
  <div class="item">
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>
1601
+ <span class='object_link'><a href="Porolog/Instantiation.html#variables-instance_method" title="Porolog::Instantiation#variables (method)">#variables</a></span>
1602
+ <small>Porolog::Instantiation</small>
1443
1603
  </div>
1444
1604
  </li>
1445
1605
 
@@ -1454,8 +1614,8 @@
1454
1614
 
1455
1615
  <li class="odd ">
1456
1616
  <div class="item">
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>
1617
+ <span class='object_link'><a href="Porolog/Goal.html#variables-instance_method" title="Porolog::Goal#variables (method)">#variables</a></span>
1618
+ <small>Porolog::Goal</small>
1459
1619
  </div>
1460
1620
  </li>
1461
1621
 
@@ -1470,16 +1630,16 @@
1470
1630
 
1471
1631
  <li class="odd ">
1472
1632
  <div class="item">
1473
- <span class='object_link'><a href="Array.html#variables-instance_method" title="Array#variables (method)">#variables</a></span>
1474
- <small>Array</small>
1633
+ <span class='object_link'><a href="Porolog/Value.html#variables-instance_method" title="Porolog::Value#variables (method)">#variables</a></span>
1634
+ <small>Porolog::Value</small>
1475
1635
  </div>
1476
1636
  </li>
1477
1637
 
1478
1638
 
1479
1639
  <li class="even ">
1480
1640
  <div class="item">
1481
- <span class='object_link'><a href="Symbol.html#variables-instance_method" title="Symbol#variables (method)">#variables</a></span>
1482
- <small>Symbol</small>
1641
+ <span class='object_link'><a href="Porolog/Arguments.html#variables-instance_method" title="Porolog::Arguments#variables (method)">#variables</a></span>
1642
+ <small>Porolog::Arguments</small>
1483
1643
  </div>
1484
1644
  </li>
1485
1645
 
@@ -1500,6 +1660,22 @@
1500
1660
  </li>
1501
1661
 
1502
1662
 
1663
+ <li class="odd ">
1664
+ <div class="item">
1665
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#write-instance_method" title="Porolog::Predicate::Builtin#write (method)">#write</a></span>
1666
+ <small>Porolog::Predicate::Builtin</small>
1667
+ </div>
1668
+ </li>
1669
+
1670
+
1671
+ <li class="even ">
1672
+ <div class="item">
1673
+ <span class='object_link'><a href="Porolog/Predicate/Builtin.html#writenl-instance_method" title="Porolog::Predicate::Builtin#writenl (method)">#writenl</a></span>
1674
+ <small>Porolog::Predicate::Builtin</small>
1675
+ </div>
1676
+ </li>
1677
+
1678
+
1503
1679
 
1504
1680
  </ul>
1505
1681
  </div>