RubyGems - porolog - Versions diffs - 0.0.8 → 1.0.0 - Mend

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

checksums.yaml +4 -4
data/README.md +11 -1
data/Rakefile +2 -2
data/bin/porolog +34 -13
data/coverage/badge.svg +1 -1
data/coverage/index.html +43822 -25140
data/doc/Array.html +158 -51
data/doc/Object.html +2 -2
data/doc/Porolog.html +1584 -1113
data/doc/Symbol.html +2 -2
data/doc/_index.html +40 -56
data/doc/class_list.html +1 -1
data/doc/file.README.html +8 -4
data/doc/index.html +8 -4
data/doc/method_list.html +424 -248
data/doc/top-level-namespace.html +1 -1
data/lib/porolog.rb +184 -61
data/lib/porolog/arguments.rb +12 -11
data/lib/porolog/core_ext.rb +27 -9
data/lib/porolog/error.rb +3 -0
data/lib/porolog/goal.rb +57 -15
data/lib/porolog/instantiation.rb +55 -9
data/lib/porolog/predicate.rb +52 -26
data/lib/porolog/predicate/builtin.rb +825 -0
data/lib/porolog/rule.rb +8 -24
data/lib/porolog/scope.rb +1 -1
data/lib/porolog/tail.rb +5 -0
data/lib/porolog/value.rb +3 -3
data/lib/porolog/variable.rb +29 -11
data/test/porolog/arguments_test.rb +45 -66
data/test/porolog/core_ext_test.rb +25 -0
data/test/porolog/goal_test.rb +86 -9
data/test/porolog/instantiation_test.rb +36 -0
data/test/porolog/porolog_test.rb +285 -30
data/test/porolog/predicate/builtin_test.rb +1340 -0
data/test/porolog/predicate_test.rb +78 -16
data/test/porolog/rule_test.rb +19 -0
data/test/porolog/variable_test.rb +44 -55
data/test/samples_test.rb +277 -0
data/test/test_helper.rb +9 -0
metadata +9 -5

data/doc/Array.html CHANGED

@@ -146,6 +146,30 @@
 <p>An Array with the Object being the head and the other Object being the tail.</p>
 </div></span>
+</li>
+        <li class="public ">
+  <span class="summary_signature">
+      <a href="#clean-instance_method" title="#clean (instance method)">#<strong>clean</strong>  &#x21d2; Array </a>
+  </span>
+    <span class="summary_desc"><div class='inline'>
+<p>Removes Porolog processing objects.</p>
+</div></span>
 </li>
@@ -272,7 +296,7 @@
         <li class="public ">
   <span class="summary_signature">
-      <a href="#value-instance_method" title="#value (instance method)">#<strong>value</strong>(*args)  &#x21d2; Array </a>
+      <a href="#value-instance_method" title="#value (instance method)">#<strong>value</strong>(visited = [])  &#x21d2; Array </a>
@@ -390,16 +414,16 @@
       <pre class="lines">
-128
-129
-130
-131
-132
-133
-134</pre>
+146
+147
+148
+149
+150
+151
+152</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 128</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 146</span>
 <span class='kw'>def</span> <span class='op'>/</span><span class='lparen'>(</span><span class='id identifier rubyid_other'>other</span><span class='rparen'>)</span>
   <span class='kw'>if</span> <span class='id identifier rubyid_other'>other</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog.html" title="Porolog (module)">Porolog</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_other'>other</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Symbol.html" title="Symbol (class)">Symbol</a></span></span><span class='rparen'>)</span>
@@ -411,6 +435,85 @@
     </td>
   </tr>
 </table>
+</div>
+      <div class="method_details ">
+  <h3 class="signature " id="clean-instance_method">
+    #<strong>clean</strong>  &#x21d2; <tt><span class='object_link'><a href="" title="Array (class)">Array</a></span></tt>
+</h3><div class="docstring">
+  <div class="discussion">
+<p>Removes Porolog processing objects.</p>
+  </div>
+</div>
+<div class="tags">
+<p class="tag_title">Returns:</p>
+<ul class="return">
+    <li>
+        <span class='type'>(<tt><span class='object_link'><a href="" title="Array (class)">Array</a></span></tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>the values of its elements with variables replaced by nil and Tails replaced by UNKNOWN_TAIL.</p>
+</div>
+    </li>
+</ul>
+</div><table class="source_code">
+  <tr>
+    <td>
+      <pre class="lines">
+125
+126
+127
+128
+129
+130
+131
+132
+133
+134
+135
+136
+137</pre>
+    </td>
+    <td>
+      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 125</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_clean'>clean</span>
+  <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span>
+    <span class='kw'>if</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
+      <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_clean'>clean</span>
+    <span class='kw'>elsif</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'>Tail</span><span class='rparen'>)</span>
+      <span class='const'>UNKNOWN_TAIL</span>
+    <span class='kw'>elsif</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'>Variable</span><span class='rparen'>)</span>
+      <span class='kw'>nil</span>
+    <span class='kw'>else</span>
+      <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
+    <span class='kw'>end</span>
+  <span class='rbrace'>}</span>
+<span class='kw'>end</span></pre>
+    </td>
+  </tr>
+</table>
 </div>
       <div class="method_details ">
@@ -457,12 +560,12 @@
       <pre class="lines">
-166
-167
-168</pre>
+184
+185
+186</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 166</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 184</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_goal'>goal</span>
   <span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span> <span class='kw'>if</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_respond_to?'>respond_to?</span><span class='lparen'>(</span><span class='symbol'>:goal</span><span class='rparen'>)</span> <span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_flatten'>flatten</span><span class='period'>.</span><span class='id identifier rubyid_find'>find</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog.html" title="Porolog (module)">Porolog</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Goal</a></span></span><span class='rparen'>)</span> <span class='rbrace'>}</span>
@@ -538,20 +641,20 @@
       <pre class="lines">
-138
-139
-140
-141
-142
-143
-144
-145
-146
-147
-148</pre>
+156
+157
+158
+159
+160
+161
+162
+163
+164
+165
+166</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 138</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 156</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_head'>head</span><span class='lparen'>(</span><span class='id identifier rubyid_head_size'>head_size</span> <span class='op'>=</span> <span class='int'>1</span><span class='rparen'>)</span>
   <span class='kw'>if</span> <span class='id identifier rubyid_head_size'>head_size</span> <span class='op'>==</span> <span class='int'>1</span>
@@ -613,12 +716,12 @@
       <pre class="lines">
-161
-162
-163</pre>
+179
+180
+181</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 161</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 179</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_headtail?'>headtail?</span>
   <span class='id identifier rubyid_length'>length</span> <span class='op'>==</span> <span class='int'>2</span> <span class='op'>&amp;&amp;</span> <span class='lparen'>(</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'>Tail</span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_last'>last</span> <span class='op'>==</span> <span class='const'>UNKNOWN_TAIL</span><span class='rparen'>)</span>
@@ -694,16 +797,16 @@
       <pre class="lines">
-152
-153
-154
-155
-156
-157
-158</pre>
+170
+171
+172
+173
+174
+175
+176</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 152</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 170</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_tail'>tail</span><span class='lparen'>(</span><span class='id identifier rubyid_head_size'>head_size</span> <span class='op'>=</span> <span class='int'>1</span><span class='rparen'>)</span>
   <span class='kw'>if</span> <span class='id identifier rubyid_last'>last</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="Porolog.html" title="Porolog (module)">Porolog</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="Porolog.html#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span>
@@ -761,12 +864,12 @@
       <pre class="lines">
-122
-123
-124</pre>
+140
+141
+142</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 122</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 140</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_type'>type</span>
   <span class='symbol'>:array</span>
@@ -779,7 +882,7 @@
       <div class="method_details ">
   <h3 class="signature " id="value-instance_method">
-    #<strong>value</strong>(*args)  &#x21d2; <tt><span class='object_link'><a href="" title="Array (class)">Array</a></span></tt>
+    #<strong>value</strong>(visited = [])  &#x21d2; <tt><span class='object_link'><a href="" title="Array (class)">Array</a></span></tt>
@@ -847,23 +950,27 @@
 116
 117
 118
-119</pre>
+119
+120
+121</pre>
     </td>
     <td>
       <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 92</span>
-<span class='kw'>def</span> <span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='id identifier rubyid_visited'>visited</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rparen'>)</span>
+  <span class='kw'>return</span> <span class='kw'>self</span> <span class='kw'>if</span> <span class='id identifier rubyid_visited'>visited</span><span class='period'>.</span><span class='id identifier rubyid_include?'>include?</span><span class='lparen'>(</span><span class='kw'>self</span><span class='rparen'>)</span>
+  <span class='id identifier rubyid_visited'>visited</span> <span class='op'>=</span> <span class='id identifier rubyid_visited'>visited</span> <span class='op'>+</span> <span class='lbracket'>[</span><span class='kw'>self</span><span class='rbracket'>]</span>
+  <span class='id identifier rubyid_flat_map'>flat_map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span>
     <span class='kw'>if</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'>Tail</span><span class='rparen'>)</span>
-      <span class='id identifier rubyid_tail'>tail</span> <span class='op'>=</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
+      <span class='id identifier rubyid_tail'>tail</span> <span class='op'>=</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
       <span class='kw'>if</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
         <span class='id identifier rubyid_tail'>tail</span>
       <span class='kw'>elsif</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'>Variable</span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'>Value</span><span class='rparen'>)</span>
-        <span class='id identifier rubyid_tail'>tail</span> <span class='op'>=</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
+        <span class='id identifier rubyid_tail'>tail</span> <span class='op'>=</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
         <span class='kw'>if</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
           <span class='id identifier rubyid_tail'>tail</span>
         <span class='kw'>elsif</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'>Variable</span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'>Value</span><span class='rparen'>)</span>
-          <span class='id identifier rubyid_tail'>tail</span> <span class='op'>=</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span><span class='rparen'>)</span>
+          <span class='id identifier rubyid_tail'>tail</span> <span class='op'>=</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span><span class='rparen'>)</span>
           <span class='kw'>if</span> <span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
             <span class='id identifier rubyid_tail'>tail</span>
           <span class='kw'>else</span>
@@ -876,9 +983,9 @@
         <span class='lbracket'>[</span><span class='id identifier rubyid_element'>element</span><span class='rbracket'>]</span>
       <span class='kw'>end</span>
     <span class='kw'>else</span>
-      <span class='lbracket'>[</span><span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span><span class='rbracket'>]</span>
+      <span class='lbracket'>[</span><span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span><span class='rbracket'>]</span>
     <span class='kw'>end</span>
-  <span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_flatten'>flatten</span><span class='lparen'>(</span><span class='int'>1</span><span class='rparen'>)</span>
+  <span class='rbrace'>}</span>
 <span class='kw'>end</span></pre>
     </td>
   </tr>
@@ -949,7 +1056,7 @@
 </div>
       <div id="footer">
-  Generated on Mon Jul  6 22:54:46 2020 by
+  Generated on Sun Aug  2 19:24:17 2020 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.19 (ruby-2.6.5).
 </div>

data/doc/Object.html CHANGED

@@ -383,7 +383,7 @@
       <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 16</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_myid'>myid</span>
-  <span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span>
+  <span class='id identifier rubyid_inspect'>inspect</span>
 <span class='kw'>end</span></pre>
     </td>
   </tr>
@@ -664,7 +664,7 @@
 </div>
       <div id="footer">
-  Generated on Mon Jul  6 22:54:46 2020 by
+  Generated on Sun Aug  2 19:24:17 2020 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.19 (ruby-2.6.5).
 </div>

data/doc/Porolog.html CHANGED

@@ -79,7 +79,7 @@
   <dl>
     <dt>Defined in:</dt>
     <dd>lib/porolog.rb<span class="defines">,<br />
-  lib/porolog/goal.rb,<br /> lib/porolog/rule.rb,<br /> lib/porolog/tail.rb,<br /> lib/porolog/error.rb,<br /> lib/porolog/scope.rb,<br /> lib/porolog/value.rb,<br /> lib/porolog/variable.rb,<br /> lib/porolog/arguments.rb,<br /> lib/porolog/predicate.rb,<br /> lib/porolog/instantiation.rb</span>
+  lib/porolog/goal.rb,<br /> lib/porolog/rule.rb,<br /> lib/porolog/tail.rb,<br /> lib/porolog/error.rb,<br /> lib/porolog/scope.rb,<br /> lib/porolog/value.rb,<br /> lib/porolog/variable.rb,<br /> lib/porolog/arguments.rb,<br /> lib/porolog/predicate.rb,<br /> lib/porolog/instantiation.rb,<br /> lib/porolog/predicate/builtin.rb</span>
 </dd>
   </dl>
@@ -88,9 +88,9 @@
 <h2>Overview</h2><div class="docstring">
   <div class="discussion">
-<p>lib/porolog/instantiation.rb      - Plain Old Ruby Objects Prolog Engine – Instantiation</p>
+<p>lib/porolog/predicate/builtin.rb      - Plain Old Ruby Objects Prolog Engine – Builtin Predicates</p>
-<pre class="code ruby"><code class="ruby">Luis Esteban   2 May 2018
+<pre class="code ruby"><code class="ruby">Luis Esteban   29 July 2020
   created
 </code></pre>
@@ -106,7 +106,7 @@
-      <strong class="classes">Classes:</strong> <span class='object_link'><a href="Porolog/Arguments.html" title="Porolog::Arguments (class)">Arguments</a></span>, <span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Goal</a></span>, <span class='object_link'><a href="Porolog/Instantiation.html" title="Porolog::Instantiation (class)">Instantiation</a></span>, <span class='object_link'><a href="Porolog/NoGoalError.html" title="Porolog::NoGoalError (class)">NoGoalError</a></span>, <span class='object_link'><a href="Porolog/PorologError.html" title="Porolog::PorologError (class)">PorologError</a></span>, <span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Predicate</a></span>, <span class='object_link'><a href="Porolog/Rule.html" title="Porolog::Rule (class)">Rule</a></span>, <span class='object_link'><a href="Porolog/Scope.html" title="Porolog::Scope (class)">Scope</a></span>, <span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span>, <span class='object_link'><a href="Porolog/Value.html" title="Porolog::Value (class)">Value</a></span>, <span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span>
+      <strong class="classes">Classes:</strong> <span class='object_link'><a href="Porolog/Arguments.html" title="Porolog::Arguments (class)">Arguments</a></span>, <span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Goal</a></span>, <span class='object_link'><a href="Porolog/Instantiation.html" title="Porolog::Instantiation (class)">Instantiation</a></span>, <span class='object_link'><a href="Porolog/NoGoalError.html" title="Porolog::NoGoalError (class)">NoGoalError</a></span>, <span class='object_link'><a href="Porolog/NonVariableError.html" title="Porolog::NonVariableError (class)">NonVariableError</a></span>, <span class='object_link'><a href="Porolog/PorologError.html" title="Porolog::PorologError (class)">PorologError</a></span>, <span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Predicate</a></span>, <span class='object_link'><a href="Porolog/Rule.html" title="Porolog::Rule (class)">Rule</a></span>, <span class='object_link'><a href="Porolog/Scope.html" title="Porolog::Scope (class)">Scope</a></span>, <span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span>, <span class='object_link'><a href="Porolog/Value.html" title="Porolog::Value (class)">Value</a></span>, <span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span>
 </p>
