porolog 0.0.4 → 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.
- checksums.yaml +4 -4
- data/README.md +30 -5
- data/Rakefile +7 -2
- data/bin/porolog +58 -1
- data/coverage/badge.svg +1 -1
- data/coverage/index.html +76733 -2638
- data/doc/Array.html +1066 -0
- data/doc/Object.html +674 -0
- data/doc/Porolog.html +4153 -74
- data/doc/Symbol.html +501 -0
- data/doc/_index.html +280 -6
- data/doc/class_list.html +1 -1
- data/doc/file.README.html +34 -39
- data/doc/index.html +34 -39
- data/doc/method_list.html +1337 -57
- data/doc/top-level-namespace.html +4 -2
- data/lib/porolog.rb +1144 -4
- data/lib/porolog/arguments.rb +28 -24
- data/lib/porolog/core_ext.rb +188 -0
- data/lib/porolog/error.rb +9 -0
- data/lib/porolog/goal.rb +357 -0
- data/lib/porolog/instantiation.rb +346 -0
- data/lib/porolog/predicate.rb +74 -31
- data/lib/porolog/predicate/builtin.rb +825 -0
- data/lib/porolog/rule.rb +162 -0
- data/lib/porolog/scope.rb +4 -4
- data/lib/porolog/tail.rb +57 -0
- data/lib/porolog/value.rb +105 -0
- data/lib/porolog/variable.rb +325 -0
- data/test/porolog/arguments_test.rb +244 -195
- data/test/porolog/core_ext_test.rb +290 -0
- data/test/porolog/goal_test.rb +891 -0
- data/test/porolog/instantiation_test.rb +910 -0
- data/test/porolog/porolog_test.rb +2376 -13
- data/test/porolog/predicate/builtin_test.rb +1340 -0
- data/test/porolog/predicate_test.rb +84 -30
- data/test/porolog/rule_test.rb +527 -0
- data/test/porolog/scope_test.rb +0 -2
- data/test/porolog/tail_test.rb +127 -0
- data/test/porolog/value_test.rb +315 -0
- data/test/porolog/variable_test.rb +1614 -0
- data/test/samples_test.rb +277 -0
- data/test/test_helper.rb +115 -0
- metadata +34 -7
data/doc/index.html
CHANGED
|
@@ -60,38 +60,23 @@
|
|
|
60
60
|
<div id="content"><div id='filecontents'>
|
|
61
61
|
<h1 id="label-porolog">porolog</h1>
|
|
62
62
|
|
|
63
|
-
<p><img src=“<a
|
|
64
|
-
href="https://repository-images.githubusercontent.com/131847563/b3754100-636a-11e9-995b-20d409b992c9">repository-images.githubusercontent.com/131847563/b3754100-636a-11e9-995b-20d409b992c9</a>”
|
|
65
|
-
width=“240” height=“120” align=“right” /></p>
|
|
63
|
+
<p><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” /></p>
|
|
66
64
|
|
|
67
|
-
<p>Plain Old Ruby Objects Prolog
|
|
65
|
+
<p>Plain Old Ruby Objects Prolog</p>
|
|
68
66
|
|
|
69
|
-
<p><a href="https://badge.fury.io/rb/porolog"><img
|
|
70
|
-
src="https://badge.fury.io/rb/porolog.svg"></a> <a
|
|
71
|
-
href="https://travis-ci.com/wizardofosmium/porolog"><img
|
|
72
|
-
src="https://travis-ci.com/wizardofosmium/porolog.svg?branch=master"></a>
|
|
73
|
-
<img
|
|
74
|
-
src="https://img.shields.io/badge/status-work%20in%20progress-orange.svg">
|
|
75
|
-
<a href="https://github.com/wizardofosmium/porolog"><img
|
|
76
|
-
src="https://wizardofosmium.github.io/porolog/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>
|
|
77
68
|
|
|
78
69
|
<h2 id="label-Introduction">Introduction</h2>
|
|
79
70
|
|
|
80
|
-
<p><code>porolog</code> is a Prolog implementation using plain old Ruby
|
|
81
|
-
objects with the aim that logic queries can be called within a regular Ruby
|
|
82
|
-
program. The goal was not to implement a Prolog interpreter that is just
|
|
83
|
-
implement in Ruby, but rather that a logic engine could be embedded in a
|
|
84
|
-
larger program.</p>
|
|
71
|
+
<p><code>porolog</code> is a Prolog implementation using plain old Ruby objects with the aim that logic queries can be called within a regular Ruby program. The goal was not to implement a Prolog interpreter that is just implement in Ruby, but rather that a logic engine could be embedded in a larger program.</p>
|
|
85
72
|
|
|
86
|
-
<p>The need that this gem aims to meet is to have a Ruby program interact with
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
where Ruby objects could be passed in and Ruby objects were passed back.</p>
|
|
73
|
+
<p>The need that this gem aims to meet is to have a Ruby program interact with a Prolog program using native Ruby objects (POROs); hence the name Porolog. The goal was to implement a minimal logic engine in the style of Prolog where Ruby objects could be passed in and Ruby objects were passed back.</p>
|
|
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>
|
|
90
76
|
|
|
91
77
|
<h2 id="label-Dependencies">Dependencies</h2>
|
|
92
78
|
|
|
93
|
-
<p>The aim of <code>porolog</code> is to provide a logic engine with a minimal
|
|
94
|
-
footprint. The only extra dependency is Yard for documentation.</p>
|
|
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>
|
|
95
80
|
|
|
96
81
|
<h2 id="label-Installation">Installation</h2>
|
|
97
82
|
|
|
@@ -109,13 +94,13 @@ footprint. The only extra dependency is Yard for documentation.</p>
|
|
|
109
94
|
<p>solving goals</p>
|
|
110
95
|
</li></ul>
|
|
111
96
|
|
|
112
|
-
<p>It is entirely possible to create a Ruby program that is effectively just a
|
|
113
|
-
|
|
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>
|
|
114
100
|
|
|
115
101
|
<h3 id="label-Basic+Usage">Basic Usage</h3>
|
|
116
102
|
|
|
117
|
-
<p>Using <code>porolog</code> involves creating logic from facts and rules. An
|
|
118
|
-
example, of the most basic usage uses just facts.</p>
|
|
103
|
+
<p>Using <code>porolog</code> involves creating logic from facts and rules. An example, of the most basic usage uses just facts.</p>
|
|
119
104
|
|
|
120
105
|
<pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_require'>require</span> <span class='tstring'><span class='tstring_beg'>'</span><span class='tstring_content'>porolog</span><span class='tstring_end'>'</span></span>
|
|
121
106
|
|
|
@@ -135,15 +120,15 @@ example, of the most basic usage uses just facts.</p>
|
|
|
135
120
|
|
|
136
121
|
<h3 id="label-Common+Usage">Common Usage</h3>
|
|
137
122
|
|
|
138
|
-
<p>Common usage is expected to be including Porolog in a class and
|
|
139
|
-
encapsulating the engine defined.</p>
|
|
123
|
+
<p>Common usage is expected to be including Porolog in a class and encapsulating the engine defined.</p>
|
|
140
124
|
|
|
141
125
|
<pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_require'>require</span> <span class='tstring'><span class='tstring_beg'>'</span><span class='tstring_content'>porolog</span><span class='tstring_end'>'</span></span>
|
|
142
126
|
|
|
143
|
-
<span class='
|
|
127
|
+
<span class='id identifier rubyid_include'>include</span> <span class='const'><span class='object_link'><a href="Porolog.html" title="Porolog (module)">Porolog</a></span></span>
|
|
144
128
|
|
|
145
|
-
|
|
129
|
+
<span class='kw'>class</span> <span class='const'>Numbers</span>
|
|
146
130
|
|
|
131
|
+
<span class='const'>Predicate</span><span class='period'>.</span><span class='id identifier rubyid_scope'>scope</span> <span class='kw'>self</span>
|
|
147
132
|
<span class='id identifier rubyid_predicate'>predicate</span> <span class='symbol'>:prime</span>
|
|
148
133
|
|
|
149
134
|
<span class='id identifier rubyid_prime'>prime</span><span class='lparen'>(</span><span class='int'>2</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_fact!'>fact!</span>
|
|
@@ -164,16 +149,18 @@ encapsulating the engine defined.</p>
|
|
|
164
149
|
<span class='kw'>end</span>
|
|
165
150
|
|
|
166
151
|
<span class='kw'>end</span>
|
|
152
|
+
|
|
153
|
+
|
|
154
|
+
<span class='id identifier rubyid_numbers'>numbers</span> <span class='op'>=</span> <span class='const'>Numbers</span><span class='period'>.</span><span class='id identifier rubyid_new'>new</span>
|
|
155
|
+
<span class='id identifier rubyid_numbers'>numbers</span><span class='period'>.</span><span class='id identifier rubyid_show_primes'>show_primes</span>
|
|
156
|
+
<span class='id identifier rubyid_puts'>puts</span> <span class='id identifier rubyid_numbers'>numbers</span><span class='period'>.</span><span class='id identifier rubyid_primes'>primes</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span>
|
|
167
157
|
</code></pre>
|
|
168
158
|
|
|
169
159
|
<h3 id="label-Scope+and+Predicate+Usage">Scope and Predicate Usage</h3>
|
|
170
160
|
|
|
171
|
-
<p>A Predicate represents a Prolog predicate. They form the basis for rules
|
|
172
|
-
and queries.</p>
|
|
161
|
+
<p>A Predicate represents a Prolog predicate. They form the basis for rules and queries.</p>
|
|
173
162
|
|
|
174
|
-
<p>The Scope class enables you to have multiple logic programs embedded in the
|
|
175
|
-
same Ruby program. A Scope object defines a scope for the predicates of a
|
|
176
|
-
logic programme.</p>
|
|
163
|
+
<p>The Scope class enables you to have multiple logic programs embedded in the same Ruby program. A Scope object defines a scope for the predicates of a logic programme.</p>
|
|
177
164
|
|
|
178
165
|
<pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_require'>require</span> <span class='tstring'><span class='tstring_beg'>'</span><span class='tstring_content'>porolog</span><span class='tstring_end'>'</span></span>
|
|
179
166
|
|
|
@@ -229,9 +216,17 @@ logic programme.</p>
|
|
|
229
216
|
|
|
230
217
|
<p>or</p>
|
|
231
218
|
|
|
232
|
-
<pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_rake'>rake</span> <span class='id identifier
|
|
219
|
+
<pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_core_ext_test'>core_ext_test</span>
|
|
220
|
+
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_porolog_test'>porolog_test</span>
|
|
221
|
+
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_scope_test'>scope_test</span>
|
|
233
222
|
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_predicate_test'>predicate_test</span>
|
|
234
223
|
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_arguments_test'>arguments_test</span>
|
|
224
|
+
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_rule_test'>rule_test</span>
|
|
225
|
+
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_goal_test'>goal_test</span>
|
|
226
|
+
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_variable_test'>variable_test</span>
|
|
227
|
+
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_value_test'>value_test</span>
|
|
228
|
+
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_tail_test'>tail_test</span>
|
|
229
|
+
<span class='id identifier rubyid_rake'>rake</span> <span class='id identifier rubyid_instantiation_test'>instantiation_test</span>
|
|
235
230
|
</code></pre>
|
|
236
231
|
|
|
237
232
|
<h2 id="label-Author">Author</h2>
|
|
@@ -240,9 +235,9 @@ logic programme.</p>
|
|
|
240
235
|
</div></div>
|
|
241
236
|
|
|
242
237
|
<div id="footer">
|
|
243
|
-
Generated on
|
|
238
|
+
Generated on Sun Aug 2 19:24:16 2020 by
|
|
244
239
|
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
245
|
-
0.9.19 (ruby-2.
|
|
240
|
+
0.9.19 (ruby-2.6.5).
|
|
246
241
|
</div>
|
|
247
242
|
|
|
248
243
|
</div>
|
data/doc/method_list.html
CHANGED
|
@@ -44,6 +44,22 @@
|
|
|
44
44
|
<ul id="full_list" class="method">
|
|
45
45
|
|
|
46
46
|
|
|
47
|
+
<li class="odd ">
|
|
48
|
+
<div class="item">
|
|
49
|
+
<span class='object_link'><a href="Symbol.html#%2F-instance_method" title="Symbol#/ (method)">#/</a></span>
|
|
50
|
+
<small>Symbol</small>
|
|
51
|
+
</div>
|
|
52
|
+
</li>
|
|
53
|
+
|
|
54
|
+
|
|
55
|
+
<li class="even ">
|
|
56
|
+
<div class="item">
|
|
57
|
+
<span class='object_link'><a href="Array.html#%2F-instance_method" title="Array#/ (method)">#/</a></span>
|
|
58
|
+
<small>Array</small>
|
|
59
|
+
</div>
|
|
60
|
+
</li>
|
|
61
|
+
|
|
62
|
+
|
|
47
63
|
<li class="odd ">
|
|
48
64
|
<div class="item">
|
|
49
65
|
<span class='object_link'><a href="Porolog/Arguments.html#<<-instance_method" title="Porolog::Arguments#<< (method)">#<<</a></span>
|
|
@@ -61,6 +77,30 @@
|
|
|
61
77
|
|
|
62
78
|
|
|
63
79
|
<li class="odd ">
|
|
80
|
+
<div class="item">
|
|
81
|
+
<span class='object_link'><a href="Porolog/Value.html#==-instance_method" title="Porolog::Value#== (method)">#==</a></span>
|
|
82
|
+
<small>Porolog::Value</small>
|
|
83
|
+
</div>
|
|
84
|
+
</li>
|
|
85
|
+
|
|
86
|
+
|
|
87
|
+
<li class="even ">
|
|
88
|
+
<div class="item">
|
|
89
|
+
<span class='object_link'><a href="Porolog/Variable.html#==-instance_method" title="Porolog::Variable#== (method)">#==</a></span>
|
|
90
|
+
<small>Porolog::Variable</small>
|
|
91
|
+
</div>
|
|
92
|
+
</li>
|
|
93
|
+
|
|
94
|
+
|
|
95
|
+
<li class="odd ">
|
|
96
|
+
<div class="item">
|
|
97
|
+
<span class='object_link'><a href="Porolog/Tail.html#==-instance_method" title="Porolog::Tail#== (method)">#==</a></span>
|
|
98
|
+
<small>Porolog::Tail</small>
|
|
99
|
+
</div>
|
|
100
|
+
</li>
|
|
101
|
+
|
|
102
|
+
|
|
103
|
+
<li class="even ">
|
|
64
104
|
<div class="item">
|
|
65
105
|
<span class='object_link'><a href="Porolog/Arguments.html#==-instance_method" title="Porolog::Arguments#== (method)">#==</a></span>
|
|
66
106
|
<small>Porolog::Arguments</small>
|
|
@@ -68,9 +108,17 @@
|
|
|
68
108
|
</li>
|
|
69
109
|
|
|
70
110
|
|
|
111
|
+
<li class="odd ">
|
|
112
|
+
<div class="item">
|
|
113
|
+
<span class='object_link'><a href="Porolog/Variable.html#[]-instance_method" title="Porolog::Variable#[] (method)">#[]</a></span>
|
|
114
|
+
<small>Porolog::Variable</small>
|
|
115
|
+
</div>
|
|
116
|
+
</li>
|
|
117
|
+
|
|
118
|
+
|
|
71
119
|
<li class="even ">
|
|
72
120
|
<div class="item">
|
|
73
|
-
<span class='object_link'><a href="Porolog/Scope.html#[]-
|
|
121
|
+
<span class='object_link'><a href="Porolog/Scope.html#[]-class_method" title="Porolog::Scope.[] (method)">[]</a></span>
|
|
74
122
|
<small>Porolog::Scope</small>
|
|
75
123
|
</div>
|
|
76
124
|
</li>
|
|
@@ -78,16 +126,16 @@
|
|
|
78
126
|
|
|
79
127
|
<li class="odd ">
|
|
80
128
|
<div class="item">
|
|
81
|
-
<span class='object_link'><a href="Porolog/
|
|
82
|
-
<small>Porolog::
|
|
129
|
+
<span class='object_link'><a href="Porolog/Scope.html#[]-instance_method" title="Porolog::Scope#[] (method)">#[]</a></span>
|
|
130
|
+
<small>Porolog::Scope</small>
|
|
83
131
|
</div>
|
|
84
132
|
</li>
|
|
85
133
|
|
|
86
134
|
|
|
87
135
|
<li class="even ">
|
|
88
136
|
<div class="item">
|
|
89
|
-
<span class='object_link'><a href="Porolog/
|
|
90
|
-
<small>Porolog::
|
|
137
|
+
<span class='object_link'><a href="Porolog/Predicate.html#[]-class_method" title="Porolog::Predicate.[] (method)">[]</a></span>
|
|
138
|
+
<small>Porolog::Predicate</small>
|
|
91
139
|
</div>
|
|
92
140
|
</li>
|
|
93
141
|
|
|
@@ -100,6 +148,54 @@
|
|
|
100
148
|
</li>
|
|
101
149
|
|
|
102
150
|
|
|
151
|
+
<li class="even ">
|
|
152
|
+
<div class="item">
|
|
153
|
+
<span class='object_link'><a href="Porolog/Goal.html#ancestors-instance_method" title="Porolog::Goal#ancestors (method)">#ancestors</a></span>
|
|
154
|
+
<small>Porolog::Goal</small>
|
|
155
|
+
</div>
|
|
156
|
+
</li>
|
|
157
|
+
|
|
158
|
+
|
|
159
|
+
<li class="odd ">
|
|
160
|
+
<div class="item">
|
|
161
|
+
<span class='object_link'><a href="Porolog/Goal.html#ancestry-instance_method" title="Porolog::Goal#ancestry (method)">#ancestry</a></span>
|
|
162
|
+
<small>Porolog::Goal</small>
|
|
163
|
+
</div>
|
|
164
|
+
</li>
|
|
165
|
+
|
|
166
|
+
|
|
167
|
+
<li class="even ">
|
|
168
|
+
<div class="item">
|
|
169
|
+
<span class='object_link'><a href="Porolog.html#anonymous-instance_method" title="Porolog#anonymous (method)">#anonymous</a></span>
|
|
170
|
+
<small>Porolog</small>
|
|
171
|
+
</div>
|
|
172
|
+
</li>
|
|
173
|
+
|
|
174
|
+
|
|
175
|
+
<li class="odd ">
|
|
176
|
+
<div class="item">
|
|
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>
|
|
179
|
+
</div>
|
|
180
|
+
</li>
|
|
181
|
+
|
|
182
|
+
|
|
183
|
+
<li class="even ">
|
|
184
|
+
<div class="item">
|
|
185
|
+
<span class='object_link'><a href="Porolog/Goal.html#arguments-instance_method" title="Porolog::Goal#arguments (method)">#arguments</a></span>
|
|
186
|
+
<small>Porolog::Goal</small>
|
|
187
|
+
</div>
|
|
188
|
+
</li>
|
|
189
|
+
|
|
190
|
+
|
|
191
|
+
<li class="odd ">
|
|
192
|
+
<div class="item">
|
|
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>
|
|
195
|
+
</div>
|
|
196
|
+
</li>
|
|
197
|
+
|
|
198
|
+
|
|
103
199
|
<li class="even ">
|
|
104
200
|
<div class="item">
|
|
105
201
|
<span class='object_link'><a href="Porolog/Arguments.html#arguments-instance_method" title="Porolog::Arguments#arguments (method)">#arguments</a></span>
|
|
@@ -109,6 +205,14 @@
|
|
|
109
205
|
|
|
110
206
|
|
|
111
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 ">
|
|
112
216
|
<div class="item">
|
|
113
217
|
<span class='object_link'><a href="Porolog/Arguments.html#arguments-class_method" title="Porolog::Arguments.arguments (method)">arguments</a></span>
|
|
114
218
|
<small>Porolog::Arguments</small>
|
|
@@ -116,17 +220,57 @@
|
|
|
116
220
|
</li>
|
|
117
221
|
|
|
118
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
|
+
|
|
239
|
+
<li class="odd ">
|
|
240
|
+
<div class="item">
|
|
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>
|
|
242
|
+
<small>Porolog::Instantiation</small>
|
|
243
|
+
</div>
|
|
244
|
+
</li>
|
|
245
|
+
|
|
246
|
+
|
|
247
|
+
<li class="even ">
|
|
248
|
+
<div class="item">
|
|
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
|
+
|
|
119
263
|
<li class="even ">
|
|
120
264
|
<div class="item">
|
|
121
|
-
<span class='object_link'><a href="Porolog
|
|
122
|
-
<small>Porolog
|
|
265
|
+
<span class='object_link'><a href="Porolog.html#builtin-instance_method" title="Porolog#builtin (method)">#builtin</a></span>
|
|
266
|
+
<small>Porolog</small>
|
|
123
267
|
</div>
|
|
124
268
|
</li>
|
|
125
269
|
|
|
126
270
|
|
|
127
271
|
<li class="odd ">
|
|
128
272
|
<div class="item">
|
|
129
|
-
<span class='object_link'><a href="Porolog/Predicate.html#builtin-
|
|
273
|
+
<span class='object_link'><a href="Porolog/Predicate.html#builtin%3F-instance_method" title="Porolog::Predicate#builtin? (method)">#builtin?</a></span>
|
|
130
274
|
<small>Porolog::Predicate</small>
|
|
131
275
|
</div>
|
|
132
276
|
</li>
|
|
@@ -140,6 +284,38 @@
|
|
|
140
284
|
</li>
|
|
141
285
|
|
|
142
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
|
+
|
|
295
|
+
<li class="even ">
|
|
296
|
+
<div class="item">
|
|
297
|
+
<span class='object_link'><a href="Porolog/Goal.html#calling_goal-instance_method" title="Porolog::Goal#calling_goal (method)">#calling_goal</a></span>
|
|
298
|
+
<small>Porolog::Goal</small>
|
|
299
|
+
</div>
|
|
300
|
+
</li>
|
|
301
|
+
|
|
302
|
+
|
|
303
|
+
<li class="odd ">
|
|
304
|
+
<div class="item">
|
|
305
|
+
<span class='object_link'><a href="Porolog/Goal.html#check_deleted-instance_method" title="Porolog::Goal#check_deleted (method)">#check_deleted</a></span>
|
|
306
|
+
<small>Porolog::Goal</small>
|
|
307
|
+
</div>
|
|
308
|
+
</li>
|
|
309
|
+
|
|
310
|
+
|
|
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
|
+
|
|
143
319
|
<li class="odd ">
|
|
144
320
|
<div class="item">
|
|
145
321
|
<span class='object_link'><a href="Porolog/Arguments.html#cut_fact!-instance_method" title="Porolog::Arguments#cut_fact! (method)">#cut_fact!</a></span>
|
|
@@ -157,6 +333,46 @@
|
|
|
157
333
|
|
|
158
334
|
|
|
159
335
|
<li class="odd ">
|
|
336
|
+
<div class="item">
|
|
337
|
+
<span class='object_link'><a href="Porolog/Rule.html#definition-instance_method" title="Porolog::Rule#definition (method)">#definition</a></span>
|
|
338
|
+
<small>Porolog::Rule</small>
|
|
339
|
+
</div>
|
|
340
|
+
</li>
|
|
341
|
+
|
|
342
|
+
|
|
343
|
+
<li class="even ">
|
|
344
|
+
<div class="item">
|
|
345
|
+
<span class='object_link'><a href="Porolog/Goal.html#delete!-instance_method" title="Porolog::Goal#delete! (method)">#delete!</a></span>
|
|
346
|
+
<small>Porolog::Goal</small>
|
|
347
|
+
</div>
|
|
348
|
+
</li>
|
|
349
|
+
|
|
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
|
+
|
|
359
|
+
<li class="even ">
|
|
360
|
+
<div class="item">
|
|
361
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#deleted%3F-instance_method" title="Porolog::Instantiation#deleted? (method)">#deleted?</a></span>
|
|
362
|
+
<small>Porolog::Instantiation</small>
|
|
363
|
+
</div>
|
|
364
|
+
</li>
|
|
365
|
+
|
|
366
|
+
|
|
367
|
+
<li class="odd ">
|
|
368
|
+
<div class="item">
|
|
369
|
+
<span class='object_link'><a href="Porolog/Goal.html#description-instance_method" title="Porolog::Goal#description (method)">#description</a></span>
|
|
370
|
+
<small>Porolog::Goal</small>
|
|
371
|
+
</div>
|
|
372
|
+
</li>
|
|
373
|
+
|
|
374
|
+
|
|
375
|
+
<li class="even ">
|
|
160
376
|
<div class="item">
|
|
161
377
|
<span class='object_link'><a href="Porolog/Arguments.html#dup-instance_method" title="Porolog::Arguments#dup (method)">#dup</a></span>
|
|
162
378
|
<small>Porolog::Arguments</small>
|
|
@@ -164,6 +380,14 @@
|
|
|
164
380
|
</li>
|
|
165
381
|
|
|
166
382
|
|
|
383
|
+
<li class="odd ">
|
|
384
|
+
<div class="item">
|
|
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>
|
|
387
|
+
</div>
|
|
388
|
+
</li>
|
|
389
|
+
|
|
390
|
+
|
|
167
391
|
<li class="even ">
|
|
168
392
|
<div class="item">
|
|
169
393
|
<span class='object_link'><a href="Porolog/Arguments.html#evaluates-instance_method" title="Porolog::Arguments#evaluates (method)">#evaluates</a></span>
|
|
@@ -173,6 +397,14 @@
|
|
|
173
397
|
|
|
174
398
|
|
|
175
399
|
<li class="odd ">
|
|
400
|
+
<div class="item">
|
|
401
|
+
<span class='object_link'><a href="Porolog.html#expand_splat-instance_method" title="Porolog#expand_splat (method)">#expand_splat</a></span>
|
|
402
|
+
<small>Porolog</small>
|
|
403
|
+
</div>
|
|
404
|
+
</li>
|
|
405
|
+
|
|
406
|
+
|
|
407
|
+
<li class="even ">
|
|
176
408
|
<div class="item">
|
|
177
409
|
<span class='object_link'><a href="Porolog/Arguments.html#fact!-instance_method" title="Porolog::Arguments#fact! (method)">#fact!</a></span>
|
|
178
410
|
<small>Porolog::Arguments</small>
|
|
@@ -180,7 +412,7 @@
|
|
|
180
412
|
</li>
|
|
181
413
|
|
|
182
414
|
|
|
183
|
-
<li class="
|
|
415
|
+
<li class="odd ">
|
|
184
416
|
<div class="item">
|
|
185
417
|
<span class='object_link'><a href="Porolog/Arguments.html#falicy!-instance_method" title="Porolog::Arguments#falicy! (method)">#falicy!</a></span>
|
|
186
418
|
<small>Porolog::Arguments</small>
|
|
@@ -188,161 +420,169 @@
|
|
|
188
420
|
</li>
|
|
189
421
|
|
|
190
422
|
|
|
423
|
+
<li class="even ">
|
|
424
|
+
<div class="item">
|
|
425
|
+
<span class='object_link'><a href="Array.html#goal-instance_method" title="Array#goal (method)">#goal</a></span>
|
|
426
|
+
<small>Array</small>
|
|
427
|
+
</div>
|
|
428
|
+
</li>
|
|
429
|
+
|
|
430
|
+
|
|
191
431
|
<li class="odd ">
|
|
192
432
|
<div class="item">
|
|
193
|
-
<span class='object_link'><a href="Porolog/
|
|
194
|
-
<small>Porolog::
|
|
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>
|
|
195
435
|
</div>
|
|
196
436
|
</li>
|
|
197
437
|
|
|
198
438
|
|
|
199
439
|
<li class="even ">
|
|
200
440
|
<div class="item">
|
|
201
|
-
<span class='object_link'><a href="Porolog/
|
|
202
|
-
<small>Porolog::
|
|
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>
|
|
203
443
|
</div>
|
|
204
444
|
</li>
|
|
205
445
|
|
|
206
446
|
|
|
207
447
|
<li class="odd ">
|
|
208
448
|
<div class="item">
|
|
209
|
-
<span class='object_link'><a href="Porolog/
|
|
210
|
-
<small>Porolog::
|
|
449
|
+
<span class='object_link'><a href="Porolog/Arguments.html#goal-instance_method" title="Porolog::Arguments#goal (method)">#goal</a></span>
|
|
450
|
+
<small>Porolog::Arguments</small>
|
|
211
451
|
</div>
|
|
212
452
|
</li>
|
|
213
453
|
|
|
214
454
|
|
|
215
455
|
<li class="even ">
|
|
216
456
|
<div class="item">
|
|
217
|
-
<span class='object_link'><a href="Porolog/
|
|
218
|
-
<small>Porolog::
|
|
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>
|
|
219
459
|
</div>
|
|
220
460
|
</li>
|
|
221
461
|
|
|
222
462
|
|
|
223
463
|
<li class="odd ">
|
|
224
464
|
<div class="item">
|
|
225
|
-
<span class='object_link'><a href="Porolog/
|
|
226
|
-
<small>Porolog::
|
|
465
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#goals-instance_method" title="Porolog::Instantiation#goals (method)">#goals</a></span>
|
|
466
|
+
<small>Porolog::Instantiation</small>
|
|
227
467
|
</div>
|
|
228
468
|
</li>
|
|
229
469
|
|
|
230
470
|
|
|
231
471
|
<li class="even ">
|
|
232
472
|
<div class="item">
|
|
233
|
-
<span class='object_link'><a href="Porolog/
|
|
234
|
-
<small>Porolog::
|
|
473
|
+
<span class='object_link'><a href="Porolog/Goal.html#goals-class_method" title="Porolog::Goal.goals (method)">goals</a></span>
|
|
474
|
+
<small>Porolog::Goal</small>
|
|
235
475
|
</div>
|
|
236
476
|
</li>
|
|
237
477
|
|
|
238
478
|
|
|
239
479
|
<li class="odd ">
|
|
240
480
|
<div class="item">
|
|
241
|
-
<span class='object_link'><a href="Porolog/
|
|
242
|
-
<small>Porolog::
|
|
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>
|
|
243
483
|
</div>
|
|
244
484
|
</li>
|
|
245
485
|
|
|
246
486
|
|
|
247
487
|
<li class="even ">
|
|
248
488
|
<div class="item">
|
|
249
|
-
<span class='object_link'><a href="Porolog/Predicate.html#
|
|
250
|
-
<small>Porolog::Predicate</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>
|
|
251
491
|
</div>
|
|
252
492
|
</li>
|
|
253
493
|
|
|
254
494
|
|
|
255
495
|
<li class="odd ">
|
|
256
496
|
<div class="item">
|
|
257
|
-
<span class='object_link'><a href="Porolog
|
|
258
|
-
<small>Porolog
|
|
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>
|
|
259
499
|
</div>
|
|
260
500
|
</li>
|
|
261
501
|
|
|
262
502
|
|
|
263
503
|
<li class="even ">
|
|
264
504
|
<div class="item">
|
|
265
|
-
<span class='object_link'><a href="
|
|
266
|
-
<small>
|
|
505
|
+
<span class='object_link'><a href="Array.html#head-instance_method" title="Array#head (method)">#head</a></span>
|
|
506
|
+
<small>Array</small>
|
|
267
507
|
</div>
|
|
268
508
|
</li>
|
|
269
509
|
|
|
270
510
|
|
|
271
511
|
<li class="odd ">
|
|
272
512
|
<div class="item">
|
|
273
|
-
<span class='object_link'><a href="
|
|
274
|
-
<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>
|
|
275
515
|
</div>
|
|
276
516
|
</li>
|
|
277
517
|
|
|
278
518
|
|
|
279
519
|
<li class="even ">
|
|
280
520
|
<div class="item">
|
|
281
|
-
<span class='object_link'><a href="
|
|
282
|
-
<small>
|
|
521
|
+
<span class='object_link'><a href="Object.html#headtail%3F-instance_method" title="Object#headtail? (method)">#headtail?</a></span>
|
|
522
|
+
<small>Object</small>
|
|
283
523
|
</div>
|
|
284
524
|
</li>
|
|
285
525
|
|
|
286
526
|
|
|
287
527
|
<li class="odd ">
|
|
288
528
|
<div class="item">
|
|
289
|
-
<span class='object_link'><a href="Porolog.html#
|
|
290
|
-
<small>Porolog</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>
|
|
291
531
|
</div>
|
|
292
532
|
</li>
|
|
293
533
|
|
|
294
534
|
|
|
295
535
|
<li class="even ">
|
|
296
536
|
<div class="item">
|
|
297
|
-
<span class='object_link'><a href="Porolog/
|
|
298
|
-
<small>Porolog::
|
|
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>
|
|
299
539
|
</div>
|
|
300
540
|
</li>
|
|
301
541
|
|
|
302
542
|
|
|
303
543
|
<li class="odd ">
|
|
304
544
|
<div class="item">
|
|
305
|
-
<span class='object_link'><a href="Porolog/
|
|
306
|
-
<small>Porolog::
|
|
545
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#index2-instance_method" title="Porolog::Instantiation#index2 (method)">#index2</a></span>
|
|
546
|
+
<small>Porolog::Instantiation</small>
|
|
307
547
|
</div>
|
|
308
548
|
</li>
|
|
309
549
|
|
|
310
550
|
|
|
311
551
|
<li class="even ">
|
|
312
552
|
<div class="item">
|
|
313
|
-
<span class='object_link'><a href="Porolog/
|
|
314
|
-
<small>Porolog::
|
|
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>
|
|
315
555
|
</div>
|
|
316
556
|
</li>
|
|
317
557
|
|
|
318
558
|
|
|
319
559
|
<li class="odd ">
|
|
320
560
|
<div class="item">
|
|
321
|
-
<span class='object_link'><a href="Porolog/
|
|
322
|
-
<small>Porolog::
|
|
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>
|
|
323
563
|
</div>
|
|
324
564
|
</li>
|
|
325
565
|
|
|
326
566
|
|
|
327
567
|
<li class="even ">
|
|
328
568
|
<div class="item">
|
|
329
|
-
<span class='object_link'><a href="Porolog/
|
|
330
|
-
<small>Porolog::
|
|
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>
|
|
331
571
|
</div>
|
|
332
572
|
</li>
|
|
333
573
|
|
|
334
574
|
|
|
335
575
|
<li class="odd ">
|
|
336
576
|
<div class="item">
|
|
337
|
-
<span class='object_link'><a href="Porolog/
|
|
338
|
-
<small>Porolog::
|
|
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>
|
|
339
579
|
</div>
|
|
340
580
|
</li>
|
|
341
581
|
|
|
342
582
|
|
|
343
583
|
<li class="even ">
|
|
344
584
|
<div class="item">
|
|
345
|
-
<span class='object_link'><a href="Porolog/Predicate.html#
|
|
585
|
+
<span class='object_link'><a href="Porolog/Predicate.html#initialize-instance_method" title="Porolog::Predicate#initialize (method)">#initialize</a></span>
|
|
346
586
|
<small>Porolog::Predicate</small>
|
|
347
587
|
</div>
|
|
348
588
|
</li>
|
|
@@ -350,23 +590,23 @@
|
|
|
350
590
|
|
|
351
591
|
<li class="odd ">
|
|
352
592
|
<div class="item">
|
|
353
|
-
<span class='object_link'><a href="Porolog/
|
|
354
|
-
<small>Porolog::
|
|
593
|
+
<span class='object_link'><a href="Porolog/Goal.html#initialize-instance_method" title="Porolog::Goal#initialize (method)">#initialize</a></span>
|
|
594
|
+
<small>Porolog::Goal</small>
|
|
355
595
|
</div>
|
|
356
596
|
</li>
|
|
357
597
|
|
|
358
598
|
|
|
359
599
|
<li class="even ">
|
|
360
600
|
<div class="item">
|
|
361
|
-
<span class='object_link'><a href="Porolog/
|
|
362
|
-
<small>Porolog::
|
|
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>
|
|
363
603
|
</div>
|
|
364
604
|
</li>
|
|
365
605
|
|
|
366
606
|
|
|
367
607
|
<li class="odd ">
|
|
368
608
|
<div class="item">
|
|
369
|
-
<span class='object_link'><a href="Porolog/Arguments.html#
|
|
609
|
+
<span class='object_link'><a href="Porolog/Arguments.html#initialize-instance_method" title="Porolog::Arguments#initialize (method)">#initialize</a></span>
|
|
370
610
|
<small>Porolog::Arguments</small>
|
|
371
611
|
</div>
|
|
372
612
|
</li>
|
|
@@ -374,16 +614,1024 @@
|
|
|
374
614
|
|
|
375
615
|
<li class="even ">
|
|
376
616
|
<div class="item">
|
|
377
|
-
<span class='object_link'><a href="Porolog/
|
|
378
|
-
<small>Porolog::
|
|
617
|
+
<span class='object_link'><a href="Porolog/Scope.html#initialize-instance_method" title="Porolog::Scope#initialize (method)">#initialize</a></span>
|
|
618
|
+
<small>Porolog::Scope</small>
|
|
379
619
|
</div>
|
|
380
620
|
</li>
|
|
381
621
|
|
|
382
622
|
|
|
383
623
|
<li class="odd ">
|
|
384
624
|
<div class="item">
|
|
385
|
-
<span class='object_link'><a href="Porolog/
|
|
386
|
-
<small>Porolog::
|
|
625
|
+
<span class='object_link'><a href="Porolog/Variable.html#initialize-instance_method" title="Porolog::Variable#initialize (method)">#initialize</a></span>
|
|
626
|
+
<small>Porolog::Variable</small>
|
|
627
|
+
</div>
|
|
628
|
+
</li>
|
|
629
|
+
|
|
630
|
+
|
|
631
|
+
<li class="even ">
|
|
632
|
+
<div class="item">
|
|
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>
|
|
635
|
+
</div>
|
|
636
|
+
</li>
|
|
637
|
+
|
|
638
|
+
|
|
639
|
+
<li class="odd ">
|
|
640
|
+
<div class="item">
|
|
641
|
+
<span class='object_link'><a href="Porolog/Goal.html#inspect-instance_method" title="Porolog::Goal#inspect (method)">#inspect</a></span>
|
|
642
|
+
<small>Porolog::Goal</small>
|
|
643
|
+
</div>
|
|
644
|
+
</li>
|
|
645
|
+
|
|
646
|
+
|
|
647
|
+
<li class="even ">
|
|
648
|
+
<div class="item">
|
|
649
|
+
<span class='object_link'><a href="Porolog/Rule.html#inspect-instance_method" title="Porolog::Rule#inspect (method)">#inspect</a></span>
|
|
650
|
+
<small>Porolog::Rule</small>
|
|
651
|
+
</div>
|
|
652
|
+
</li>
|
|
653
|
+
|
|
654
|
+
|
|
655
|
+
<li class="odd ">
|
|
656
|
+
<div class="item">
|
|
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>
|
|
659
|
+
</div>
|
|
660
|
+
</li>
|
|
661
|
+
|
|
662
|
+
|
|
663
|
+
<li class="even ">
|
|
664
|
+
<div class="item">
|
|
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>
|
|
667
|
+
</div>
|
|
668
|
+
</li>
|
|
669
|
+
|
|
670
|
+
|
|
671
|
+
<li class="odd ">
|
|
672
|
+
<div class="item">
|
|
673
|
+
<span class='object_link'><a href="Porolog/Value.html#inspect-instance_method" title="Porolog::Value#inspect (method)">#inspect</a></span>
|
|
674
|
+
<small>Porolog::Value</small>
|
|
675
|
+
</div>
|
|
676
|
+
</li>
|
|
677
|
+
|
|
678
|
+
|
|
679
|
+
<li class="even ">
|
|
680
|
+
<div class="item">
|
|
681
|
+
<span class='object_link'><a href="Porolog/Predicate.html#inspect-instance_method" title="Porolog::Predicate#inspect (method)">#inspect</a></span>
|
|
682
|
+
<small>Porolog::Predicate</small>
|
|
683
|
+
</div>
|
|
684
|
+
</li>
|
|
685
|
+
|
|
686
|
+
|
|
687
|
+
<li class="odd ">
|
|
688
|
+
<div class="item">
|
|
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>
|
|
691
|
+
</div>
|
|
692
|
+
</li>
|
|
693
|
+
|
|
694
|
+
|
|
695
|
+
<li class="even ">
|
|
696
|
+
<div class="item">
|
|
697
|
+
<span class='object_link'><a href="Porolog/Variable.html#inspect-instance_method" title="Porolog::Variable#inspect (method)">#inspect</a></span>
|
|
698
|
+
<small>Porolog::Variable</small>
|
|
699
|
+
</div>
|
|
700
|
+
</li>
|
|
701
|
+
|
|
702
|
+
|
|
703
|
+
<li class="odd ">
|
|
704
|
+
<div class="item">
|
|
705
|
+
<span class='object_link'><a href="Porolog/Goal.html#inspect_variables-instance_method" title="Porolog::Goal#inspect_variables (method)">#inspect_variables</a></span>
|
|
706
|
+
<small>Porolog::Goal</small>
|
|
707
|
+
</div>
|
|
708
|
+
</li>
|
|
709
|
+
|
|
710
|
+
|
|
711
|
+
<li class="even ">
|
|
712
|
+
<div class="item">
|
|
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>
|
|
715
|
+
</div>
|
|
716
|
+
</li>
|
|
717
|
+
|
|
718
|
+
|
|
719
|
+
<li class="odd ">
|
|
720
|
+
<div class="item">
|
|
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>
|
|
723
|
+
</div>
|
|
724
|
+
</li>
|
|
725
|
+
|
|
726
|
+
|
|
727
|
+
<li class="even ">
|
|
728
|
+
<div class="item">
|
|
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>
|
|
731
|
+
</div>
|
|
732
|
+
</li>
|
|
733
|
+
|
|
734
|
+
|
|
735
|
+
<li class="odd ">
|
|
736
|
+
<div class="item">
|
|
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>
|
|
739
|
+
</div>
|
|
740
|
+
</li>
|
|
741
|
+
|
|
742
|
+
|
|
743
|
+
<li class="even ">
|
|
744
|
+
<div class="item">
|
|
745
|
+
<span class='object_link'><a href="Porolog.html#instantiate_unifications-instance_method" title="Porolog#instantiate_unifications (method)">#instantiate_unifications</a></span>
|
|
746
|
+
<small>Porolog</small>
|
|
747
|
+
</div>
|
|
748
|
+
</li>
|
|
749
|
+
|
|
750
|
+
|
|
751
|
+
<li class="odd ">
|
|
752
|
+
<div class="item">
|
|
753
|
+
<span class='object_link'><a href="Porolog/Variable.html#instantiations-instance_method" title="Porolog::Variable#instantiations (method)">#instantiations</a></span>
|
|
754
|
+
<small>Porolog::Variable</small>
|
|
755
|
+
</div>
|
|
756
|
+
</li>
|
|
757
|
+
|
|
758
|
+
|
|
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 ">
|
|
768
|
+
<div class="item">
|
|
769
|
+
<span class='object_link'><a href="Porolog/Value.html#instantiations-instance_method" title="Porolog::Value#instantiations (method)">#instantiations</a></span>
|
|
770
|
+
<small>Porolog::Value</small>
|
|
771
|
+
</div>
|
|
772
|
+
</li>
|
|
773
|
+
|
|
774
|
+
|
|
775
|
+
<li class="even ">
|
|
776
|
+
<div class="item">
|
|
777
|
+
<span class='object_link'><a href="Porolog/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
|
+
|
|
783
|
+
<li class="odd ">
|
|
784
|
+
<div class="item">
|
|
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>
|
|
795
|
+
</div>
|
|
796
|
+
</li>
|
|
797
|
+
|
|
798
|
+
|
|
799
|
+
<li class="odd ">
|
|
800
|
+
<div class="item">
|
|
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>
|
|
803
|
+
</div>
|
|
804
|
+
</li>
|
|
805
|
+
|
|
806
|
+
|
|
807
|
+
<li class="even ">
|
|
808
|
+
<div class="item">
|
|
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>
|
|
811
|
+
</div>
|
|
812
|
+
</li>
|
|
813
|
+
|
|
814
|
+
|
|
815
|
+
<li class="odd ">
|
|
816
|
+
<div class="item">
|
|
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>
|
|
819
|
+
</div>
|
|
820
|
+
</li>
|
|
821
|
+
|
|
822
|
+
|
|
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 ">
|
|
832
|
+
<div class="item">
|
|
833
|
+
<span class='object_link'><a href="Porolog/Goal.html#log-instance_method" title="Porolog::Goal#log (method)">#log</a></span>
|
|
834
|
+
<small>Porolog::Goal</small>
|
|
835
|
+
</div>
|
|
836
|
+
</li>
|
|
837
|
+
|
|
838
|
+
|
|
839
|
+
<li class="even ">
|
|
840
|
+
<div class="item">
|
|
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>
|
|
843
|
+
</div>
|
|
844
|
+
</li>
|
|
845
|
+
|
|
846
|
+
|
|
847
|
+
<li class="odd ">
|
|
848
|
+
<div class="item">
|
|
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>
|
|
851
|
+
</div>
|
|
852
|
+
</li>
|
|
853
|
+
|
|
854
|
+
|
|
855
|
+
<li class="even ">
|
|
856
|
+
<div class="item">
|
|
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>
|
|
859
|
+
</div>
|
|
860
|
+
</li>
|
|
861
|
+
|
|
862
|
+
|
|
863
|
+
<li class="odd ">
|
|
864
|
+
<div class="item">
|
|
865
|
+
<span class='object_link'><a href="Object.html#myid-instance_method" title="Object#myid (method)">#myid</a></span>
|
|
866
|
+
<small>Object</small>
|
|
867
|
+
</div>
|
|
868
|
+
</li>
|
|
869
|
+
|
|
870
|
+
|
|
871
|
+
<li class="even ">
|
|
872
|
+
<div class="item">
|
|
873
|
+
<span class='object_link'><a href="Porolog/Rule.html#myid-instance_method" title="Porolog::Rule#myid (method)">#myid</a></span>
|
|
874
|
+
<small>Porolog::Rule</small>
|
|
875
|
+
</div>
|
|
876
|
+
</li>
|
|
877
|
+
|
|
878
|
+
|
|
879
|
+
<li class="odd ">
|
|
880
|
+
<div class="item">
|
|
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>
|
|
883
|
+
</div>
|
|
884
|
+
</li>
|
|
885
|
+
|
|
886
|
+
|
|
887
|
+
<li class="even ">
|
|
888
|
+
<div class="item">
|
|
889
|
+
<span class='object_link'><a href="Symbol.html#myid-instance_method" title="Symbol#myid (method)">#myid</a></span>
|
|
890
|
+
<small>Symbol</small>
|
|
891
|
+
</div>
|
|
892
|
+
</li>
|
|
893
|
+
|
|
894
|
+
|
|
895
|
+
<li class="odd ">
|
|
896
|
+
<div class="item">
|
|
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>
|
|
899
|
+
</div>
|
|
900
|
+
</li>
|
|
901
|
+
|
|
902
|
+
|
|
903
|
+
<li class="even ">
|
|
904
|
+
<div class="item">
|
|
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>
|
|
907
|
+
</div>
|
|
908
|
+
</li>
|
|
909
|
+
|
|
910
|
+
|
|
911
|
+
<li class="odd ">
|
|
912
|
+
<div class="item">
|
|
913
|
+
<span class='object_link'><a href="Porolog/Predicate.html#name-instance_method" title="Porolog::Predicate#name (method)">#name</a></span>
|
|
914
|
+
<small>Porolog::Predicate</small>
|
|
915
|
+
</div>
|
|
916
|
+
</li>
|
|
917
|
+
|
|
918
|
+
|
|
919
|
+
<li class="even ">
|
|
920
|
+
<div class="item">
|
|
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>
|
|
939
|
+
</div>
|
|
940
|
+
</li>
|
|
941
|
+
|
|
942
|
+
|
|
943
|
+
<li class="odd ">
|
|
944
|
+
<div class="item">
|
|
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>
|
|
947
|
+
</div>
|
|
948
|
+
</li>
|
|
949
|
+
|
|
950
|
+
|
|
951
|
+
<li class="even ">
|
|
952
|
+
<div class="item">
|
|
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>
|
|
955
|
+
</div>
|
|
956
|
+
</li>
|
|
957
|
+
|
|
958
|
+
|
|
959
|
+
<li class="odd ">
|
|
960
|
+
<div class="item">
|
|
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>
|
|
963
|
+
</div>
|
|
964
|
+
</li>
|
|
965
|
+
|
|
966
|
+
|
|
967
|
+
<li class="even ">
|
|
968
|
+
<div class="item">
|
|
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>
|
|
970
|
+
<small>Porolog::Instantiation</small>
|
|
971
|
+
</div>
|
|
972
|
+
</li>
|
|
973
|
+
|
|
974
|
+
|
|
975
|
+
<li class="odd ">
|
|
976
|
+
<div class="item">
|
|
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>
|
|
979
|
+
</div>
|
|
980
|
+
</li>
|
|
981
|
+
|
|
982
|
+
|
|
983
|
+
<li class="even ">
|
|
984
|
+
<div class="item">
|
|
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>
|
|
987
|
+
</div>
|
|
988
|
+
</li>
|
|
989
|
+
|
|
990
|
+
|
|
991
|
+
<li class="odd ">
|
|
992
|
+
<div class="item">
|
|
993
|
+
<span class='object_link'><a href="Porolog.html#predicate-instance_method" title="Porolog#predicate (method)">#predicate</a></span>
|
|
994
|
+
<small>Porolog</small>
|
|
995
|
+
</div>
|
|
996
|
+
</li>
|
|
997
|
+
|
|
998
|
+
|
|
999
|
+
<li class="even ">
|
|
1000
|
+
<div class="item">
|
|
1001
|
+
<span class='object_link'><a href="Porolog/Scope.html#predicates-instance_method" title="Porolog::Scope#predicates (method)">#predicates</a></span>
|
|
1002
|
+
<small>Porolog::Scope</small>
|
|
1003
|
+
</div>
|
|
1004
|
+
</li>
|
|
1005
|
+
|
|
1006
|
+
|
|
1007
|
+
<li class="odd ">
|
|
1008
|
+
<div class="item">
|
|
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>
|
|
1011
|
+
</div>
|
|
1012
|
+
</li>
|
|
1013
|
+
|
|
1014
|
+
|
|
1015
|
+
<li class="even ">
|
|
1016
|
+
<div class="item">
|
|
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>
|
|
1019
|
+
</div>
|
|
1020
|
+
</li>
|
|
1021
|
+
|
|
1022
|
+
|
|
1023
|
+
<li class="odd ">
|
|
1024
|
+
<div class="item">
|
|
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>
|
|
1027
|
+
</div>
|
|
1028
|
+
</li>
|
|
1029
|
+
|
|
1030
|
+
|
|
1031
|
+
<li class="even ">
|
|
1032
|
+
<div class="item">
|
|
1033
|
+
<span class='object_link'><a href="Porolog/Goal.html#reset-class_method" title="Porolog::Goal.reset (method)">reset</a></span>
|
|
1034
|
+
<small>Porolog::Goal</small>
|
|
1035
|
+
</div>
|
|
1036
|
+
</li>
|
|
1037
|
+
|
|
1038
|
+
|
|
1039
|
+
<li class="odd ">
|
|
1040
|
+
<div class="item">
|
|
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>
|
|
1043
|
+
</div>
|
|
1044
|
+
</li>
|
|
1045
|
+
|
|
1046
|
+
|
|
1047
|
+
<li class="even ">
|
|
1048
|
+
<div class="item">
|
|
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>
|
|
1051
|
+
</div>
|
|
1052
|
+
</li>
|
|
1053
|
+
|
|
1054
|
+
|
|
1055
|
+
<li class="odd ">
|
|
1056
|
+
<div class="item">
|
|
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>
|
|
1059
|
+
</div>
|
|
1060
|
+
</li>
|
|
1061
|
+
|
|
1062
|
+
|
|
1063
|
+
<li class="even ">
|
|
1064
|
+
<div class="item">
|
|
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>
|
|
1067
|
+
</div>
|
|
1068
|
+
</li>
|
|
1069
|
+
|
|
1070
|
+
|
|
1071
|
+
<li class="odd ">
|
|
1072
|
+
<div class="item">
|
|
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>
|
|
1075
|
+
</div>
|
|
1076
|
+
</li>
|
|
1077
|
+
|
|
1078
|
+
|
|
1079
|
+
<li class="even ">
|
|
1080
|
+
<div class="item">
|
|
1081
|
+
<span class='object_link'><a href="Porolog/Value.html#respond_to%3F-instance_method" title="Porolog::Value#respond_to? (method)">#respond_to?</a></span>
|
|
1082
|
+
<small>Porolog::Value</small>
|
|
1083
|
+
</div>
|
|
1084
|
+
</li>
|
|
1085
|
+
|
|
1086
|
+
|
|
1087
|
+
<li class="odd ">
|
|
1088
|
+
<div class="item">
|
|
1089
|
+
<span class='object_link'><a href="Porolog/Goal.html#result-instance_method" title="Porolog::Goal#result (method)">#result</a></span>
|
|
1090
|
+
<small>Porolog::Goal</small>
|
|
1091
|
+
</div>
|
|
1092
|
+
</li>
|
|
1093
|
+
|
|
1094
|
+
|
|
1095
|
+
<li class="even ">
|
|
1096
|
+
<div class="item">
|
|
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>
|
|
1099
|
+
</div>
|
|
1100
|
+
</li>
|
|
1101
|
+
|
|
1102
|
+
|
|
1103
|
+
<li class="odd ">
|
|
1104
|
+
<div class="item">
|
|
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>
|
|
1107
|
+
</div>
|
|
1108
|
+
</li>
|
|
1109
|
+
|
|
1110
|
+
|
|
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 ">
|
|
1120
|
+
<div class="item">
|
|
1121
|
+
<span class='object_link'><a href="Porolog/Rule.html#satisfy-instance_method" title="Porolog::Rule#satisfy (method)">#satisfy</a></span>
|
|
1122
|
+
<small>Porolog::Rule</small>
|
|
1123
|
+
</div>
|
|
1124
|
+
</li>
|
|
1125
|
+
|
|
1126
|
+
|
|
1127
|
+
<li class="even ">
|
|
1128
|
+
<div class="item">
|
|
1129
|
+
<span class='object_link'><a href="Porolog/Goal.html#satisfy-instance_method" title="Porolog::Goal#satisfy (method)">#satisfy</a></span>
|
|
1130
|
+
<small>Porolog::Goal</small>
|
|
1131
|
+
</div>
|
|
1132
|
+
</li>
|
|
1133
|
+
|
|
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
|
+
|
|
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 ">
|
|
1152
|
+
<div class="item">
|
|
1153
|
+
<span class='object_link'><a href="Porolog/Rule.html#satisfy_conjunction-instance_method" title="Porolog::Rule#satisfy_conjunction (method)">#satisfy_conjunction</a></span>
|
|
1154
|
+
<small>Porolog::Rule</small>
|
|
1155
|
+
</div>
|
|
1156
|
+
</li>
|
|
1157
|
+
|
|
1158
|
+
|
|
1159
|
+
<li class="even ">
|
|
1160
|
+
<div class="item">
|
|
1161
|
+
<span class='object_link'><a href="Porolog/Rule.html#satisfy_definition-instance_method" title="Porolog::Rule#satisfy_definition (method)">#satisfy_definition</a></span>
|
|
1162
|
+
<small>Porolog::Rule</small>
|
|
1163
|
+
</div>
|
|
1164
|
+
</li>
|
|
1165
|
+
|
|
1166
|
+
|
|
1167
|
+
<li class="odd ">
|
|
1168
|
+
<div class="item">
|
|
1169
|
+
<span class='object_link'><a href="Porolog/Predicate.html#scope-class_method" title="Porolog::Predicate.scope (method)">scope</a></span>
|
|
1170
|
+
<small>Porolog::Predicate</small>
|
|
1171
|
+
</div>
|
|
1172
|
+
</li>
|
|
1173
|
+
|
|
1174
|
+
|
|
1175
|
+
<li class="even ">
|
|
1176
|
+
<div class="item">
|
|
1177
|
+
<span class='object_link'><a href="Porolog/Predicate.html#scope=-class_method" title="Porolog::Predicate.scope= (method)">scope=</a></span>
|
|
1178
|
+
<small>Porolog::Predicate</small>
|
|
1179
|
+
</div>
|
|
1180
|
+
</li>
|
|
1181
|
+
|
|
1182
|
+
|
|
1183
|
+
<li class="odd ">
|
|
1184
|
+
<div class="item">
|
|
1185
|
+
<span class='object_link'><a href="Porolog/Scope.html#scopes-class_method" title="Porolog::Scope.scopes (method)">scopes</a></span>
|
|
1186
|
+
<small>Porolog::Scope</small>
|
|
1187
|
+
</div>
|
|
1188
|
+
</li>
|
|
1189
|
+
|
|
1190
|
+
|
|
1191
|
+
<li class="even ">
|
|
1192
|
+
<div class="item">
|
|
1193
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#signature-instance_method" title="Porolog::Instantiation#signature (method)">#signature</a></span>
|
|
1194
|
+
<small>Porolog::Instantiation</small>
|
|
1195
|
+
</div>
|
|
1196
|
+
</li>
|
|
1197
|
+
|
|
1198
|
+
|
|
1199
|
+
<li class="odd ">
|
|
1200
|
+
<div class="item">
|
|
1201
|
+
<span class='object_link'><a href="Porolog/Arguments.html#solutions-instance_method" title="Porolog::Arguments#solutions (method)">#solutions</a></span>
|
|
1202
|
+
<small>Porolog::Arguments</small>
|
|
1203
|
+
</div>
|
|
1204
|
+
</li>
|
|
1205
|
+
|
|
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
|
+
|
|
1215
|
+
<li class="odd ">
|
|
1216
|
+
<div class="item">
|
|
1217
|
+
<span class='object_link'><a href="Porolog/Arguments.html#solve-instance_method" title="Porolog::Arguments#solve (method)">#solve</a></span>
|
|
1218
|
+
<small>Porolog::Arguments</small>
|
|
1219
|
+
</div>
|
|
1220
|
+
</li>
|
|
1221
|
+
|
|
1222
|
+
|
|
1223
|
+
<li class="even ">
|
|
1224
|
+
<div class="item">
|
|
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>
|
|
1227
|
+
</div>
|
|
1228
|
+
</li>
|
|
1229
|
+
|
|
1230
|
+
|
|
1231
|
+
<li class="odd ">
|
|
1232
|
+
<div class="item">
|
|
1233
|
+
<span class='object_link'><a href="Object.html#tail-instance_method" title="Object#tail (method)">#tail</a></span>
|
|
1234
|
+
<small>Object</small>
|
|
1235
|
+
</div>
|
|
1236
|
+
</li>
|
|
1237
|
+
|
|
1238
|
+
|
|
1239
|
+
<li class="even ">
|
|
1240
|
+
<div class="item">
|
|
1241
|
+
<span class='object_link'><a href="Array.html#tail-instance_method" title="Array#tail (method)">#tail</a></span>
|
|
1242
|
+
<small>Array</small>
|
|
1243
|
+
</div>
|
|
1244
|
+
</li>
|
|
1245
|
+
|
|
1246
|
+
|
|
1247
|
+
<li class="odd ">
|
|
1248
|
+
<div class="item">
|
|
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>
|
|
1251
|
+
</div>
|
|
1252
|
+
</li>
|
|
1253
|
+
|
|
1254
|
+
|
|
1255
|
+
<li class="even ">
|
|
1256
|
+
<div class="item">
|
|
1257
|
+
<span class='object_link'><a href="Porolog/Goal.html#terminate!-instance_method" title="Porolog::Goal#terminate! (method)">#terminate!</a></span>
|
|
1258
|
+
<small>Porolog::Goal</small>
|
|
1259
|
+
</div>
|
|
1260
|
+
</li>
|
|
1261
|
+
|
|
1262
|
+
|
|
1263
|
+
<li class="odd ">
|
|
1264
|
+
<div class="item">
|
|
1265
|
+
<span class='object_link'><a href="Porolog/Goal.html#terminated%3F-instance_method" title="Porolog::Goal#terminated? (method)">#terminated?</a></span>
|
|
1266
|
+
<small>Porolog::Goal</small>
|
|
1267
|
+
</div>
|
|
1268
|
+
</li>
|
|
1269
|
+
|
|
1270
|
+
|
|
1271
|
+
<li class="even ">
|
|
1272
|
+
<div class="item">
|
|
1273
|
+
<span class='object_link'><a href="Porolog/Variable.html#to_sym-instance_method" title="Porolog::Variable#to_sym (method)">#to_sym</a></span>
|
|
1274
|
+
<small>Porolog::Variable</small>
|
|
1275
|
+
</div>
|
|
1276
|
+
</li>
|
|
1277
|
+
|
|
1278
|
+
|
|
1279
|
+
<li class="odd ">
|
|
1280
|
+
<div class="item">
|
|
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>
|
|
1283
|
+
</div>
|
|
1284
|
+
</li>
|
|
1285
|
+
|
|
1286
|
+
|
|
1287
|
+
<li class="even ">
|
|
1288
|
+
<div class="item">
|
|
1289
|
+
<span class='object_link'><a href="Porolog/Value.html#type-instance_method" title="Porolog::Value#type (method)">#type</a></span>
|
|
1290
|
+
<small>Porolog::Value</small>
|
|
1291
|
+
</div>
|
|
1292
|
+
</li>
|
|
1293
|
+
|
|
1294
|
+
|
|
1295
|
+
<li class="odd ">
|
|
1296
|
+
<div class="item">
|
|
1297
|
+
<span class='object_link'><a href="Object.html#type-instance_method" title="Object#type (method)">#type</a></span>
|
|
1298
|
+
<small>Object</small>
|
|
1299
|
+
</div>
|
|
1300
|
+
</li>
|
|
1301
|
+
|
|
1302
|
+
|
|
1303
|
+
<li class="even ">
|
|
1304
|
+
<div class="item">
|
|
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>
|
|
1307
|
+
</div>
|
|
1308
|
+
</li>
|
|
1309
|
+
|
|
1310
|
+
|
|
1311
|
+
<li class="odd ">
|
|
1312
|
+
<div class="item">
|
|
1313
|
+
<span class='object_link'><a href="Symbol.html#type-instance_method" title="Symbol#type (method)">#type</a></span>
|
|
1314
|
+
<small>Symbol</small>
|
|
1315
|
+
</div>
|
|
1316
|
+
</li>
|
|
1317
|
+
|
|
1318
|
+
|
|
1319
|
+
<li class="even ">
|
|
1320
|
+
<div class="item">
|
|
1321
|
+
<span class='object_link'><a href="Array.html#type-instance_method" title="Array#type (method)">#type</a></span>
|
|
1322
|
+
<small>Array</small>
|
|
1323
|
+
</div>
|
|
1324
|
+
</li>
|
|
1325
|
+
|
|
1326
|
+
|
|
1327
|
+
<li class="odd ">
|
|
1328
|
+
<div class="item">
|
|
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>
|
|
1331
|
+
</div>
|
|
1332
|
+
</li>
|
|
1333
|
+
|
|
1334
|
+
|
|
1335
|
+
<li class="even ">
|
|
1336
|
+
<div class="item">
|
|
1337
|
+
<span class='object_link'><a href="Porolog.html#unify-instance_method" title="Porolog#unify (method)">#unify</a></span>
|
|
1338
|
+
<small>Porolog</small>
|
|
1339
|
+
</div>
|
|
1340
|
+
</li>
|
|
1341
|
+
|
|
1342
|
+
|
|
1343
|
+
<li class="odd ">
|
|
1344
|
+
<div class="item">
|
|
1345
|
+
<span class='object_link'><a href="Porolog.html#unify_arrays-instance_method" title="Porolog#unify_arrays (method)">#unify_arrays</a></span>
|
|
1346
|
+
<small>Porolog</small>
|
|
1347
|
+
</div>
|
|
1348
|
+
</li>
|
|
1349
|
+
|
|
1350
|
+
|
|
1351
|
+
<li class="even ">
|
|
1352
|
+
<div class="item">
|
|
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>
|
|
1354
|
+
<small>Porolog</small>
|
|
1355
|
+
</div>
|
|
1356
|
+
</li>
|
|
1357
|
+
|
|
1358
|
+
|
|
1359
|
+
<li class="odd ">
|
|
1360
|
+
<div class="item">
|
|
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>
|
|
1362
|
+
<small>Porolog</small>
|
|
1363
|
+
</div>
|
|
1364
|
+
</li>
|
|
1365
|
+
|
|
1366
|
+
|
|
1367
|
+
<li class="even ">
|
|
1368
|
+
<div class="item">
|
|
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>
|
|
1370
|
+
<small>Porolog</small>
|
|
1371
|
+
</div>
|
|
1372
|
+
</li>
|
|
1373
|
+
|
|
1374
|
+
|
|
1375
|
+
<li class="odd ">
|
|
1376
|
+
<div class="item">
|
|
1377
|
+
<span class='object_link'><a href="Porolog.html#unify_goals-instance_method" title="Porolog#unify_goals (method)">#unify_goals</a></span>
|
|
1378
|
+
<small>Porolog</small>
|
|
1379
|
+
</div>
|
|
1380
|
+
</li>
|
|
1381
|
+
|
|
1382
|
+
|
|
1383
|
+
<li class="even ">
|
|
1384
|
+
<div class="item">
|
|
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>
|
|
1386
|
+
<small>Porolog</small>
|
|
1387
|
+
</div>
|
|
1388
|
+
</li>
|
|
1389
|
+
|
|
1390
|
+
|
|
1391
|
+
<li class="odd ">
|
|
1392
|
+
<div class="item">
|
|
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>
|
|
1394
|
+
<small>Porolog</small>
|
|
1395
|
+
</div>
|
|
1396
|
+
</li>
|
|
1397
|
+
|
|
1398
|
+
|
|
1399
|
+
<li class="even ">
|
|
1400
|
+
<div class="item">
|
|
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>
|
|
1402
|
+
<small>Porolog</small>
|
|
1403
|
+
</div>
|
|
1404
|
+
</li>
|
|
1405
|
+
|
|
1406
|
+
|
|
1407
|
+
<li class="odd ">
|
|
1408
|
+
<div class="item">
|
|
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>
|
|
1411
|
+
</div>
|
|
1412
|
+
</li>
|
|
1413
|
+
|
|
1414
|
+
|
|
1415
|
+
<li class="even ">
|
|
1416
|
+
<div class="item">
|
|
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>
|
|
1419
|
+
</div>
|
|
1420
|
+
</li>
|
|
1421
|
+
|
|
1422
|
+
|
|
1423
|
+
<li class="odd ">
|
|
1424
|
+
<div class="item">
|
|
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>
|
|
1427
|
+
</div>
|
|
1428
|
+
</li>
|
|
1429
|
+
|
|
1430
|
+
|
|
1431
|
+
<li class="even ">
|
|
1432
|
+
<div class="item">
|
|
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>
|
|
1435
|
+
</div>
|
|
1436
|
+
</li>
|
|
1437
|
+
|
|
1438
|
+
|
|
1439
|
+
<li class="odd ">
|
|
1440
|
+
<div class="item">
|
|
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>
|
|
1443
|
+
</div>
|
|
1444
|
+
</li>
|
|
1445
|
+
|
|
1446
|
+
|
|
1447
|
+
<li class="even ">
|
|
1448
|
+
<div class="item">
|
|
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>
|
|
1451
|
+
</div>
|
|
1452
|
+
</li>
|
|
1453
|
+
|
|
1454
|
+
|
|
1455
|
+
<li class="odd ">
|
|
1456
|
+
<div class="item">
|
|
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>
|
|
1459
|
+
</div>
|
|
1460
|
+
</li>
|
|
1461
|
+
|
|
1462
|
+
|
|
1463
|
+
<li class="even ">
|
|
1464
|
+
<div class="item">
|
|
1465
|
+
<span class='object_link'><a href="Array.html#value-instance_method" title="Array#value (method)">#value</a></span>
|
|
1466
|
+
<small>Array</small>
|
|
1467
|
+
</div>
|
|
1468
|
+
</li>
|
|
1469
|
+
|
|
1470
|
+
|
|
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 ">
|
|
1480
|
+
<div class="item">
|
|
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>
|
|
1482
|
+
<small>Porolog::Instantiation</small>
|
|
1483
|
+
</div>
|
|
1484
|
+
</li>
|
|
1485
|
+
|
|
1486
|
+
|
|
1487
|
+
<li class="odd ">
|
|
1488
|
+
<div class="item">
|
|
1489
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#value_indexed-instance_method" title="Porolog::Instantiation#value_indexed (method)">#value_indexed</a></span>
|
|
1490
|
+
<small>Porolog::Instantiation</small>
|
|
1491
|
+
</div>
|
|
1492
|
+
</li>
|
|
1493
|
+
|
|
1494
|
+
|
|
1495
|
+
<li class="even ">
|
|
1496
|
+
<div class="item">
|
|
1497
|
+
<span class='object_link'><a href="Porolog/Goal.html#value_of-instance_method" title="Porolog::Goal#value_of (method)">#value_of</a></span>
|
|
1498
|
+
<small>Porolog::Goal</small>
|
|
1499
|
+
</div>
|
|
1500
|
+
</li>
|
|
1501
|
+
|
|
1502
|
+
|
|
1503
|
+
<li class="odd ">
|
|
1504
|
+
<div class="item">
|
|
1505
|
+
<span class='object_link'><a href="Porolog/Goal.html#values-instance_method" title="Porolog::Goal#values (method)">#values</a></span>
|
|
1506
|
+
<small>Porolog::Goal</small>
|
|
1507
|
+
</div>
|
|
1508
|
+
</li>
|
|
1509
|
+
|
|
1510
|
+
|
|
1511
|
+
<li class="even ">
|
|
1512
|
+
<div class="item">
|
|
1513
|
+
<span class='object_link'><a href="Porolog/Variable.html#values-instance_method" title="Porolog::Variable#values (method)">#values</a></span>
|
|
1514
|
+
<small>Porolog::Variable</small>
|
|
1515
|
+
</div>
|
|
1516
|
+
</li>
|
|
1517
|
+
|
|
1518
|
+
|
|
1519
|
+
<li class="odd ">
|
|
1520
|
+
<div class="item">
|
|
1521
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#values-instance_method" title="Porolog::Instantiation#values (method)">#values</a></span>
|
|
1522
|
+
<small>Porolog::Instantiation</small>
|
|
1523
|
+
</div>
|
|
1524
|
+
</li>
|
|
1525
|
+
|
|
1526
|
+
|
|
1527
|
+
<li class="even ">
|
|
1528
|
+
<div class="item">
|
|
1529
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#values_for-instance_method" title="Porolog::Instantiation#values_for (method)">#values_for</a></span>
|
|
1530
|
+
<small>Porolog::Instantiation</small>
|
|
1531
|
+
</div>
|
|
1532
|
+
</li>
|
|
1533
|
+
|
|
1534
|
+
|
|
1535
|
+
<li class="odd ">
|
|
1536
|
+
<div class="item">
|
|
1537
|
+
<span class='object_link'><a href="Porolog/Goal.html#values_of-instance_method" title="Porolog::Goal#values_of (method)">#values_of</a></span>
|
|
1538
|
+
<small>Porolog::Goal</small>
|
|
1539
|
+
</div>
|
|
1540
|
+
</li>
|
|
1541
|
+
|
|
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
|
+
|
|
1551
|
+
<li class="odd ">
|
|
1552
|
+
<div class="item">
|
|
1553
|
+
<span class='object_link'><a href="Porolog/Goal.html#variable-instance_method" title="Porolog::Goal#variable (method)">#variable</a></span>
|
|
1554
|
+
<small>Porolog::Goal</small>
|
|
1555
|
+
</div>
|
|
1556
|
+
</li>
|
|
1557
|
+
|
|
1558
|
+
|
|
1559
|
+
<li class="even ">
|
|
1560
|
+
<div class="item">
|
|
1561
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#variable1-instance_method" title="Porolog::Instantiation#variable1 (method)">#variable1</a></span>
|
|
1562
|
+
<small>Porolog::Instantiation</small>
|
|
1563
|
+
</div>
|
|
1564
|
+
</li>
|
|
1565
|
+
|
|
1566
|
+
|
|
1567
|
+
<li class="odd ">
|
|
1568
|
+
<div class="item">
|
|
1569
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#variable2-instance_method" title="Porolog::Instantiation#variable2 (method)">#variable2</a></span>
|
|
1570
|
+
<small>Porolog::Instantiation</small>
|
|
1571
|
+
</div>
|
|
1572
|
+
</li>
|
|
1573
|
+
|
|
1574
|
+
|
|
1575
|
+
<li class="even ">
|
|
1576
|
+
<div class="item">
|
|
1577
|
+
<span class='object_link'><a href="Symbol.html#variables-instance_method" title="Symbol#variables (method)">#variables</a></span>
|
|
1578
|
+
<small>Symbol</small>
|
|
1579
|
+
</div>
|
|
1580
|
+
</li>
|
|
1581
|
+
|
|
1582
|
+
|
|
1583
|
+
<li class="odd ">
|
|
1584
|
+
<div class="item">
|
|
1585
|
+
<span class='object_link'><a href="Array.html#variables-instance_method" title="Array#variables (method)">#variables</a></span>
|
|
1586
|
+
<small>Array</small>
|
|
1587
|
+
</div>
|
|
1588
|
+
</li>
|
|
1589
|
+
|
|
1590
|
+
|
|
1591
|
+
<li class="even ">
|
|
1592
|
+
<div class="item">
|
|
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>
|
|
1595
|
+
</div>
|
|
1596
|
+
</li>
|
|
1597
|
+
|
|
1598
|
+
|
|
1599
|
+
<li class="odd ">
|
|
1600
|
+
<div class="item">
|
|
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>
|
|
1603
|
+
</div>
|
|
1604
|
+
</li>
|
|
1605
|
+
|
|
1606
|
+
|
|
1607
|
+
<li class="even ">
|
|
1608
|
+
<div class="item">
|
|
1609
|
+
<span class='object_link'><a href="Porolog/Variable.html#variables-instance_method" title="Porolog::Variable#variables (method)">#variables</a></span>
|
|
1610
|
+
<small>Porolog::Variable</small>
|
|
1611
|
+
</div>
|
|
1612
|
+
</li>
|
|
1613
|
+
|
|
1614
|
+
|
|
1615
|
+
<li class="odd ">
|
|
1616
|
+
<div class="item">
|
|
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>
|
|
1619
|
+
</div>
|
|
1620
|
+
</li>
|
|
1621
|
+
|
|
1622
|
+
|
|
1623
|
+
<li class="even ">
|
|
1624
|
+
<div class="item">
|
|
1625
|
+
<span class='object_link'><a href="Object.html#variables-instance_method" title="Object#variables (method)">#variables</a></span>
|
|
1626
|
+
<small>Object</small>
|
|
1627
|
+
</div>
|
|
1628
|
+
</li>
|
|
1629
|
+
|
|
1630
|
+
|
|
1631
|
+
<li class="odd ">
|
|
1632
|
+
<div class="item">
|
|
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>
|
|
387
1635
|
</div>
|
|
388
1636
|
</li>
|
|
389
1637
|
|
|
@@ -396,6 +1644,38 @@
|
|
|
396
1644
|
</li>
|
|
397
1645
|
|
|
398
1646
|
|
|
1647
|
+
<li class="odd ">
|
|
1648
|
+
<div class="item">
|
|
1649
|
+
<span class='object_link'><a href="Porolog/Goal.html#variablise-instance_method" title="Porolog::Goal#variablise (method)">#variablise</a></span>
|
|
1650
|
+
<small>Porolog::Goal</small>
|
|
1651
|
+
</div>
|
|
1652
|
+
</li>
|
|
1653
|
+
|
|
1654
|
+
|
|
1655
|
+
<li class="even ">
|
|
1656
|
+
<div class="item">
|
|
1657
|
+
<span class='object_link'><a href="Porolog/Instantiation.html#without_index_on%3F-instance_method" title="Porolog::Instantiation#without_index_on? (method)">#without_index_on?</a></span>
|
|
1658
|
+
<small>Porolog::Instantiation</small>
|
|
1659
|
+
</div>
|
|
1660
|
+
</li>
|
|
1661
|
+
|
|
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
|
+
|
|
399
1679
|
|
|
400
1680
|
</ul>
|
|
401
1681
|
</div>
|