@@ -133,7 +133,7 @@
 </div>
         </dt>
-        <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>0.0.8</span><span class='tstring_end'>&#39;</span></span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
+        <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>1.0.0</span><span class='tstring_end'>&#39;</span></span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
         <dt id="VERSION_DATE-constant" class="">VERSION_DATE =
           <div class="docstring">
@@ -149,7 +149,7 @@
 </div>
         </dt>
-        <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>2020-07-06</span><span class='tstring_end'>&#39;</span></span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
+        <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>2020-08-02</span><span class='tstring_end'>&#39;</span></span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
         <dt id="UNKNOWN_TAIL-constant" class="">UNKNOWN_TAIL =
           <div class="docstring">
@@ -183,6 +183,22 @@
         </dt>
         <dd><pre class="code"><span class='lbracket'>[</span><span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
+        <dt id="ANONYMOUS-constant" class="">ANONYMOUS =
+          <div class="docstring">
+  <div class="discussion">
+<p>Stores the next unique anonymous variable name.</p>
+  </div>
+</div>
+<div class="tags">
+</div>
+        </dt>
+        <dd><pre class="code"><span class='lbracket'>[</span><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>_a</span><span class='tstring_end'>&#39;</span></span><span class='rbracket'>]</span></pre></dd>
     </dl>
@@ -203,6 +219,56 @@
         <li class="public ">
   <span class="summary_signature">
+      <a href="#anonymous-instance_method" title="#anonymous (instance method)">#<strong>anonymous</strong>  &#x21d2; Symbol </a>
+      (also: #_)
+  </span>
+    <span class="summary_desc"><div class='inline'>
+<p>A unique variable name.</p>
+</div></span>
+</li>
+        <li class="public ">
+  <span class="summary_signature">
+      <a href="#builtin-instance_method" title="#builtin (instance method)">#<strong>builtin</strong>(*names, class_base: Object)  &#x21d2; Porolog::Predicate<sup>+</sup> </a>
+  </span>
+    <span class="summary_desc"><div class='inline'>
+<p>A method to declare use of a standard / builtin Predicate, along with a method that returns an Arguments based on the arguments provided to the method.</p>
+</div></span>
+</li>
+        <li class="public ">
+  <span class="summary_signature">
       <a href="#expand_splat-instance_method" title="#expand_splat (instance method)">#<strong>expand_splat</strong>(array)  &#x21d2; Array </a>
@@ -275,7 +341,7 @@
         <li class="public ">
   <span class="summary_signature">
-      <a href="#predicate-instance_method" title="#predicate (instance method)">#<strong>predicate</strong>(*names)  &#x21d2; Porolog::Predicate<sup>+</sup> </a>
+      <a href="#predicate-instance_method" title="#predicate (instance method)">#<strong>predicate</strong>(*names, class_base: Object)  &#x21d2; Porolog::Predicate<sup>+</sup> </a>
@@ -419,7 +485,7 @@
         <li class="public ">
   <span class="summary_signature">
-      <a href="#unify_goals-instance_method" title="#unify_goals (instance method)">#<strong>unify_goals</strong>(goal, subgoal)  &#x21d2; Boolean </a>
+      <a href="#unify_goals-instance_method" title="#unify_goals (instance method)">#<strong>unify_goals</strong>(goal, subgoal)  &#x21d2; Array&lt;Porolog::Instantiation&gt;, ... </a>
@@ -546,57 +612,41 @@
       <div class="method_details first">
-  <h3 class="signature first" id="expand_splat-instance_method">
+  <h3 class="signature first" id="anonymous-instance_method">
-    #<strong>expand_splat</strong>(array)  &#x21d2; <tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>
+    #<strong>anonymous</strong>  &#x21d2; <tt><span class='object_link'><a href="Symbol.html" title="Symbol (class)">Symbol</a></span></tt>
+    <span class="aliases">Also known as:
+    <span class="names"><span id='_-instance_method'>_</span></span>
+    </span>
 </h3><div class="docstring">
   <div class="discussion">
-<p>Expands a superfluous splat.</p>
+<p>Returns a unique variable name.</p>
   </div>
 </div>
 <div class="tags">
-  <p class="tag_title">Parameters:</p>
-<ul class="param">
-    <li>
-        <span class='name'>array</span>
-        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
-        &mdash;
-        <div class='inline'>
-<p>the given Array.</p>
-</div>
-    </li>
-</ul>
 <p class="tag_title">Returns:</p>
 <ul class="return">
     <li>
-        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Symbol.html" title="Symbol (class)">Symbol</a></span></tt>)</span>
         &mdash;
         <div class='inline'>
-<p>the given Array with any superfluous splats expanded.</p>
+<p>a unique variable name.</p>
 </div>
     </li>
@@ -609,39 +659,19 @@
       <pre class="lines">
-339
-340
-341
-342
-343
-344
-345
-346
-347
-348
-349
-350
-351
-352
-353</pre>
+128
+129
+130
+131
+132</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 339</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 128</span>
-<span class='kw'>def</span> <span class='id identifier rubyid_expand_splat'>expand_splat</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_array'>array</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span> <span class='kw'>if</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_length'>length</span> <span class='op'>==</span> <span class='int'>1</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='rparen'>)</span>
-  <span class='kw'>if</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='rparen'>)</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
-    <span class='id identifier rubyid_array'>array</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='op'>*</span><span class='id identifier rubyid_array'>array</span><span class='lbracket'>[</span><span class='int'>0</span><span class='op'>...</span><span class='op'>-</span><span class='int'>1</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='op'>*</span><span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='rbracket'>]</span>
-  <span class='kw'>end</span>
-  <span class='kw'>if</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
-    <span class='id identifier rubyid_array'>array</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span>
-      <span class='id identifier rubyid_expand_splat'>expand_splat</span><span class='lparen'>(</span><span class='id identifier rubyid_element'>element</span><span class='rparen'>)</span>
-    <span class='rbrace'>}</span>
-  <span class='kw'>end</span>
-  <span class='id identifier rubyid_array'>array</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_anonymous'>anonymous</span>
+  <span class='id identifier rubyid_anonymous'>anonymous</span> <span class='op'>=</span> <span class='const'><span class='object_link'><a href="#ANONYMOUS-constant" title="Porolog::ANONYMOUS (constant)">ANONYMOUS</a></span></span><span class='lbracket'>[</span><span class='int'>0</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_to_sym'>to_sym</span>
+  <span class='const'><span class='object_link'><a href="#ANONYMOUS-constant" title="Porolog::ANONYMOUS (constant)">ANONYMOUS</a></span></span><span class='lbracket'>[</span><span class='int'>0</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_succ!'>succ!</span>
+  <span class='id identifier rubyid_anonymous'>anonymous</span>
 <span class='kw'>end</span></pre>
     </td>
   </tr>
@@ -649,9 +679,9 @@
 </div>
       <div class="method_details ">
-  <h3 class="signature " id="has_tail?-instance_method">
+  <h3 class="signature " id="builtin-instance_method">
-    #<strong>has_tail?</strong>(value, apply_value = true)  &#x21d2; <tt>Boolean</tt>
+    #<strong>builtin</strong>(*names, class_base: Object)  &#x21d2; <tt><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span></tt><sup>+</sup>
@@ -660,137 +690,85 @@
 </h3><div class="docstring">
   <div class="discussion">
-<p>Returns whether the provided value has a Tail.</p>
+<p>A method to declare use of a standard / builtin Predicate, along with a method that returns an Arguments based on the arguments provided to the method.</p>
   </div>
 </div>
 <div class="tags">
-  <p class="tag_title">Parameters:</p>
+  <div class="examples">
+    <p class="tag_title">Examples:</p>
+      <pre class="example code"><code><span class='id identifier rubyid_builtin'>builtin</span> <span class='symbol'>:is</span><span class='comma'>,</span> <span class='symbol'>:member</span><span class='comma'>,</span> <span class='symbol'>:append</span>
+<span class='id identifier rubyid_member'>member</span><span class='lparen'>(</span><span class='symbol'>:e</span><span class='comma'>,</span><span class='symbol'>:l</span><span class='rparen'>)</span>       <span class='comment'># --&gt; Porolog::Arguments</span></code></pre>
+  </div>
+<p class="tag_title">Parameters:</p>
 <ul class="param">
     <li>
-        <span class='name'>value</span>
+        <span class='name'>names</span>
-        <span class='type'>(<tt><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></tt>)</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;#to_sym&gt;</tt>)</span>
         &mdash;
         <div class='inline'>
-<p>the provided value.</p>
+<p>names of the Predicates to declare.</p>
 </div>
     </li>
-</ul>
-<p class="tag_title">Returns:</p>
-<ul class="return">
     <li>
+        <span class='name'>class_base</span>
-        <span class='type'>(<tt>Boolean</tt>)</span>
+        <span class='type'>(<tt>Class</tt>)</span>
         &mdash;
         <div class='inline'>
-<p>whether the provided value has a Tail.</p>
+<p>class to define the method in.</p>
 </div>
     </li>
 </ul>
-</div><table class="source_code">
-  <tr>
-    <td>
-      <pre class="lines">
-326
-327
-328
-329
-330
-331
-332
-333
-334</pre>
-    </td>
-    <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 326</span>
-<span class='kw'>def</span> <span class='id identifier rubyid_has_tail?'>has_tail?</span><span class='lparen'>(</span><span class='id identifier rubyid_value'>value</span><span class='comma'>,</span> <span class='id identifier rubyid_apply_value'>apply_value</span> <span class='op'>=</span> <span class='kw'>true</span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_value'>value</span> <span class='op'>=</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span> <span class='kw'>if</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_respond_to?'>respond_to?</span><span class='lparen'>(</span><span class='symbol'>:value</span><span class='rparen'>)</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_apply_value'>apply_value</span>
-  <span class='kw'>if</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
-    <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span> <span class='op'>||</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='rparen'>)</span>
-  <span class='kw'>else</span>
-    <span class='kw'>false</span>
-  <span class='kw'>end</span>
-<span class='kw'>end</span></pre>
-    </td>
-  </tr>
-</table>
-</div>
-      <div class="method_details ">
-  <h3 class="signature " id="instantiate_unifications-instance_method">
-    #<strong>instantiate_unifications</strong>(unifications)  &#x21d2; <tt>Boolean</tt>
-</h3><div class="docstring">
-  <div class="discussion">
-<p>Instantiates the unifications from an attempt to unify.</p>
-  </div>
-</div>
-<div class="tags">
-  <p class="tag_title">Parameters:</p>
-<ul class="param">
+<p class="tag_title">Returns:</p>
+<ul class="return">
     <li>
-        <span class='name'>unifications</span>
-        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span></tt>)</span>
         &mdash;
         <div class='inline'>
-<p>unifications to instantiate.</p>
+<p>Predicate created if only one name is provided</p>
 </div>
     </li>
-</ul>
-<p class="tag_title">Returns:</p>
-<ul class="return">
     <li>
-        <span class='type'>(<tt>Boolean</tt>)</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;<span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span>&gt;</tt>)</span>
         &mdash;
         <div class='inline'>
-<p>whether the instantiations could be made.</p>
+<p>Predicates created if multiple names are provided</p>
 </div>
     </li>
@@ -839,55 +817,47 @@
 122
 123
 124
-125
-126
-127
-128
-129</pre>
+125</pre>
     </td>
     <td>
       <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 89</span>
-<span class='kw'>def</span> <span class='id identifier rubyid_instantiate_unifications'>instantiate_unifications</span><span class='lparen'>(</span><span class='id identifier rubyid_unifications'>unifications</span><span class='rparen'>)</span>
-  <span class='comment'># -- Gather Unifications --
-</span>  <span class='id identifier rubyid_goals_variables'>goals_variables</span> <span class='op'>=</span> <span class='lbrace'>{</span><span class='rbrace'>}</span>
-  <span class='id identifier rubyid_return_false'>return_false</span> <span class='op'>=</span> <span class='kw'>false</span>
-  <span class='id identifier rubyid_unifications'>unifications</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_unification'>unification</span><span class='op'>|</span>
-    <span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span> <span class='op'>=</span> <span class='id identifier rubyid_unification'>unification</span>
-    <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span>       <span class='op'>||=</span> <span class='lbrace'>{</span><span class='rbrace'>}</span>
-    <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='rbracket'>]</span> <span class='op'>||=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
-    <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='rbracket'>]</span> <span class='op'>&lt;&lt;</span> <span class='lbracket'>[</span><span class='id identifier rubyid_right_goal'>right_goal</span><span class='comma'>,</span><span class='id identifier rubyid_right'>right</span><span class='rbracket'>]</span>
-    <span class='id identifier rubyid_return_false'>return_false</span> <span class='op'>=</span> <span class='kw'>true</span> <span class='kw'>if</span> <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:last</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_reject'>reject</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_value'>value</span><span class='op'>|</span>
-      <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Symbol.html" title="Symbol (class)">Symbol</a></span></span><span class='rparen'>)</span>
-    <span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_uniq'>uniq</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&gt;</span> <span class='int'>1</span>
-    <span class='kw'>return</span> <span class='kw'>false</span> <span class='kw'>if</span> <span class='id identifier rubyid_return_false'>return_false</span>
-  <span class='kw'>end</span>
-  <span class='comment'># -- Make Instantiations --
-</span>  <span class='id identifier rubyid_instantiations'>instantiations</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
-  <span class='id identifier rubyid_consistent'>consistent</span>     <span class='op'>=</span> <span class='kw'>true</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_builtin'>builtin</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_names'>names</span><span class='comma'>,</span> <span class='label'>class_base:</span> <span class='const'><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></span><span class='rparen'>)</span>
+  <span class='id identifier rubyid_names'>names</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_names'>names</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_flatten'>flatten</span>
-  <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='comma'>,</span><span class='id identifier rubyid_variables'>variables</span><span class='op'>|</span>
-    <span class='id identifier rubyid_variables'>variables</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span><span class='id identifier rubyid_others'>others</span><span class='op'>|</span>
-      <span class='id identifier rubyid_others'>others</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_other_goal'>other_goal</span><span class='comma'>,</span><span class='id identifier rubyid_other'>other</span><span class='op'>|</span>
-        <span class='id identifier rubyid_instantiation'>instantiation</span> <span class='op'>=</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_instantiate'>instantiate</span><span class='lparen'>(</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span> <span class='id identifier rubyid_other'>other</span><span class='comma'>,</span> <span class='id identifier rubyid_other_goal'>other_goal</span><span class='rparen'>)</span>
-        <span class='kw'>if</span> <span class='id identifier rubyid_instantiation'>instantiation</span>
-          <span class='id identifier rubyid_instantiations'>instantiations</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_instantiation'>instantiation</span>
-        <span class='kw'>else</span>
-          <span class='id identifier rubyid_consistent'>consistent</span> <span class='op'>=</span> <span class='kw'>false</span>
-        <span class='kw'>end</span>
-      <span class='kw'>end</span>
+  <span class='id identifier rubyid_predicates'>predicates</span> <span class='op'>=</span> <span class='id identifier rubyid_names'>names</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_name'>name</span><span class='op'>|</span>
+    <span class='id identifier rubyid_method'>method</span>     <span class='op'>=</span> <span class='id identifier rubyid_name'>name</span><span class='period'>.</span><span class='id identifier rubyid_to_sym'>to_sym</span>
+    <span class='id identifier rubyid_raise'>raise</span> <span class='const'>NameError</span><span class='comma'>,</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Undefined builtin predicate </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_name'>name</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_end'>&quot;</span></span> <span class='kw'>unless</span> <span class='const'><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Predicate</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="Porolog/Predicate/Builtin.html" title="Porolog::Predicate::Builtin (module)">Builtin</a></span></span><span class='period'>.</span><span class='id identifier rubyid_instance_methods'>instance_methods</span><span class='period'>.</span><span class='id identifier rubyid_include?'>include?</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span>
+    <span class='id identifier rubyid_predicate'>predicate</span>  <span class='op'>=</span> <span class='const'><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Predicate</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="Porolog/Predicate.html#new-class_method" title="Porolog::Predicate.new (method)">new</a></span></span><span class='lparen'>(</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span> <span class='label'>builtin:</span> <span class='kw'>true</span><span class='rparen'>)</span>
+    <span class='kw'>if</span> <span class='id identifier rubyid_class_base'>class_base</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></span>
+      <span class='comment'># -- Add Global Method --
+</span>      <span class='id identifier rubyid_class_base'>class_base</span><span class='period'>.</span><span class='id identifier rubyid_class_eval'>class_eval</span><span class='lbrace'>{</span>
+        <span class='id identifier rubyid_remove_method'>remove_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span> <span class='kw'>if</span> <span class='id identifier rubyid_method_defined?'>method_defined?</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span>
+        <span class='id identifier rubyid_define_method'>define_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span><span class='lbrace'>{</span><span class='op'>|</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_block'>block</span><span class='op'>|</span>
+          <span class='id identifier rubyid_predicate'>predicate</span><span class='period'>.</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_block'>block</span><span class='rparen'>)</span>
+        <span class='rbrace'>}</span>
+      <span class='rbrace'>}</span>
+    <span class='kw'>else</span>
+      <span class='comment'># -- Add Instance Method --
+</span>      <span class='id identifier rubyid_class_base'>class_base</span><span class='period'>.</span><span class='id identifier rubyid_class_eval'>class_eval</span><span class='lbrace'>{</span>
+        <span class='id identifier rubyid_remove_method'>remove_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span> <span class='kw'>if</span> <span class='id identifier rubyid_methods'>methods</span><span class='lparen'>(</span><span class='kw'>false</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_include?'>include?</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span>
+        <span class='id identifier rubyid_define_method'>define_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span><span class='lbrace'>{</span><span class='op'>|</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_block'>block</span><span class='op'>|</span>
+          <span class='id identifier rubyid_predicate'>predicate</span><span class='period'>.</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_block'>block</span><span class='rparen'>)</span>
+        <span class='rbrace'>}</span>
+      <span class='rbrace'>}</span>
+      <span class='comment'># -- Add Class Method --
+</span>      <span class='lparen'>(</span><span class='kw'>class</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_class_base'>class_base</span><span class='semicolon'>;</span> <span class='kw'>self</span><span class='semicolon'>;</span> <span class='kw'>end</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_instance_eval'>instance_eval</span> <span class='lbrace'>{</span>
+        <span class='id identifier rubyid_remove_method'>remove_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span> <span class='kw'>if</span> <span class='id identifier rubyid_methods'>methods</span><span class='lparen'>(</span><span class='kw'>false</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_include?'>include?</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span>
+        <span class='id identifier rubyid_define_method'>define_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span><span class='lbrace'>{</span><span class='op'>|</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_block'>block</span><span class='op'>|</span>
+          <span class='id identifier rubyid_predicate'>predicate</span><span class='period'>.</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_block'>block</span><span class='rparen'>)</span>
+        <span class='rbrace'>}</span>
+      <span class='rbrace'>}</span>
     <span class='kw'>end</span>
-  <span class='kw'>end</span>
-  <span class='comment'># -- Revert if inconsistent --
-</span>  <span class='id identifier rubyid_instantiations'>instantiations</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:remove</span><span class='rparen'>)</span> <span class='kw'>unless</span> <span class='id identifier rubyid_consistent'>consistent</span>
+    <span class='id identifier rubyid_predicate'>predicate</span>
+  <span class='rbrace'>}</span>
-  <span class='id identifier rubyid_consistent'>consistent</span>
+  <span class='id identifier rubyid_predicates'>predicates</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&gt;</span> <span class='int'>1</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_predicates'>predicates</span> <span class='op'>||</span> <span class='id identifier rubyid_predicates'>predicates</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span>
 <span class='kw'>end</span></pre>
     </td>
   </tr>
@@ -895,9 +865,9 @@
 </div>
       <div class="method_details ">
-  <h3 class="signature " id="predicate-instance_method">
+  <h3 class="signature " id="expand_splat-instance_method">
-    #<strong>predicate</strong>(*names)  &#x21d2; <tt><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span></tt><sup>+</sup>
+    #<strong>expand_splat</strong>(array)  &#x21d2; <tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>
@@ -906,36 +876,27 @@
 </h3><div class="docstring">
   <div class="discussion">
-<p>A convenience method to create a Predicate, along with a method that returns an Arguments based on the arguments provided to the method.</p>
+<p>Expands a superfluous splat.</p>
   </div>
 </div>
 <div class="tags">
-  <div class="examples">
-    <p class="tag_title">Examples:</p>
-      <pre class="example code"><code><span class='id identifier rubyid_predicate'>predicate</span> <span class='symbol'>:combobulator</span>
-<span class='id identifier rubyid_combobulator'>combobulator</span><span class='lparen'>(</span><span class='symbol'>:x</span><span class='comma'>,</span><span class='symbol'>:y</span><span class='rparen'>)</span>       <span class='comment'># --&gt; Porolog::Arguments</span></code></pre>
-  </div>
-<p class="tag_title">Parameters:</p>
-<ul class="param">
+  <p class="tag_title">Parameters:</p>
+<ul class="param">
     <li>
-        <span class='name'>names</span>
+        <span class='name'>array</span>
-        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;#to_sym&gt;</tt>)</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
         &mdash;
         <div class='inline'>
-<p>names of the Predicates to create.</p>
+<p>the given Array.</p>
 </div>
     </li>
@@ -948,27 +909,13 @@
     <li>
-        <span class='type'>(<tt><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span></tt>)</span>
-        &mdash;
-        <div class='inline'>
-<p>Predicate created if only one name is provided</p>
-</div>
-    </li>
-    <li>
-        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;<span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span>&gt;</tt>)</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
         &mdash;
         <div class='inline'>
-<p>Predicates created if multiple names are provided</p>
+<p>the given Array with any superfluous splats expanded.</p>
 </div>
     </li>
@@ -981,43 +928,39 @@
       <pre class="lines">
-45
-46
-47
-48
-49
-50
-51
-52
-53
-54
-55
-56
-57
-58
-59
-60
-61</pre>
+464
+465
+466
+467
+468
+469
+470
+471
+472
+473
+474
+475
+476
+477
+478</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 45</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 464</span>
-<span class='kw'>def</span> <span class='id identifier rubyid_predicate'>predicate</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_names'>names</span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_names'>names</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_names'>names</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_flatten'>flatten</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_expand_splat'>expand_splat</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span>
+  <span class='id identifier rubyid_array'>array</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span> <span class='kw'>if</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_length'>length</span> <span class='op'>==</span> <span class='int'>1</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_predicates'>predicates</span> <span class='op'>=</span> <span class='id identifier rubyid_names'>names</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_name'>name</span><span class='op'>|</span>
-    <span class='id identifier rubyid_method'>method</span>     <span class='op'>=</span> <span class='id identifier rubyid_name'>name</span><span class='period'>.</span><span class='id identifier rubyid_to_sym'>to_sym</span>
-    <span class='id identifier rubyid_predicate'>predicate</span>  <span class='op'>=</span> <span class='const'><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Predicate</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="Porolog/Predicate.html#new-class_method" title="Porolog::Predicate.new (method)">new</a></span></span><span class='lparen'>(</span><span class='id identifier rubyid_name'>name</span><span class='rparen'>)</span>
-    <span class='const'><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></span><span class='period'>.</span><span class='id identifier rubyid_class_eval'>class_eval</span><span class='lbrace'>{</span>
-      <span class='id identifier rubyid_remove_method'>remove_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span> <span class='kw'>if</span> <span class='id identifier rubyid_public_method_defined?'>public_method_defined?</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span>
-      <span class='id identifier rubyid_define_method'>define_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span><span class='lbrace'>{</span><span class='op'>|</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='op'>|</span>
-        <span class='id identifier rubyid_predicate'>predicate</span><span class='period'>.</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
-      <span class='rbrace'>}</span>
+  <span class='kw'>if</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='rparen'>)</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
+    <span class='id identifier rubyid_array'>array</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='op'>*</span><span class='id identifier rubyid_array'>array</span><span class='lbracket'>[</span><span class='int'>0</span><span class='op'>...</span><span class='op'>-</span><span class='int'>1</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='op'>*</span><span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='rbracket'>]</span>
+  <span class='kw'>end</span>
+  <span class='kw'>if</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
+    <span class='id identifier rubyid_array'>array</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span>
+      <span class='id identifier rubyid_expand_splat'>expand_splat</span><span class='lparen'>(</span><span class='id identifier rubyid_element'>element</span><span class='rparen'>)</span>
     <span class='rbrace'>}</span>
-    <span class='id identifier rubyid_predicate'>predicate</span>
-  <span class='rbrace'>}</span>
+  <span class='kw'>end</span>
-  <span class='id identifier rubyid_predicates'>predicates</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&gt;</span> <span class='int'>1</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_predicates'>predicates</span> <span class='op'>||</span> <span class='id identifier rubyid_predicates'>predicates</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span>
+  <span class='id identifier rubyid_array'>array</span>
 <span class='kw'>end</span></pre>
     </td>
   </tr>
@@ -1025,9 +968,9 @@
 </div>
       <div class="method_details ">
-  <h3 class="signature " id="unify-instance_method">
+  <h3 class="signature " id="has_tail?-instance_method">
-    #<strong>unify</strong>(left, right, left_goal, right_goal = left_goal, visited = [])  &#x21d2; <tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt><sup>?</sup>
+    #<strong>has_tail?</strong>(value, apply_value = true)  &#x21d2; <tt>Boolean</tt>
@@ -1036,7 +979,7 @@
 </h3><div class="docstring">
   <div class="discussion">
-<p>Attempt to unify two entities of two goals.</p>
+<p>Returns whether the provided value has a Tail.</p>
   </div>
@@ -1047,7 +990,7 @@
     <li>
-        <span class='name'>left</span>
+        <span class='name'>value</span>
         <span class='type'>(<tt><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></tt>)</span>
@@ -1056,75 +999,98 @@
         &mdash;
         <div class='inline'>
-<p>left hand side entity.</p>
+<p>the provided value.</p>
 </div>
     </li>
+</ul>
+<p class="tag_title">Returns:</p>
+<ul class="return">
     <li>
-        <span class='name'>right</span>
-        <span class='type'>(<tt><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></tt>)</span>
+        <span class='type'>(<tt>Boolean</tt>)</span>
         &mdash;
         <div class='inline'>
-<p>right hand side entity.</p>
+<p>whether the provided value has a Tail.</p>
 </div>
     </li>
-    <li>
-        <span class='name'>left_goal</span>
-        <span class='type'>(<tt><span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Porolog::Goal</a></span></tt>)</span>
-        &mdash;
-        <div class='inline'>
-<p>goal of left hand side entity.</p>
+</ul>
+</div><table class="source_code">
+  <tr>
+    <td>
+      <pre class="lines">
+451
+452
+453
+454
+455
+456
+457
+458
+459</pre>
+    </td>
+    <td>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 451</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_has_tail?'>has_tail?</span><span class='lparen'>(</span><span class='id identifier rubyid_value'>value</span><span class='comma'>,</span> <span class='id identifier rubyid_apply_value'>apply_value</span> <span class='op'>=</span> <span class='kw'>true</span><span class='rparen'>)</span>
+  <span class='id identifier rubyid_value'>value</span> <span class='op'>=</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span> <span class='kw'>if</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_respond_to?'>respond_to?</span><span class='lparen'>(</span><span class='symbol'>:value</span><span class='rparen'>)</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_apply_value'>apply_value</span>
+  <span class='kw'>if</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
+    <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span> <span class='op'>||</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='rparen'>)</span>
+  <span class='kw'>else</span>
+    <span class='kw'>false</span>
+  <span class='kw'>end</span>
+<span class='kw'>end</span></pre>
+    </td>
+  </tr>
+</table>
 </div>
-    </li>
+      <div class="method_details ">
+  <h3 class="signature " id="instantiate_unifications-instance_method">
-    <li>
-        <span class='name'>right_goal</span>
-        <span class='type'>(<tt><span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Porolog::Goal</a></span></tt>)</span>
-        <em class="default">(defaults to: <tt>left_goal</tt>)</em>
-        &mdash;
-        <div class='inline'>
-<p>goal of right hand side entity.</p>
+    #<strong>instantiate_unifications</strong>(unifications)  &#x21d2; <tt>Boolean</tt>
+</h3><div class="docstring">
+  <div class="discussion">
+<p>Instantiates the unifications from an attempt to unify.</p>
+  </div>
 </div>
-    </li>
+<div class="tags">
+  <p class="tag_title">Parameters:</p>
+<ul class="param">
     <li>
-        <span class='name'>visited</span>
+        <span class='name'>unifications</span>
         <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
-        <em class="default">(defaults to: <tt>[]</tt>)</em>
         &mdash;
         <div class='inline'>
-<p>prevents infinite recursion.</p>
+<p>unifications to instantiate.</p>
 </div>
     </li>
@@ -1137,27 +1103,13 @@
     <li>
-        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
-        &mdash;
-        <div class='inline'>
-<p>an Array of unifications when the left hand side can be unified with the right hand.</p>
-</div>
-    </li>
-    <li>
-        <span class='type'>(<tt>nil</tt>)</span>
+        <span class='type'>(<tt>Boolean</tt>)</span>
         &mdash;
         <div class='inline'>
-<p>nil if they cannot be unified.</p>
+<p>whether the instantiations could be made.</p>
 </div>
     </li>
@@ -1170,31 +1122,6 @@
       <pre class="lines">
-139
-140
-141
-142
-143
-144
-145
-146
-147
-148
-149
-150
-151
-152
-153
-154
-155
-156
-157
-158
-159
-160
-161
-162
-163
 164
 165
 166
@@ -1259,56 +1186,548 @@
 225
 226
 227
-228
-229
-230
-231
-232
-233
-234
-235
-236
-237
-238
-239
-240
-241
-242
-243
-244
-245
-246
-247
-248
-249
-250
-251</pre>
+228</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 139</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 164</span>
-<span class='kw'>def</span> <span class='id identifier rubyid_unify'>unify</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span> <span class='op'>=</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_right_goal'>right_goal</span> <span class='op'>||=</span> <span class='id identifier rubyid_left_goal'>left_goal</span>
-  <span class='id identifier rubyid_goals'>goals</span>     <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_uniq'>uniq</span>
-  <span class='id identifier rubyid_signature'>signature</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span><span class='rbracket'>]</span>
-  <span class='comment'># -- Nil is Uninstantiated (can always unify) --
-</span>  <span class='kw'>return</span> <span class='lbracket'>[</span><span class='rbracket'>]</span> <span class='kw'>unless</span> <span class='id identifier rubyid_left'>left</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_right'>right</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_instantiate_unifications'>instantiate_unifications</span><span class='lparen'>(</span><span class='id identifier rubyid_unifications'>unifications</span><span class='rparen'>)</span>
+  <span class='comment'># -- Gather Unifications --
+</span>  <span class='id identifier rubyid_goals_variables'>goals_variables</span> <span class='op'>=</span> <span class='lbrace'>{</span><span class='rbrace'>}</span>
-  <span class='comment'># -- Set HeadTail Goals --
-</span>  <span class='kw'>case</span> <span class='id identifier rubyid_signature'>signature</span>
-    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:atomic</span><span class='comma'>,</span> <span class='symbol'>:atomic</span><span class='rbracket'>]</span>
-      <span class='kw'>if</span> <span class='id identifier rubyid_left'>left</span> <span class='op'>==</span> <span class='id identifier rubyid_right'>right</span>
-        <span class='lbracket'>[</span><span class='rbracket'>]</span>
-      <span class='kw'>else</span>
-        <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify because </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> != </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> (atomic != atomic)</span><span class='tstring_end'>&quot;</span></span>
-        <span class='id identifier rubyid_goals'>goals</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_log'>log</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_msg'>msg</span> <span class='rbrace'>}</span>
-        <span class='kw'>nil</span>
-      <span class='kw'>end</span>
+  <span class='id identifier rubyid_return_false'>return_false</span> <span class='op'>=</span> <span class='kw'>false</span>
+  <span class='id identifier rubyid_unifications'>unifications</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_unification'>unification</span><span class='op'>|</span>
+    <span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span> <span class='op'>=</span> <span class='id identifier rubyid_unification'>unification</span>
-    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:array</span><span class='comma'>,</span> <span class='symbol'>:array</span><span class='rbracket'>]</span>
-      <span class='id identifier rubyid__merged'>_merged</span><span class='comma'>,</span> <span class='id identifier rubyid_unifications'>unifications</span> <span class='op'>=</span> <span class='id identifier rubyid_unify_arrays'>unify_arrays</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
-      <span class='kw'>if</span> <span class='id identifier rubyid_unifications'>unifications</span>
+    <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span>       <span class='op'>||=</span> <span class='lbrace'>{</span><span class='rbrace'>}</span>
+    <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='rbracket'>]</span> <span class='op'>||=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
+    <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='rbracket'>]</span> <span class='op'>&lt;&lt;</span> <span class='lbracket'>[</span><span class='id identifier rubyid_right_goal'>right_goal</span><span class='comma'>,</span><span class='id identifier rubyid_right'>right</span><span class='rbracket'>]</span>
+    <span class='comment'># -- Check Consistency --
+</span>    <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:last</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:value</span><span class='rparen'>)</span>
+    <span class='id identifier rubyid_values'>values</span> <span class='op'>=</span> <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_value'>value</span><span class='op'>|</span>
+      <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
+    <span class='rbrace'>}</span>
+    <span class='kw'>next</span> <span class='kw'>if</span> <span class='id identifier rubyid_values'>values</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&lt;</span> <span class='int'>2</span>
+    <span class='id identifier rubyid_arrays'>arrays</span> <span class='op'>=</span> <span class='id identifier rubyid_values'>values</span><span class='period'>.</span><span class='id identifier rubyid_any?'>any?</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_value'>value</span><span class='op'>|</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span> <span class='rbrace'>}</span>
+    <span class='kw'>if</span> <span class='id identifier rubyid_arrays'>arrays</span> <span class='op'>&amp;&amp;</span> <span class='op'>!</span><span class='id identifier rubyid_values'>values</span><span class='period'>.</span><span class='id identifier rubyid_variables'>variables</span><span class='period'>.</span><span class='id identifier rubyid_empty?'>empty?</span>
+      <span class='id identifier rubyid_zipped_values'>zipped_values</span> <span class='op'>=</span> <span class='id identifier rubyid_values'>values</span><span class='lbracket'>[</span><span class='int'>0</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_zip'>zip</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_values'>values</span><span class='lbracket'>[</span><span class='int'>1</span><span class='op'>..</span><span class='op'>-</span><span class='int'>1</span><span class='rbracket'>]</span><span class='rparen'>)</span>
+      <span class='id identifier rubyid_zipped_values'>zipped_values</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_zipped_value'>zipped_value</span><span class='op'>|</span>
+        <span class='id identifier rubyid_vars'>vars</span><span class='comma'>,</span> <span class='id identifier rubyid_atomics'>atomics</span> <span class='op'>=</span> <span class='id identifier rubyid_zipped_value'>zipped_value</span><span class='period'>.</span><span class='id identifier rubyid_partition'>partition</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_v'>v</span><span class='op'>|</span> <span class='id identifier rubyid_v'>v</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span> <span class='op'>==</span> <span class='symbol'>:variable</span> <span class='rbrace'>}</span>
+        <span class='id identifier rubyid_return_false'>return_false</span> <span class='op'>=</span> <span class='kw'>true</span> <span class='kw'>if</span> <span class='id identifier rubyid_atomics'>atomics</span><span class='period'>.</span><span class='id identifier rubyid_uniq'>uniq</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&gt;</span> <span class='int'>1</span>
+        <span class='id identifier rubyid_vars'>vars</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_var'>var</span><span class='op'>|</span>
+          <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span><span class='rbracket'>]</span>      <span class='op'>||=</span> <span class='lbrace'>{</span><span class='rbrace'>}</span>
+          <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_var'>var</span><span class='rbracket'>]</span> <span class='op'>||=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
+          <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='lbracket'>[</span><span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span><span class='rbracket'>]</span><span class='lbracket'>[</span><span class='id identifier rubyid_var'>var</span><span class='rbracket'>]</span> <span class='op'>&lt;&lt;</span> <span class='lbracket'>[</span><span class='lparen'>(</span><span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span><span class='id identifier rubyid_right_goal'>right_goal</span><span class='rbracket'>]</span><span class='op'>-</span><span class='lbracket'>[</span><span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span><span class='rbracket'>]</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='comma'>,</span><span class='id identifier rubyid_atomics'>atomics</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='rbracket'>]</span>
+        <span class='kw'>end</span>
+      <span class='kw'>end</span>
+    <span class='kw'>else</span>
+      <span class='id identifier rubyid_return_false'>return_false</span> <span class='op'>=</span> <span class='id identifier rubyid_values'>values</span><span class='period'>.</span><span class='id identifier rubyid_reject'>reject</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_value'>value</span><span class='op'>|</span>
+        <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Symbol.html" title="Symbol (class)">Symbol</a></span></span><span class='rparen'>)</span>
+      <span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_uniq'>uniq</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&gt;</span> <span class='int'>1</span>
+    <span class='kw'>end</span>
+    <span class='kw'>return</span> <span class='kw'>false</span> <span class='kw'>if</span> <span class='id identifier rubyid_return_false'>return_false</span>
+  <span class='kw'>end</span>
+  <span class='comment'># -- Make Instantiations --
+</span>  <span class='id identifier rubyid_instantiations'>instantiations</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
+  <span class='id identifier rubyid_consistent'>consistent</span>     <span class='op'>=</span> <span class='kw'>true</span>
+  <span class='id identifier rubyid_goals_variables'>goals_variables</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='comma'>,</span> <span class='id identifier rubyid_variables'>variables</span><span class='op'>|</span>
+    <span class='id identifier rubyid_variables'>variables</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span> <span class='id identifier rubyid_others'>others</span><span class='op'>|</span>
+      <span class='id identifier rubyid_others'>others</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_other_goal'>other_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_other'>other</span><span class='op'>|</span>
+        <span class='id identifier rubyid_instantiation'>instantiation</span> <span class='op'>=</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_instantiate'>instantiate</span><span class='lparen'>(</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span> <span class='id identifier rubyid_other'>other</span><span class='comma'>,</span> <span class='id identifier rubyid_other_goal'>other_goal</span><span class='rparen'>)</span>
+        <span class='kw'>if</span> <span class='id identifier rubyid_instantiation'>instantiation</span>
+          <span class='id identifier rubyid_instantiations'>instantiations</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_instantiation'>instantiation</span>
+        <span class='kw'>else</span>
+          <span class='id identifier rubyid_consistent'>consistent</span> <span class='op'>=</span> <span class='kw'>false</span>
+        <span class='kw'>end</span>
+      <span class='kw'>end</span>
+    <span class='kw'>end</span>
+  <span class='kw'>end</span>
+  <span class='comment'># -- Revert if inconsistent --
+</span>  <span class='kw'>if</span> <span class='id identifier rubyid_consistent'>consistent</span>
+    <span class='id identifier rubyid_instantiations'>instantiations</span>
+  <span class='kw'>else</span>
+    <span class='id identifier rubyid_instantiations'>instantiations</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:remove</span><span class='rparen'>)</span>
+    <span class='kw'>nil</span>
+  <span class='kw'>end</span>
+<span class='kw'>end</span></pre>
+    </td>
+  </tr>
+</table>
+</div>
+      <div class="method_details ">
+  <h3 class="signature " id="predicate-instance_method">
+    #<strong>predicate</strong>(*names, class_base: Object)  &#x21d2; <tt><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span></tt><sup>+</sup>
+</h3><div class="docstring">
+  <div class="discussion">
+<p>A convenience method to create a Predicate, along with a method that returns an Arguments based on the arguments provided to the method.</p>
+  </div>
+</div>
+<div class="tags">
+  <div class="examples">
+    <p class="tag_title">Examples:</p>
+      <pre class="example code"><code><span class='id identifier rubyid_predicate'>predicate</span> <span class='symbol'>:combobulator</span>
+<span class='id identifier rubyid_combobulator'>combobulator</span><span class='lparen'>(</span><span class='symbol'>:x</span><span class='comma'>,</span><span class='symbol'>:y</span><span class='rparen'>)</span>       <span class='comment'># --&gt; Porolog::Arguments</span></code></pre>
+  </div>
+<p class="tag_title">Parameters:</p>
+<ul class="param">
+    <li>
+        <span class='name'>names</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;#to_sym&gt;</tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>names of the Predicates to create.</p>
+</div>
+    </li>
+    <li>
+        <span class='name'>class_base</span>
+        <span class='type'>(<tt>Class</tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>class to define the method in.</p>
+</div>
+    </li>
+</ul>
+<p class="tag_title">Returns:</p>
+<ul class="return">
+    <li>
+        <span class='type'>(<tt><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span></tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>Predicate created if only one name is provided</p>
+</div>
+    </li>
+    <li>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;<span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Porolog::Predicate</a></span>&gt;</tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>Predicates created if multiple names are provided</p>
+</div>
+    </li>
+</ul>
+</div><table class="source_code">
+  <tr>
+    <td>
+      <pre class="lines">
+55
+56
+57
+58
+59
+60
+61
+62
+63
+64
+65
+66
+67
+68
+69
+70
+71
+72
+73
+74
+75
+76
+77</pre>
+    </td>
+    <td>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 55</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_predicate'>predicate</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_names'>names</span><span class='comma'>,</span> <span class='label'>class_base:</span> <span class='const'><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></span><span class='rparen'>)</span>
+  <span class='id identifier rubyid_names'>names</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_names'>names</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_flatten'>flatten</span>
+  <span class='id identifier rubyid_predicates'>predicates</span> <span class='op'>=</span> <span class='id identifier rubyid_names'>names</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_name'>name</span><span class='op'>|</span>
+    <span class='id identifier rubyid_method'>method</span>     <span class='op'>=</span> <span class='id identifier rubyid_name'>name</span><span class='period'>.</span><span class='id identifier rubyid_to_sym'>to_sym</span>
+    <span class='id identifier rubyid_predicate'>predicate</span>  <span class='op'>=</span> <span class='const'><span class='object_link'><a href="Porolog/Predicate.html" title="Porolog::Predicate (class)">Predicate</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="Porolog/Predicate.html#new-class_method" title="Porolog::Predicate.new (method)">new</a></span></span><span class='lparen'>(</span><span class='id identifier rubyid_name'>name</span><span class='rparen'>)</span>
+    <span class='id identifier rubyid_class_base'>class_base</span><span class='period'>.</span><span class='id identifier rubyid_class_eval'>class_eval</span><span class='lbrace'>{</span>
+      <span class='id identifier rubyid_remove_method'>remove_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span> <span class='kw'>if</span> <span class='id identifier rubyid_public_method_defined?'>public_method_defined?</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span>
+      <span class='id identifier rubyid_define_method'>define_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span><span class='lbrace'>{</span><span class='op'>|</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='op'>|</span>
+        <span class='id identifier rubyid_predicate'>predicate</span><span class='period'>.</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
+      <span class='rbrace'>}</span>
+    <span class='rbrace'>}</span>
+    <span class='lparen'>(</span><span class='kw'>class</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_class_base'>class_base</span><span class='semicolon'>;</span> <span class='kw'>self</span><span class='semicolon'>;</span> <span class='kw'>end</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_instance_eval'>instance_eval</span> <span class='lbrace'>{</span>
+      <span class='id identifier rubyid_remove_method'>remove_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span> <span class='kw'>if</span> <span class='id identifier rubyid_public_method_defined?'>public_method_defined?</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span>
+      <span class='id identifier rubyid_define_method'>define_method</span><span class='lparen'>(</span><span class='id identifier rubyid_method'>method</span><span class='rparen'>)</span><span class='lbrace'>{</span><span class='op'>|</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='op'>|</span>
+        <span class='id identifier rubyid_predicate'>predicate</span><span class='period'>.</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
+      <span class='rbrace'>}</span>
+    <span class='rbrace'>}</span> <span class='kw'>unless</span> <span class='id identifier rubyid_class_base'>class_base</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></span>
+    <span class='id identifier rubyid_predicate'>predicate</span>
+  <span class='rbrace'>}</span>
+  <span class='id identifier rubyid_predicates'>predicates</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&gt;</span> <span class='int'>1</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_predicates'>predicates</span> <span class='op'>||</span> <span class='id identifier rubyid_predicates'>predicates</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span>
+<span class='kw'>end</span></pre>
+    </td>
+  </tr>
+</table>
+</div>
+      <div class="method_details ">
+  <h3 class="signature " id="unify-instance_method">
+    #<strong>unify</strong>(left, right, left_goal, right_goal = left_goal, visited = [])  &#x21d2; <tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt><sup>?</sup>
+</h3><div class="docstring">
+  <div class="discussion">
+<p>Attempt to unify two entities of two goals.</p>
+  </div>
+</div>
+<div class="tags">
+  <p class="tag_title">Parameters:</p>
+<ul class="param">
+    <li>
+        <span class='name'>left</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>left hand side entity.</p>
+</div>
+    </li>
+    <li>
+        <span class='name'>right</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Object.html" title="Object (class)">Object</a></span></tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>right hand side entity.</p>
+</div>
+    </li>
+    <li>
+        <span class='name'>left_goal</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Porolog::Goal</a></span></tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>goal of left hand side entity.</p>
+</div>
+    </li>
+    <li>
+        <span class='name'>right_goal</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Porolog/Goal.html" title="Porolog::Goal (class)">Porolog::Goal</a></span></tt>)</span>
+        <em class="default">(defaults to: <tt>left_goal</tt>)</em>
+        &mdash;
+        <div class='inline'>
+<p>goal of right hand side entity.</p>
+</div>
+    </li>
+    <li>
+        <span class='name'>visited</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
+        <em class="default">(defaults to: <tt>[]</tt>)</em>
+        &mdash;
+        <div class='inline'>
+<p>prevents infinite recursion.</p>
+</div>
+    </li>
+</ul>
+<p class="tag_title">Returns:</p>
+<ul class="return">
+    <li>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>an Array of unifications when the left hand side can be unified with the right hand.</p>
+</div>
+    </li>
+    <li>
+        <span class='type'>(<tt>nil</tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>nil if they cannot be unified.</p>
+</div>
+    </li>
+</ul>
+</div><table class="source_code">
+  <tr>
+    <td>
+      <pre class="lines">
+238
+239
+240
+241
+242
+243
+244
+245
+246
+247
+248
+249
+250
+251
+252
+253
+254
+255
+256
+257
+258
+259
+260
+261
+262
+263
+264
+265
+266
+267
+268
+269
+270
+271
+272
+273
+274
+275
+276
+277
+278
+279
+280
+281
+282
+283
+284
+285
+286
+287
+288
+289
+290
+291
+292
+293
+294
+295
+296
+297
+298
+299
+300
+301
+302
+303
+304
+305
+306
+307
+308
+309
+310
+311
+312
+313
+314
+315
+316
+317
+318
+319
+320
+321
+322
+323
+324
+325
+326
+327
+328
+329
+330
+331
+332
+333
+334
+335
+336
+337
+338
+339
+340
+341
+342
+343
+344
+345
+346
+347
+348
+349
+350
+351
+352
+353
+354
+355
+356
+357
+358
+359
+360
+361
+362
+363
+364
+365
+366
+367
+368
+369
+370
+371
+372
+373
+374</pre>
+    </td>
+    <td>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 238</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_unify'>unify</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span> <span class='op'>=</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rparen'>)</span>
+  <span class='id identifier rubyid_right_goal'>right_goal</span> <span class='op'>||=</span> <span class='id identifier rubyid_left_goal'>left_goal</span>
+  <span class='id identifier rubyid_goals'>goals</span>     <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_uniq'>uniq</span>
+  <span class='id identifier rubyid_signature'>signature</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span><span class='rbracket'>]</span>
+  <span class='comment'># -- Nil is Uninstantiated (can always unify) --
+</span>  <span class='kw'>return</span> <span class='lbracket'>[</span><span class='rbracket'>]</span> <span class='kw'>unless</span> <span class='id identifier rubyid_left'>left</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_right'>right</span>
+  <span class='comment'># -- Set HeadTail Goals --
+</span>  <span class='kw'>case</span> <span class='id identifier rubyid_signature'>signature</span>
+    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:atomic</span><span class='comma'>,</span> <span class='symbol'>:atomic</span><span class='rbracket'>]</span>
+      <span class='kw'>if</span> <span class='id identifier rubyid_left'>left</span> <span class='op'>==</span> <span class='id identifier rubyid_right'>right</span>
+        <span class='lbracket'>[</span><span class='rbracket'>]</span>
+      <span class='kw'>else</span>
+        <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify because </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> != </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> (atomic != atomic)</span><span class='tstring_end'>&quot;</span></span>
+        <span class='id identifier rubyid_goals'>goals</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_log'>log</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_msg'>msg</span> <span class='rbrace'>}</span>
+        <span class='kw'>nil</span>
+      <span class='kw'>end</span>
+    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:array</span><span class='comma'>,</span> <span class='symbol'>:array</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='symbol'>:tail</span><span class='comma'>,</span> <span class='symbol'>:tail</span><span class='rbracket'>]</span>
+      <span class='id identifier rubyid__merged'>_merged</span><span class='comma'>,</span> <span class='id identifier rubyid_unifications'>unifications</span> <span class='op'>=</span> <span class='id identifier rubyid_unify_arrays'>unify_arrays</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
+      <span class='kw'>if</span> <span class='id identifier rubyid_unifications'>unifications</span>
         <span class='id identifier rubyid_unifications'>unifications</span>
       <span class='kw'>else</span>
         <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify because </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> != </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> (array != array)</span><span class='tstring_end'>&quot;</span></span>
@@ -1316,6 +1735,26 @@
         <span class='kw'>nil</span>
       <span class='kw'>end</span>
+    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:array</span><span class='comma'>,</span> <span class='symbol'>:tail</span><span class='rbracket'>]</span>
+      <span class='id identifier rubyid__merged'>_merged</span><span class='comma'>,</span> <span class='id identifier rubyid_unifications'>unifications</span> <span class='op'>=</span> <span class='id identifier rubyid_unify_arrays'>unify_arrays</span><span class='lparen'>(</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
+      <span class='kw'>if</span> <span class='id identifier rubyid_unifications'>unifications</span>
+        <span class='id identifier rubyid_unifications'>unifications</span>
+      <span class='kw'>else</span>
+        <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify because </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> != </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> (array != tail)</span><span class='tstring_end'>&quot;</span></span>
+        <span class='id identifier rubyid_goals'>goals</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_log'>log</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_msg'>msg</span> <span class='rbrace'>}</span>
+        <span class='kw'>nil</span>
+      <span class='kw'>end</span>
+    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:tail</span><span class='comma'>,</span> <span class='symbol'>:array</span><span class='rbracket'>]</span>
+      <span class='id identifier rubyid__merged'>_merged</span><span class='comma'>,</span> <span class='id identifier rubyid_unifications'>unifications</span> <span class='op'>=</span> <span class='id identifier rubyid_unify_arrays'>unify_arrays</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='id identifier rubyid_right'>right</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
+      <span class='kw'>if</span> <span class='id identifier rubyid_unifications'>unifications</span>
+        <span class='id identifier rubyid_unifications'>unifications</span>
+      <span class='kw'>else</span>
+        <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify because </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> != </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> (tail != array)</span><span class='tstring_end'>&quot;</span></span>
+        <span class='id identifier rubyid_goals'>goals</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_log'>log</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_msg'>msg</span> <span class='rbrace'>}</span>
+        <span class='kw'>nil</span>
+      <span class='kw'>end</span>
     <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:variable</span><span class='comma'>,</span> <span class='symbol'>:atomic</span><span class='rbracket'>]</span>
       <span class='id identifier rubyid_left_value'>left_value</span>  <span class='op'>=</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='period'>.</span><span class='id identifier rubyid_value_of'>value_of</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='kw'>nil</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
       <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>=</span> <span class='id identifier rubyid_right'>right</span>
@@ -1339,17 +1778,21 @@
       <span class='kw'>end</span>
     <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:variable</span><span class='comma'>,</span> <span class='symbol'>:variable</span><span class='rbracket'>]</span>
-      <span class='id identifier rubyid_left_value'>left_value</span>  <span class='op'>=</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='period'>.</span><span class='id identifier rubyid_value_of'>value_of</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='kw'>nil</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
-      <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>=</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='period'>.</span><span class='id identifier rubyid_value_of'>value_of</span><span class='lparen'>(</span><span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='kw'>nil</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
+      <span class='id identifier rubyid_left_value'>left_value</span>  <span class='op'>=</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='period'>.</span><span class='id identifier rubyid_value_of'>value_of</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='kw'>nil</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
+      <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>=</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='period'>.</span><span class='id identifier rubyid_value_of'>value_of</span><span class='lparen'>(</span><span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='kw'>nil</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
       <span class='kw'>if</span> <span class='id identifier rubyid_left_value'>left_value</span> <span class='op'>==</span> <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>||</span> <span class='id identifier rubyid_left_value'>left_value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_right_value'>right_value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_left_value'>left_value</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span> <span class='op'>||</span> <span class='id identifier rubyid_right_value'>right_value</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span>
         <span class='lbracket'>[</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='rbracket'>]</span><span class='rbracket'>]</span>
+      <span class='kw'>elsif</span> <span class='id identifier rubyid_left_value'>left_value</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span> <span class='op'>&amp;&amp;</span> <span class='lparen'>(</span><span class='id identifier rubyid_right_value'>right_value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_right_value'>right_value</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span> <span class='op'>||</span> <span class='id identifier rubyid_right_value'>right_value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span><span class='rparen'>)</span>
+        <span class='lbracket'>[</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='rbracket'>]</span><span class='rbracket'>]</span>
+      <span class='kw'>elsif</span> <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span> <span class='op'>&amp;&amp;</span> <span class='lparen'>(</span><span class='id identifier rubyid_left_value'>left_value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_left_value'>left_value</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span> <span class='op'>||</span> <span class='id identifier rubyid_left_value'>left_value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span><span class='rparen'>)</span>
+        <span class='lbracket'>[</span><span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='rbracket'>]</span><span class='rbracket'>]</span>
       <span class='kw'>else</span>
         <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify because </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_left_value'>left_value</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> != </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_right_value'>right_value</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> (variable != variable)</span><span class='tstring_end'>&quot;</span></span>
         <span class='id identifier rubyid_goals'>goals</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_log'>log</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_msg'>msg</span> <span class='rbrace'>}</span>
         <span class='kw'>nil</span>
       <span class='kw'>end</span>
-    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:variable</span><span class='comma'>,</span> <span class='symbol'>:array</span><span class='rbracket'>]</span>
+    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:variable</span><span class='comma'>,</span> <span class='symbol'>:array</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='symbol'>:variable</span><span class='comma'>,</span> <span class='symbol'>:tail</span><span class='rbracket'>]</span>
       <span class='id identifier rubyid_left_value'>left_value</span>  <span class='op'>=</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='period'>.</span><span class='id identifier rubyid_value_of'>value_of</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='kw'>nil</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
       <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>=</span> <span class='id identifier rubyid_right'>right</span>
       <span class='kw'>if</span> <span class='id identifier rubyid_left_value'>left_value</span> <span class='op'>==</span> <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>||</span> <span class='id identifier rubyid_left_value'>left_value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_left_value'>left_value</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span> <span class='op'>||</span> <span class='id identifier rubyid_left_value'>left_value</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span>
@@ -1369,7 +1812,7 @@
         <span class='kw'>nil</span>
       <span class='kw'>end</span>
-    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:array</span><span class='comma'>,</span> <span class='symbol'>:variable</span><span class='rbracket'>]</span>
+    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:array</span><span class='comma'>,</span> <span class='symbol'>:variable</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='symbol'>:tail</span><span class='comma'>,</span> <span class='symbol'>:variable</span><span class='rbracket'>]</span>
       <span class='id identifier rubyid_left_value'>left_value</span>  <span class='op'>=</span> <span class='id identifier rubyid_left'>left</span>
       <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>=</span> <span class='id identifier rubyid_right_goal'>right_goal</span><span class='period'>.</span><span class='id identifier rubyid_value_of'>value_of</span><span class='lparen'>(</span><span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='kw'>nil</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
       <span class='kw'>if</span> <span class='id identifier rubyid_left_value'>left_value</span> <span class='op'>==</span> <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>||</span> <span class='id identifier rubyid_right_value'>right_value</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Variable.html" title="Porolog::Variable (class)">Variable</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_right_value'>right_value</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span> <span class='op'>||</span> <span class='id identifier rubyid_right_value'>right_value</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span>
@@ -1389,8 +1832,8 @@
         <span class='kw'>nil</span>
       <span class='kw'>end</span>
-    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:array</span><span class='comma'>,</span><span class='symbol'>:atomic</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='symbol'>:atomic</span><span class='comma'>,</span><span class='symbol'>:array</span><span class='rbracket'>]</span>
-      <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> with </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_end'>&quot;</span></span>
+    <span class='kw'>when</span> <span class='lbracket'>[</span><span class='symbol'>:array</span><span class='comma'>,</span> <span class='symbol'>:atomic</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='symbol'>:atomic</span><span class='comma'>,</span> <span class='symbol'>:array</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='symbol'>:tail</span><span class='comma'>,</span> <span class='symbol'>:atomic</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='symbol'>:atomic</span><span class='comma'>,</span> <span class='symbol'>:tail</span><span class='rbracket'>]</span>
+      <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_left'>left</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> with </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_right'>right</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> (</span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_signature'>signature</span><span class='period'>.</span><span class='id identifier rubyid_join'>join</span><span class='lparen'>(</span><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'> != </span><span class='tstring_end'>&#39;</span></span><span class='rparen'>)</span><span class='embexpr_end'>}</span><span class='tstring_content'>)</span><span class='tstring_end'>&quot;</span></span>
       <span class='id identifier rubyid_goals'>goals</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_log'>log</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_msg'>msg</span> <span class='rbrace'>}</span>
       <span class='kw'>nil</span>
@@ -1551,47 +1994,47 @@
       <pre class="lines">
-261
-262
-263
-264
-265
-266
-267
-268
-269
-270
-271
-272
-273
-274
-275
-276
-277
-278
-279
-280
-281
-282
-283
-284
-285
-286
-287
-288
-289</pre>
+384
+385
+386
+387
+388
+389
+390
+391
+392
+393
+394
+395
+396
+397
+398
+399
+400
+401
+402
+403
+404
+405
+406
+407
+408
+409
+410
+411
+412</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 261</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 384</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_arrays'>unify_arrays</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span> <span class='id identifier rubyid_right'>right</span><span class='comma'>,</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_right_goal'>right_goal</span> <span class='op'>=</span> <span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rparen'>)</span>
   <span class='id identifier rubyid_arrays'>arrays</span>        <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_left'>left</span><span class='comma'>,</span>       <span class='id identifier rubyid_right'>right</span><span class='rbracket'>]</span>
   <span class='id identifier rubyid_arrays_goals'>arrays_goals</span>  <span class='op'>=</span> <span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='comma'>,</span>  <span class='id identifier rubyid_right_goal'>right_goal</span><span class='rbracket'>]</span>
-  <span class='id identifier rubyid_arrays_values'>arrays_values</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:value</span><span class='rparen'>)</span>
+  <span class='id identifier rubyid_arrays_values'>arrays_values</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span> <span class='rbrace'>}</span>
   <span class='comment'># -- Trivial Unifications --
-</span>  <span class='kw'>return</span> <span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='period'>.</span> <span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='rparen'>)</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rbracket'>]</span> <span class='kw'>if</span> <span class='id identifier rubyid_right'>right</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span>
-  <span class='kw'>return</span> <span class='lbracket'>[</span><span class='id identifier rubyid_right_goal'>right_goal</span><span class='period'>.</span><span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='id identifier rubyid_right'>right</span><span class='rparen'>)</span><span class='comma'>,</span><span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rbracket'>]</span> <span class='kw'>if</span> <span class='id identifier rubyid_left'>left</span>  <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span>
+</span>  <span class='kw'>return</span> <span class='lbracket'>[</span><span class='id identifier rubyid_left_goal'>left_goal</span><span class='period'>.</span> <span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='id identifier rubyid_left'>left</span><span class='rparen'>)</span><span class='comma'>,</span>  <span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rbracket'>]</span> <span class='kw'>if</span> <span class='id identifier rubyid_right'>right</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span>
+  <span class='kw'>return</span> <span class='lbracket'>[</span><span class='id identifier rubyid_right_goal'>right_goal</span><span class='period'>.</span><span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='id identifier rubyid_right'>right</span><span class='rparen'>)</span><span class='comma'>,</span> <span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rbracket'>]</span> <span class='kw'>if</span> <span class='id identifier rubyid_left'>left</span>  <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span>
   <span class='comment'># -- Validate Arrays --
 </span>  <span class='kw'>unless</span> <span class='id identifier rubyid_arrays_values'>arrays_values</span><span class='period'>.</span><span class='id identifier rubyid_all?'>all?</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span> <span class='op'>||</span> <span class='id identifier rubyid_array'>array</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span> <span class='rbrace'>}</span>
@@ -1605,7 +2048,7 @@
   <span class='id identifier rubyid_number_of_tails'>number_of_tails</span>  <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_count'>count</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_has_tail?'>has_tail?</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span> <span class='rbrace'>}</span>
   <span class='comment'># -- Handle Tails --
-</span>  <span class='kw'>if</span> <span class='id identifier rubyid_number_of_tails'>number_of_tails</span> <span class='op'>==</span> <span class='int'>0</span>
+</span>  <span class='kw'>if</span> <span class='id identifier rubyid_number_of_tails'>number_of_tails</span><span class='period'>.</span><span class='id identifier rubyid_zero?'>zero?</span>
     <span class='id identifier rubyid_unify_arrays_with_no_tails'>unify_arrays_with_no_tails</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
   <span class='kw'>elsif</span> <span class='id identifier rubyid_number_of_tails'>number_of_tails</span> <span class='op'>==</span> <span class='id identifier rubyid_number_of_arrays'>number_of_arrays</span>
     <span class='id identifier rubyid_unify_arrays_with_all_tails'>unify_arrays_with_all_tails</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
@@ -1702,90 +2145,80 @@
         &mdash;
         <div class='inline'>
 <p>the merged Array and the unifications to be instantiated.</p>
-</div>
-    </li>
-    <li>
-        <span class='type'>(<tt>nil</tt>)</span>
-        &mdash;
-        <div class='inline'>
-<p>if the Arrays cannot be unified.</p>
-</div>
-    </li>
-</ul>
-</div><table class="source_code">
-  <tr>
-    <td>
-      <pre class="lines">
-529
-530
-531
-532
-533
-534
-535
-536
-537
-538
-539
-540
-541
-542
-543
-544
-545
-546
-547
-548
-549
-550
-551
-552
-553
-554
-555
-556
-557
-558
-559
-560
-561
-562
-563
-564
-565
-566
-567
-568
-569
-570
-571
-572</pre>
+</div>
+    </li>
+    <li>
+        <span class='type'>(<tt>nil</tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>if the Arrays cannot be unified.</p>
+</div>
+    </li>
+</ul>
+</div><table class="source_code">
+  <tr>
+    <td>
+      <pre class="lines">
+656
+657
+658
+659
+660
+661
+662
+663
+664
+665
+666
+667
+668
+669
+670
+671
+672
+673
+674
+675
+676
+677
+678
+679
+680
+681
+682
+683
+684
+685
+686
+687
+688
+689
+690
+691
+692
+693
+694</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 529</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 656</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_arrays_with_all_tails'>unify_arrays_with_all_tails</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_unifications'>unifications</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
-  <span class='id identifier rubyid_merged'>merged</span>       <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
   <span class='comment'># -- All tails --
-</span>  <span class='id identifier rubyid_signature'>signature</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:headtail?</span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_arrays'>arrays</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span>
+</span>  <span class='id identifier rubyid_arrays'>arrays</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span>
     <span class='id identifier rubyid_expand_splat'>expand_splat</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_headtail?'>headtail?</span> <span class='op'>?</span> <span class='id identifier rubyid_array'>array</span> <span class='op'>:</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='rparen'>)</span>
   <span class='rbrace'>}</span>
-  <span class='id identifier rubyid_signature'>signature</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:headtail?</span><span class='rparen'>)</span>
   <span class='comment'># -- Unify Embedded Arrays --
 </span>  <span class='kw'>if</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_any?'>any?</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span> <span class='op'>==</span> <span class='symbol'>:variable</span> <span class='rbrace'>}</span>
@@ -1815,9 +2248,9 @@
   <span class='kw'>end</span>
   <span class='kw'>if</span> <span class='id identifier rubyid_unifications'>unifications</span>
-    <span class='kw'>return</span> <span class='lbracket'>[</span><span class='id identifier rubyid_merged'>merged</span><span class='comma'>,</span> <span class='id identifier rubyid_unifications'>unifications</span><span class='rbracket'>]</span>
+    <span class='lbracket'>[</span><span class='id identifier rubyid_merged'>merged</span><span class='comma'>,</span> <span class='id identifier rubyid_unifications'>unifications</span><span class='rbracket'>]</span>
   <span class='kw'>else</span>
-    <span class='kw'>return</span> <span class='kw'>nil</span>
+    <span class='kw'>nil</span>
   <span class='kw'>end</span>
 <span class='kw'>end</span></pre>
     </td>
@@ -1935,131 +2368,6 @@
       <pre class="lines">
-361
-362
-363
-364
-365
-366
-367
-368
-369
-370
-371
-372
-373
-374
-375
-376
-377
-378
-379
-380
-381
-382
-383
-384
-385
-386
-387
-388
-389
-390
-391
-392
-393
-394
-395
-396
-397
-398
-399
-400
-401
-402
-403
-404
-405
-406
-407
-408
-409
-410
-411
-412
-413
-414
-415
-416
-417
-418
-419
-420
-421
-422
-423
-424
-425
-426
-427
-428
-429
-430
-431
-432
-433
-434
-435
-436
-437
-438
-439
-440
-441
-442
-443
-444
-445
-446
-447
-448
-449
-450
-451
-452
-453
-454
-455
-456
-457
-458
-459
-460
-461
-462
-463
-464
-465
-466
-467
-468
-469
-470
-471
-472
-473
-474
-475
-476
-477
-478
-479
-480
-481
-482
-483
-484
-485
 486
 487
 488
@@ -2095,10 +2403,137 @@
 518
 519
 520
-521</pre>
+521
+522
+523
+524
+525
+526
+527
+528
+529
+530
+531
+532
+533
+534
+535
+536
+537
+538
+539
+540
+541
+542
+543
+544
+545
+546
+547
+548
+549
+550
+551
+552
+553
+554
+555
+556
+557
+558
+559
+560
+561
+562
+563
+564
+565
+566
+567
+568
+569
+570
+571
+572
+573
+574
+575
+576
+577
+578
+579
+580
+581
+582
+583
+584
+585
+586
+587
+588
+589
+590
+591
+592
+593
+594
+595
+596
+597
+598
+599
+600
+601
+602
+603
+604
+605
+606
+607
+608
+609
+610
+611
+612
+613
+614
+615
+616
+617
+618
+619
+620
+621
+622
+623
+624
+625
+626
+627
+628
+629
+630
+631
+632
+633
+634
+635
+636
+637
+638
+639
+640
+641
+642
+643
+644
+645
+646
+647
+648</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 361</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 486</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_arrays_with_no_tails'>unify_arrays_with_no_tails</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
   <span class='comment'># -- Validate Arrays --
@@ -2125,12 +2560,14 @@
     <span class='kw'>if</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='lbracket'>[</span><span class='id identifier rubyid_index'>index</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span>
       <span class='id identifier rubyid_value_with_goal'>value_with_goal</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_find'>find</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_respond_to?'>respond_to?</span><span class='lparen'>(</span><span class='symbol'>:goal</span><span class='rparen'>)</span> <span class='rbrace'>}</span>
-      <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='lbracket'>[</span><span class='id identifier rubyid_index'>index</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='id identifier rubyid_value_with_goal'>value_with_goal</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span> <span class='kw'>if</span> <span class='id identifier rubyid_value_with_goal'>value_with_goal</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_value_with_goal'>value_with_goal</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span>
+      <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='lbracket'>[</span><span class='id identifier rubyid_index'>index</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='id identifier rubyid_value_with_goal'>value_with_goal</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span> <span class='kw'>if</span> <span class='id identifier rubyid_value_with_goal'>value_with_goal</span><span class='op'>&amp;.</span><span class='id identifier rubyid_goal'>goal</span>
     <span class='kw'>end</span>
     <span class='kw'>if</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='lbracket'>[</span><span class='id identifier rubyid_index'>index</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span>
-      <span class='id identifier rubyid_raise'>raise</span> <span class='const'><span class='object_link'><a href="Porolog/NoGoalError.html" title="Porolog::NoGoalError (class)">NoGoalError</a></span></span><span class='comma'>,</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Array </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> has no goal for unification</span><span class='tstring_end'>&quot;</span></span>
-    <span class='kw'>end</span>
+      <span class='comment'># :nocov:
+</span>      <span class='id identifier rubyid_raise'>raise</span> <span class='const'><span class='object_link'><a href="Porolog/NoGoalError.html" title="Porolog::NoGoalError (class)">NoGoalError</a></span></span><span class='comma'>,</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Array </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> has no goal for unification</span><span class='tstring_end'>&quot;</span></span>
+      <span class='comment'># :nocov:
+</span>    <span class='kw'>end</span>
     <span class='id identifier rubyid_arrays_values'>arrays_values</span><span class='lbracket'>[</span><span class='id identifier rubyid_index'>index</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='id identifier rubyid_expand_splat'>expand_splat</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays_values'>arrays_values</span><span class='lbracket'>[</span><span class='id identifier rubyid_index'>index</span><span class='rbracket'>]</span><span class='rparen'>)</span>
   <span class='kw'>end</span>
@@ -2145,10 +2582,10 @@
   <span class='comment'># -- Remap Arrays so that they are variablised and valuised with their Goals --
 </span>  <span class='id identifier rubyid_new_arrays'>new_arrays</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
-  <span class='id identifier rubyid_arrays_variables'>arrays_variables</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='comma'>,</span><span class='id identifier rubyid_variables'>variables</span><span class='op'>|</span>
+  <span class='id identifier rubyid_arrays_variables'>arrays_variables</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='comma'>,</span> <span class='id identifier rubyid_variables'>variables</span><span class='op'>|</span>
     <span class='id identifier rubyid_new_array'>new_array</span> <span class='op'>=</span> <span class='id identifier rubyid_variables'>variables</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_variable'>variable</span><span class='op'>|</span>
       <span class='id identifier rubyid_value'>value</span> <span class='op'>=</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_value_of'>value_of</span><span class='lparen'>(</span><span class='id identifier rubyid_variable'>variable</span><span class='comma'>,</span> <span class='kw'>nil</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
-      <span class='id identifier rubyid_value'>value</span> <span class='op'>=</span> <span class='id identifier rubyid_variable'>variable</span> <span class='kw'>if</span> <span class='id identifier rubyid_value'>value</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span> <span class='op'>||</span> <span class='id identifier rubyid_value'>value</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span>
+      <span class='id identifier rubyid_value'>value</span> <span class='op'>=</span> <span class='id identifier rubyid_variable'>variable</span> <span class='kw'>if</span> <span class='lbracket'>[</span><span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span><span class='comma'>,</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_include?'>include?</span><span class='lparen'>(</span><span class='id identifier rubyid_value'>value</span><span class='rparen'>)</span>
       <span class='kw'>if</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span> <span class='op'>==</span> <span class='symbol'>:variable</span>
         <span class='id identifier rubyid_value'>value</span> <span class='op'>=</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_variable'>variable</span><span class='lparen'>(</span><span class='id identifier rubyid_value'>value</span><span class='rparen'>)</span>
@@ -2182,10 +2619,10 @@
     <span class='id identifier rubyid_merged'>merged</span>       <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
     <span class='comment'># TODO: Change these names
-</span>    <span class='id identifier rubyid_zipped'>zipped</span><span class='period'>.</span><span class='id identifier rubyid_each_with_index'>each_with_index</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_values_to_unify'>values_to_unify</span><span class='comma'>,</span> <span class='id identifier rubyid_index'>index</span><span class='op'>|</span>
+</span>    <span class='id identifier rubyid_zipped'>zipped</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_values_to_unify'>values_to_unify</span><span class='op'>|</span>
       <span class='id identifier rubyid_values_to_unify_values'>values_to_unify_values</span> <span class='op'>=</span> <span class='id identifier rubyid_values_to_unify'>values_to_unify</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_value'>value</span><span class='op'>|</span>
         <span class='id identifier rubyid_value_value'>value_value</span> <span class='op'>=</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
-        <span class='kw'>if</span> <span class='id identifier rubyid_value_value'>value_value</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span> <span class='op'>||</span> <span class='id identifier rubyid_value_value'>value_value</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span>
+        <span class='kw'>if</span> <span class='lbracket'>[</span><span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span><span class='comma'>,</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_include?'>include?</span><span class='lparen'>(</span><span class='id identifier rubyid_value_value'>value_value</span><span class='rparen'>)</span>
           <span class='id identifier rubyid_value'>value</span>
         <span class='kw'>else</span>
           <span class='id identifier rubyid_value_value'>value_value</span>
@@ -2376,128 +2813,127 @@
       <pre class="lines">
-927
-928
-929
-930
-931
-932
-933
-934
-935
-936
-937
-938
-939
-940
-941
-942
-943
-944
-945
-946
-947
-948
-949
-950
-951
-952
-953
-954
-955
-956
-957
-958
-959
-960
-961
-962
-963
-964
-965
-966
-967
-968
-969
-970
-971
-972
-973
-974
-975
-976
-977
-978
-979
-980
-981
-982
-983
-984
-985
-986
-987
-988
-989
-990
-991
-992
-993
-994
-995
-996
-997
-998
-999
-1000
-1001
-1002
-1003
-1004
-1005
-1006
-1007
-1008
-1009
-1010
-1011
-1012
-1013
-1014
-1015
-1016
-1017
-1018
-1019
-1020
-1021
-1022
-1023
-1024
-1025
-1026
-1027
-1028
-1029
-1030
-1031
-1032
-1033
-1034
-1035
-1036
-1037
-1038
-1039
-1040
-1041
-1042
-1043
-1044
-1045</pre>
+1051
+1052
+1053
+1054
+1055
+1056
+1057
+1058
+1059
+1060
+1061
+1062
+1063
+1064
+1065
+1066
+1067
+1068
+1069
+1070
+1071
+1072
+1073
+1074
+1075
+1076
+1077
+1078
+1079
+1080
+1081
+1082
+1083
+1084
+1085
+1086
+1087
+1088
+1089
+1090
+1091
+1092
+1093
+1094
+1095
+1096
+1097
+1098
+1099
+1100
+1101
+1102
+1103
+1104
+1105
+1106
+1107
+1108
+1109
+1110
+1111
+1112
+1113
+1114
+1115
+1116
+1117
+1118
+1119
+1120
+1121
+1122
+1123
+1124
+1125
+1126
+1127
+1128
+1129
+1130
+1131
+1132
+1133
+1134
+1135
+1136
+1137
+1138
+1139
+1140
+1141
+1142
+1143
+1144
+1145
+1146
+1147
+1148
+1149
+1150
+1151
+1152
+1153
+1154
+1155
+1156
+1157
+1158
+1159
+1160
+1161
+1162
+1163
+1164
+1165
+1166
+1167
+1168</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 927</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 1051</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_arrays_with_some_tails'>unify_arrays_with_some_tails</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
   <span class='comment'># -- Variablise Arrays --
@@ -2506,7 +2942,7 @@
       <span class='id identifier rubyid_goal'>goal</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span>        <span class='kw'>if</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Porolog/Value.html" title="Porolog::Value (class)">Value</a></span></span><span class='rparen'>)</span>
       <span class='kw'>if</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span>
         <span class='id identifier rubyid_v'>v</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_find'>find</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_respond_to?'>respond_to?</span><span class='lparen'>(</span><span class='symbol'>:goal</span><span class='rparen'>)</span> <span class='rbrace'>}</span>
-        <span class='id identifier rubyid_goal'>goal</span> <span class='op'>=</span> <span class='id identifier rubyid_v'>v</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_v'>v</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span>
+        <span class='id identifier rubyid_goal'>goal</span> <span class='op'>=</span> <span class='id identifier rubyid_v'>v</span><span class='op'>&amp;.</span><span class='id identifier rubyid_goal'>goal</span>
       <span class='kw'>end</span>
     <span class='kw'>end</span>
     <span class='id identifier rubyid_goal'>goal</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='period'>.</span><span class='id identifier rubyid_compact'>compact</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span> <span class='kw'>if</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span>
@@ -2576,7 +3012,6 @@
     <span class='id identifier rubyid_value_values'>value_values</span> <span class='op'>=</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:value</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_compact'>compact</span><span class='period'>.</span><span class='id identifier rubyid_uniq'>uniq</span>
     <span class='kw'>if</span> <span class='id identifier rubyid_value_values'>value_values</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&lt;=</span> <span class='int'>1</span>
       <span class='id identifier rubyid_m'>m</span> <span class='op'>=</span> <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
-      <span class='id identifier rubyid_m'>m</span> <span class='op'>=</span> <span class='kw'>nil</span> <span class='kw'>if</span> <span class='id identifier rubyid_m'>m</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span> <span class='op'>==</span> <span class='symbol'>:variable</span>
       <span class='id identifier rubyid_merged'>merged</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_m'>m</span>
     <span class='kw'>else</span>
       <span class='kw'>if</span> <span class='id identifier rubyid_values'>values</span><span class='period'>.</span><span class='id identifier rubyid_variables'>variables</span><span class='period'>.</span><span class='id identifier rubyid_empty?'>empty?</span>
@@ -2589,7 +3024,6 @@
         <span class='id identifier rubyid__variables'>_variables</span><span class='comma'>,</span> <span class='id identifier rubyid_nonvariables'>nonvariables</span> <span class='op'>=</span> <span class='id identifier rubyid_values'>values</span><span class='period'>.</span><span class='id identifier rubyid_reject'>reject</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_v'>v</span><span class='op'>|</span> <span class='id identifier rubyid_v'>v</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span> <span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_partition'>partition</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span> <span class='op'>==</span> <span class='symbol'>:variable</span> <span class='rbrace'>}</span>
         <span class='kw'>if</span> <span class='id identifier rubyid_nonvariables'>nonvariables</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_uniq'>uniq</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&lt;=</span> <span class='int'>1</span>
           <span class='id identifier rubyid_m'>m</span> <span class='op'>=</span> <span class='id identifier rubyid_nonvariables'>nonvariables</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
-          <span class='id identifier rubyid_m'>m</span> <span class='op'>=</span> <span class='kw'>nil</span> <span class='kw'>if</span> <span class='id identifier rubyid_m'>m</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span> <span class='op'>==</span> <span class='symbol'>:variable</span>
           <span class='id identifier rubyid_merged'>merged</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_m'>m</span>
           <span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_combination'>combination</span><span class='lparen'>(</span><span class='int'>2</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_vl'>vl</span><span class='comma'>,</span> <span class='id identifier rubyid_vr'>vr</span><span class='op'>|</span>
@@ -2610,7 +3044,8 @@
     <span class='kw'>end</span>
   <span class='rbrace'>}</span>
-  <span class='id identifier rubyid_tails'>tails</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_head_size'>head_size</span><span class='comma'>,</span><span class='id identifier rubyid_tail'>tail</span><span class='comma'>,</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span>
+  <span class='comment'># -- Unify Tails --
+</span>  <span class='id identifier rubyid_tails'>tails</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_head_size'>head_size</span><span class='comma'>,</span><span class='id identifier rubyid_tail'>tail</span><span class='comma'>,</span><span class='id identifier rubyid_goal'>goal</span><span class='op'>|</span>
     <span class='kw'>next</span> <span class='kw'>if</span> <span class='id identifier rubyid_tail'>tail</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span>
     <span class='id identifier rubyid_merged_goals'>merged_goals</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span> <span class='op'>-</span> <span class='lbracket'>[</span><span class='id identifier rubyid_goal'>goal</span><span class='rbracket'>]</span> <span class='op'>+</span> <span class='lbracket'>[</span><span class='id identifier rubyid_goal'>goal</span><span class='rbracket'>]</span>
     <span class='id identifier rubyid_unifications'>unifications</span> <span class='op'>&lt;&lt;</span> <span class='lbracket'>[</span><span class='id identifier rubyid_tail'>tail</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='lparen'>(</span><span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span><span class='comma'>,</span> <span class='id identifier rubyid_merged'>merged</span><span class='lbracket'>[</span><span class='id identifier rubyid_head_size'>head_size</span><span class='op'>..</span><span class='op'>-</span><span class='int'>1</span><span class='rbracket'>]</span><span class='comma'>,</span> <span class='id identifier rubyid_goal'>goal</span><span class='comma'>,</span> <span class='id identifier rubyid_merged_goals'>merged_goals</span><span class='period'>.</span><span class='id identifier rubyid_compact'>compact</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='rbracket'>]</span>
@@ -2626,7 +3061,7 @@
       <div class="method_details ">
   <h3 class="signature " id="unify_goals-instance_method">
-    #<strong>unify_goals</strong>(goal, subgoal)  &#x21d2; <tt>Boolean</tt>
+    #<strong>unify_goals</strong>(goal, subgoal)  &#x21d2; <tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;<span class='object_link'><a href="Porolog/Instantiation.html" title="Porolog::Instantiation (class)">Porolog::Instantiation</a></span>&gt;</tt>, ...
@@ -2684,13 +3119,41 @@
     <li>
-        <span class='type'>(<tt>Boolean</tt>)</span>
+        <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;<span class='object_link'><a href="Porolog/Instantiation.html" title="Porolog::Instantiation (class)">Porolog::Instantiation</a></span>&gt;</tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>the instantiations if the goals can be unified and instantiated.</p>
+</div>
+    </li>
+    <li>
+        <span class='type'>(<tt>false</tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>if they cannot be unified.</p>
+</div>
+    </li>
+    <li>
+        <span class='type'>(<tt>nil</tt>)</span>
         &mdash;
         <div class='inline'>
-<p>whether the Goals can be unified.</p>
+<p>if they can be unified but the instantiations are inconsistent.</p>
 </div>
     </li>
@@ -2703,27 +3166,27 @@
       <pre class="lines">
-67
-68
-69
-70
-71
-72
-73
-74
-75
-76
-77
-78
-79
-80
-81
-82
-83
-84</pre>
+142
+143
+144
+145
+146
+147
+148
+149
+150
+151
+152
+153
+154
+155
+156
+157
+158
+159</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 67</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 142</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_goals'>unify_goals</span><span class='lparen'>(</span><span class='id identifier rubyid_goal'>goal</span><span class='comma'>,</span> <span class='id identifier rubyid_subgoal'>subgoal</span><span class='rparen'>)</span>
   <span class='kw'>if</span> <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_arguments'>arguments</span><span class='period'>.</span><span class='id identifier rubyid_predicate'>predicate</span> <span class='op'>==</span> <span class='id identifier rubyid_subgoal'>subgoal</span><span class='period'>.</span><span class='id identifier rubyid_arguments'>arguments</span><span class='period'>.</span><span class='id identifier rubyid_predicate'>predicate</span>
@@ -2827,94 +3290,94 @@
         <span class='type'>(<tt><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&lt;<span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>, <span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span>&gt;</tt>)</span>
-        &mdash;
-        <div class='inline'>
-<p>the merged Array and the unifications to be instantiated.</p>
-</div>
-    </li>
-    <li>
-        <span class='type'>(<tt>nil</tt>)</span>
-        &mdash;
-        <div class='inline'>
-<p>if the Arrays cannot be unified.</p>
-</div>
-    </li>
-</ul>
-</div><table class="source_code">
-  <tr>
-    <td>
-      <pre class="lines">
-866
-867
-868
-869
-870
-871
-872
-873
-874
-875
-876
-877
-878
-879
-880
-881
-882
-883
-884
-885
-886
-887
-888
-889
-890
-891
-892
-893
-894
-895
-896
-897
-898
-899
-900
-901
-902
-903
-904
-905
-906
-907
-908
-909
-910
-911
-912
-913
-914
-915
-916
-917
-918
-919</pre>
+        &mdash;
+        <div class='inline'>
+<p>the merged Array and the unifications to be instantiated.</p>
+</div>
+    </li>
+    <li>
+        <span class='type'>(<tt>nil</tt>)</span>
+        &mdash;
+        <div class='inline'>
+<p>if the Arrays cannot be unified.</p>
+</div>
+    </li>
+</ul>
+</div><table class="source_code">
+  <tr>
+    <td>
+      <pre class="lines">
+990
+991
+992
+993
+994
+995
+996
+997
+998
+999
+1000
+1001
+1002
+1003
+1004
+1005
+1006
+1007
+1008
+1009
+1010
+1011
+1012
+1013
+1014
+1015
+1016
+1017
+1018
+1019
+1020
+1021
+1022
+1023
+1024
+1025
+1026
+1027
+1028
+1029
+1030
+1031
+1032
+1033
+1034
+1035
+1036
+1037
+1038
+1039
+1040
+1041
+1042
+1043</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 866</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 990</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_headtail_with_headtail'>unify_headtail_with_headtail</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
   <span class='kw'>unless</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_all?'>all?</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:headtail?</span><span class='rparen'>)</span>
@@ -3085,126 +3548,6 @@
       <pre class="lines">
-670
-671
-672
-673
-674
-675
-676
-677
-678
-679
-680
-681
-682
-683
-684
-685
-686
-687
-688
-689
-690
-691
-692
-693
-694
-695
-696
-697
-698
-699
-700
-701
-702
-703
-704
-705
-706
-707
-708
-709
-710
-711
-712
-713
-714
-715
-716
-717
-718
-719
-720
-721
-722
-723
-724
-725
-726
-727
-728
-729
-730
-731
-732
-733
-734
-735
-736
-737
-738
-739
-740
-741
-742
-743
-744
-745
-746
-747
-748
-749
-750
-751
-752
-753
-754
-755
-756
-757
-758
-759
-760
-761
-762
-763
-764
-765
-766
-767
-768
-769
-770
-771
-772
-773
-774
-775
-776
-777
-778
-779
-780
-781
-782
-783
-784
-785
-786
-787
-788
-789
 790
 791
 792
@@ -3273,10 +3616,134 @@
 855
 856
 857
-858</pre>
+858
+859
+860
+861
+862
+863
+864
+865
+866
+867
+868
+869
+870
+871
+872
+873
+874
+875
+876
+877
+878
+879
+880
+881
+882
+883
+884
+885
+886
+887
+888
+889
+890
+891
+892
+893
+894
+895
+896
+897
+898
+899
+900
+901
+902
+903
+904
+905
+906
+907
+908
+909
+910
+911
+912
+913
+914
+915
+916
+917
+918
+919
+920
+921
+922
+923
+924
+925
+926
+927
+928
+929
+930
+931
+932
+933
+934
+935
+936
+937
+938
+939
+940
+941
+942
+943
+944
+945
+946
+947
+948
+949
+950
+951
+952
+953
+954
+955
+956
+957
+958
+959
+960
+961
+962
+963
+964
+965
+966
+967
+968
+969
+970
+971
+972
+973
+974
+975
+976
+977
+978
+979
+980
+981
+982</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 670</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 790</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_headtail_with_tail'>unify_headtail_with_tail</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
   <span class='comment'># -- Validate Arrays --
@@ -3293,19 +3760,23 @@
   <span class='comment'># -- Variablise Arrays --
 </span>  <span class='id identifier rubyid_arrays'>arrays</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='period'>.</span><span class='id identifier rubyid_zip'>zip</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_goal'>goal</span><span class='comma'>,</span> <span class='id identifier rubyid_array'>array</span><span class='op'>|</span>
-    <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span>
+    <span class='kw'>if</span> <span class='id identifier rubyid_array'>array</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span>
+      <span class='id identifier rubyid_array'>array</span>
+    <span class='kw'>else</span>
+      <span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span>
+    <span class='kw'>end</span>
   <span class='kw'>end</span>
   <span class='comment'># -- Determine the fixed length (if any) --
 </span>  <span class='id identifier rubyid_fixed_length'>fixed_length</span> <span class='op'>=</span> <span class='kw'>nil</span>
   <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span>
-    <span class='kw'>unless</span> <span class='id identifier rubyid_has_tail?'>has_tail?</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span>
-      <span class='id identifier rubyid_array_length'>array_length</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span>
-      <span class='id identifier rubyid_fixed_length'>fixed_length</span> <span class='op'>||=</span> <span class='id identifier rubyid_array_length'>array_length</span>
-      <span class='kw'>unless</span> <span class='id identifier rubyid_fixed_length'>fixed_length</span> <span class='op'>==</span> <span class='id identifier rubyid_array_length'>array_length</span>
-        <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_log'>log</span> <span class='op'>&lt;&lt;</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> because it has a different length from </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_fixed_length'>fixed_length</span><span class='embexpr_end'>}</span><span class='tstring_end'>&quot;</span></span>
-        <span class='kw'>return</span> <span class='kw'>nil</span>
-      <span class='kw'>end</span>
+    <span class='kw'>next</span> <span class='kw'>if</span> <span class='id identifier rubyid_has_tail?'>has_tail?</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span>
+    <span class='id identifier rubyid_array_length'>array_length</span> <span class='op'>=</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span>
+    <span class='id identifier rubyid_fixed_length'>fixed_length</span> <span class='op'>||=</span> <span class='id identifier rubyid_array_length'>array_length</span>
+    <span class='kw'>unless</span> <span class='id identifier rubyid_fixed_length'>fixed_length</span> <span class='op'>==</span> <span class='id identifier rubyid_array_length'>array_length</span>
+      <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span><span class='period'>.</span><span class='id identifier rubyid_log'>log</span> <span class='op'>&lt;&lt;</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='period'>.</span><span class='id identifier rubyid_inspect'>inspect</span><span class='embexpr_end'>}</span><span class='tstring_content'> because it has a different length from </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_fixed_length'>fixed_length</span><span class='embexpr_end'>}</span><span class='tstring_end'>&quot;</span></span>
+      <span class='kw'>return</span> <span class='kw'>nil</span>
     <span class='kw'>end</span>
   <span class='kw'>end</span>
@@ -3314,7 +3785,7 @@
   <span class='comment'># -- Unify All HeadTail Arrays --
 </span>  <span class='kw'>if</span> <span class='id identifier rubyid_headtail_arrays'>headtail_arrays</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&gt;</span> <span class='int'>1</span>
-    <span class='id identifier rubyid_headtail_goals'>headtail_goals</span> <span class='op'>=</span> <span class='id identifier rubyid_headtail_arrays'>headtail_arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span> <span class='rbrace'>}</span>
+    <span class='id identifier rubyid_headtail_goals'>headtail_goals</span> <span class='op'>=</span> <span class='id identifier rubyid_headtail_arrays'>headtail_arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:goal</span><span class='rparen'>)</span>
     <span class='id identifier rubyid_merged_headtails'>merged_headtails</span><span class='comma'>,</span> <span class='id identifier rubyid_headtail_unifications'>headtail_unifications</span> <span class='op'>=</span> <span class='id identifier rubyid_unify_headtail_with_headtail'>unify_headtail_with_headtail</span><span class='lparen'>(</span><span class='id identifier rubyid_headtail_arrays'>headtail_arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_headtail_goals'>headtail_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
     <span class='kw'>unless</span> <span class='id identifier rubyid_merged_headtails'>merged_headtails</span>
       <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Could not unify headtail arrays: </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_headtail_arrays'>headtail_arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:value</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:inspect</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_join'>join</span><span class='lparen'>(</span><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'> with </span><span class='tstring_end'>&#39;</span></span><span class='rparen'>)</span><span class='embexpr_end'>}</span><span class='tstring_end'>&quot;</span></span>
@@ -3335,7 +3806,7 @@
   <span class='comment'># -- Unify All Tail Arrays --
 </span>  <span class='kw'>if</span> <span class='id identifier rubyid_tail_arrays'>tail_arrays</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>&gt;</span> <span class='int'>1</span>
-    <span class='id identifier rubyid_tail_goals'>tail_goals</span> <span class='op'>=</span> <span class='id identifier rubyid_tail_arrays'>tail_arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span> <span class='rbrace'>}</span>
+    <span class='id identifier rubyid_tail_goals'>tail_goals</span> <span class='op'>=</span> <span class='id identifier rubyid_tail_arrays'>tail_arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:goal</span><span class='rparen'>)</span>
     <span class='id identifier rubyid_merged_tails'>merged_tails</span><span class='comma'>,</span> <span class='id identifier rubyid_tail_unifications'>tail_unifications</span> <span class='op'>=</span> <span class='id identifier rubyid_unify_tail_with_tail'>unify_tail_with_tail</span><span class='lparen'>(</span><span class='id identifier rubyid_tail_arrays'>tail_arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_tail_goals'>tail_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
     <span class='kw'>return</span> <span class='kw'>nil</span> <span class='kw'>unless</span> <span class='id identifier rubyid_merged_tails'>merged_tails</span>
     <span class='id identifier rubyid_unifications'>unifications</span> <span class='op'>+=</span> <span class='id identifier rubyid_tail_unifications'>tail_unifications</span>
@@ -3423,7 +3894,7 @@
       <span class='kw'>case</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span>
         <span class='kw'>when</span> <span class='symbol'>:atomic</span>
           <span class='int'>0</span>
-        <span class='kw'>when</span> <span class='symbol'>:array</span>
+        <span class='kw'>when</span> <span class='symbol'>:array</span><span class='comma'>,</span> <span class='symbol'>:tail</span>
           <span class='kw'>if</span> <span class='lbracket'>[</span><span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span><span class='comma'>,</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_include?'>include?</span><span class='lparen'>(</span><span class='id identifier rubyid_element'>element</span><span class='rparen'>)</span>
             <span class='int'>3</span>
           <span class='kw'>else</span>
@@ -3584,38 +4055,42 @@
       <pre class="lines">
-297
-298
-299
-300
-301
-302
-303
-304
-305
-306
-307
-308
-309
-310
-311
-312
-313
-314
-315
-316
-317
-318
-319
-320
-321
-322</pre>
+420
+421
+422
+423
+424
+425
+426
+427
+428
+429
+430
+431
+432
+433
+434
+435
+436
+437
+438
+439
+440
+441
+442
+443
+444
+445
+446
+447</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 297</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 420</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_many_arrays'>unify_many_arrays</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rparen'>)</span>
-  <span class='id identifier rubyid_arrays_values'>arrays_values</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_expand_splat'>expand_splat</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span> <span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span> <span class='op'>?</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_element'>element</span><span class='op'>|</span> <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span> <span class='rbrace'>}</span> <span class='op'>:</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span> <span class='rbrace'>}</span>
+  <span class='id identifier rubyid_arrays_values'>arrays_values</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span>
+    <span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_expand_splat'>expand_splat</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span> <span class='rbrace'>}</span><span class='period'>.</span>
+    <span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span><span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Array.html" title="Array (class)">Array</a></span></span><span class='rparen'>)</span> <span class='op'>?</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:value</span><span class='rparen'>)</span> <span class='op'>:</span> <span class='id identifier rubyid_array'>array</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span> <span class='rbrace'>}</span>
   <span class='kw'>unless</span> <span class='id identifier rubyid_arrays_values'>arrays_values</span><span class='period'>.</span><span class='id identifier rubyid_all?'>all?</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array_values'>array_values</span><span class='op'>|</span> <span class='lbracket'>[</span><span class='symbol'>:array</span><span class='comma'>,</span><span class='symbol'>:variable</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_include?'>include?</span><span class='lparen'>(</span><span class='id identifier rubyid_array_values'>array_values</span><span class='period'>.</span><span class='id identifier rubyid_type'>type</span><span class='rparen'>)</span> <span class='rbrace'>}</span>
     <span class='id identifier rubyid_msg'>msg</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Cannot unify: </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:inspect</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_join'>join</span><span class='lparen'>(</span><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'> with </span><span class='tstring_end'>&#39;</span></span><span class='rparen'>)</span><span class='embexpr_end'>}</span><span class='tstring_end'>&quot;</span></span>
@@ -3623,7 +4098,7 @@
     <span class='kw'>return</span> <span class='kw'>nil</span>
   <span class='kw'>end</span>
-  <span class='comment'># TODO: Fix
+  <span class='comment'># TODO: Fix / improve
 </span>  <span class='kw'>if</span> <span class='id identifier rubyid_arrays_values'>arrays_values</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span> <span class='op'>==</span> <span class='int'>2</span> <span class='op'>&amp;&amp;</span> <span class='id identifier rubyid_arrays_values'>arrays_values</span><span class='period'>.</span><span class='id identifier rubyid_any?'>any?</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span> <span class='rbrace'>}</span>
     <span class='id identifier rubyid_merged'>merged</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays_values'>arrays_values</span><span class='period'>.</span><span class='id identifier rubyid_reject'>reject</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_array'>array</span> <span class='op'>==</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_ARRAY-constant" title="Porolog::UNKNOWN_ARRAY (constant)">UNKNOWN_ARRAY</a></span></span> <span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span>
     <span class='kw'>return</span> <span class='lbracket'>[</span><span class='id identifier rubyid_merged'>merged</span><span class='comma'>,</span><span class='lbracket'>[</span><span class='rbracket'>]</span><span class='rbracket'>]</span>
@@ -3632,7 +4107,7 @@
   <span class='id identifier rubyid_number_of_arrays'>number_of_arrays</span> <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span>
   <span class='id identifier rubyid_number_of_tails'>number_of_tails</span>  <span class='op'>=</span> <span class='id identifier rubyid_arrays'>arrays</span><span class='period'>.</span><span class='id identifier rubyid_count'>count</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_array'>array</span><span class='op'>|</span> <span class='id identifier rubyid_has_tail?'>has_tail?</span><span class='lparen'>(</span><span class='id identifier rubyid_array'>array</span><span class='rparen'>)</span> <span class='rbrace'>}</span>
-  <span class='kw'>if</span> <span class='id identifier rubyid_number_of_tails'>number_of_tails</span> <span class='op'>==</span> <span class='int'>0</span>
+  <span class='kw'>if</span> <span class='id identifier rubyid_number_of_tails'>number_of_tails</span><span class='period'>.</span><span class='id identifier rubyid_zero?'>zero?</span>
     <span class='id identifier rubyid_unify_arrays_with_no_tails'>unify_arrays_with_no_tails</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
   <span class='kw'>elsif</span> <span class='id identifier rubyid_number_of_tails'>number_of_tails</span> <span class='op'>==</span> <span class='id identifier rubyid_number_of_arrays'>number_of_arrays</span>
     <span class='id identifier rubyid_unify_arrays_with_all_tails'>unify_arrays_with_all_tails</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
@@ -3755,92 +4230,90 @@
       <pre class="lines">
-580
-581
-582
-583
-584
-585
-586
-587
-588
-589
-590
-591
-592
-593
-594
-595
-596
-597
-598
-599
-600
-601
-602
-603
-604
-605
-606
-607
-608
-609
-610
-611
-612
-613
-614
-615
-616
-617
-618
-619
-620
-621
-622
-623
-624
-625
-626
-627
-628
-629
-630
-631
-632
-633
-634
-635
-636
-637
-638
-639
-640
-641
-642
-643
-644
-645
-646
-647
-648
-649
-650
-651
-652
-653
-654
-655
-656
-657
-658
-659
-660
-661
-662</pre>
+702
+703
+704
+705
+706
+707
+708
+709
+710
+711
+712
+713
+714
+715
+716
+717
+718
+719
+720
+721
+722
+723
+724
+725
+726
+727
+728
+729
+730
+731
+732
+733
+734
+735
+736
+737
+738
+739
+740
+741
+742
+743
+744
+745
+746
+747
+748
+749
+750
+751
+752
+753
+754
+755
+756
+757
+758
+759
+760
+761
+762
+763
+764
+765
+766
+767
+768
+769
+770
+771
+772
+773
+774
+775
+776
+777
+778
+779
+780
+781
+782</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 580</span>
+      <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 702</span>
 <span class='kw'>def</span> <span class='id identifier rubyid_unify_tail_with_tail'>unify_tail_with_tail</span><span class='lparen'>(</span><span class='id identifier rubyid_arrays'>arrays</span><span class='comma'>,</span> <span class='id identifier rubyid_arrays_goals'>arrays_goals</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
   <span class='comment'># -- Validate Arrays --
@@ -3880,10 +4353,8 @@
         <span class='id identifier rubyid_first_goal'>first_goal</span> <span class='op'>=</span> <span class='id identifier rubyid_pair'>pair</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span> <span class='kw'>if</span> <span class='id identifier rubyid_pair'>pair</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_respond_to?'>respond_to?</span><span class='lparen'>(</span><span class='symbol'>:goal</span><span class='rparen'>)</span>
         <span class='id identifier rubyid_last_goal'>last_goal</span>  <span class='op'>=</span> <span class='id identifier rubyid_pair'>pair</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_goal'>goal</span>  <span class='kw'>if</span> <span class='id identifier rubyid_pair'>pair</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_respond_to?'>respond_to?</span><span class='lparen'>(</span><span class='symbol'>:goal</span><span class='rparen'>)</span>
         <span class='id identifier rubyid_m'>m</span><span class='comma'>,</span><span class='id identifier rubyid_u'>u</span> <span class='op'>=</span> <span class='id identifier rubyid_unify_arrays'>unify_arrays</span><span class='lparen'>(</span><span class='id identifier rubyid_first_goal'>first_goal</span><span class='period'>.</span><span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='lbracket'>[</span><span class='id identifier rubyid_pair'>pair</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='rbracket'>]</span><span class='rparen'>)</span><span class='comma'>,</span> <span class='id identifier rubyid_last_goal'>last_goal</span><span class='period'>.</span><span class='id identifier rubyid_variablise'>variablise</span><span class='lparen'>(</span><span class='lbracket'>[</span><span class='id identifier rubyid_pair'>pair</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='rbracket'>]</span><span class='rparen'>)</span><span class='comma'>,</span> <span class='id identifier rubyid_first_goal'>first_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_last_goal'>last_goal</span><span class='comma'>,</span> <span class='id identifier rubyid_visited'>visited</span><span class='rparen'>)</span>
-        <span class='kw'>unless</span> <span class='id identifier rubyid_m'>m</span>
-          <span class='kw'>return</span> <span class='kw'>nil</span>
-        <span class='kw'>end</span>
-        <span class='id identifier rubyid_m'>m</span><span class='lbracket'>[</span><span class='op'>-</span><span class='int'>1</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span> <span class='kw'>if</span> <span class='id identifier rubyid_m'>m</span><span class='lbracket'>[</span><span class='op'>-</span><span class='int'>1</span><span class='rbracket'>]</span> <span class='op'>==</span> <span class='kw'>nil</span>
+        <span class='kw'>return</span> <span class='kw'>nil</span> <span class='kw'>unless</span> <span class='id identifier rubyid_m'>m</span>
+        <span class='id identifier rubyid_m'>m</span><span class='lbracket'>[</span><span class='op'>-</span><span class='int'>1</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='const'><span class='object_link'><a href="#UNKNOWN_TAIL-constant" title="Porolog::UNKNOWN_TAIL (constant)">UNKNOWN_TAIL</a></span></span> <span class='kw'>if</span> <span class='id identifier rubyid_m'>m</span><span class='lbracket'>[</span><span class='op'>-</span><span class='int'>1</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_nil?'>nil?</span>
         <span class='id identifier rubyid_merged_tails'>merged_tails</span> <span class='op'>+=</span> <span class='id identifier rubyid_m'>m</span>
         <span class='id identifier rubyid_unifications'>unifications</span> <span class='op'>+=</span> <span class='id identifier rubyid_u'>u</span>
       <span class='kw'>end</span>
@@ -3935,7 +4406,7 @@
 </div>
       <div id="footer">
-  Generated on Mon Jul  6 22:54:45 2020 by
+  Generated on Sun Aug  2 19:24:16 2020 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.19 (ruby-2.6.5).
 </div>