porolog 1.0.2 → 1.0.3

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 (32) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +22 -13
  3. data/coverage/index.html +4564 -4552
  4. data/doc/Array.html +9 -9
  5. data/doc/Object.html +1 -1
  6. data/doc/Porolog.html +77 -67
  7. data/doc/Symbol.html +1 -1
  8. data/doc/_index.html +1 -1
  9. data/doc/file.README.html +22 -14
  10. data/doc/index.html +22 -14
  11. data/doc/top-level-namespace.html +1 -1
  12. data/lib/porolog.rb +4 -2
  13. data/lib/porolog/core_ext.rb +8 -8
  14. data/lib/porolog/goal.rb +2 -2
  15. data/lib/porolog/predicate/builtin.rb +34 -34
  16. data/lib/porolog/rule.rb +1 -1
  17. data/lib/porolog/variable.rb +7 -7
  18. data/test/porolog/arguments_test.rb +73 -73
  19. data/test/porolog/core_ext_test.rb +39 -39
  20. data/test/porolog/goal_test.rb +72 -72
  21. data/test/porolog/instantiation_test.rb +153 -153
  22. data/test/porolog/porolog_test.rb +272 -270
  23. data/test/porolog/predicate/builtin_test.rb +166 -166
  24. data/test/porolog/predicate_test.rb +85 -85
  25. data/test/porolog/rule_test.rb +69 -69
  26. data/test/porolog/scope_test.rb +89 -89
  27. data/test/porolog/tail_test.rb +23 -23
  28. data/test/porolog/value_test.rb +32 -34
  29. data/test/porolog/variable_test.rb +120 -120
  30. data/test/samples_test.rb +11 -11
  31. data/test/test_helper.rb +56 -61
  32. metadata +2 -2
data/doc/Array.html CHANGED
@@ -427,7 +427,7 @@
427
427
 
428
428
  <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>
429
429
  <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>
430
- <span class='kw'>self</span> <span class='op'>+</span> <span class='lbracket'>[</span><span class='const'>Tail</span><span class='period'>.</span><span class='id identifier rubyid_new'>new</span><span class='lparen'>(</span><span class='id identifier rubyid_other'>other</span><span class='rparen'>)</span><span class='rbracket'>]</span>
430
+ <span class='kw'>self</span> <span class='op'>+</span> <span class='lbracket'>[</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/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="Porolog/Tail.html#initialize-instance_method" title="Porolog::Tail#initialize (method)">new</a></span></span><span class='lparen'>(</span><span class='id identifier rubyid_other'>other</span><span class='rparen'>)</span><span class='rbracket'>]</span>
431
431
  <span class='kw'>else</span>
432
432
  <span class='kw'>self</span> <span class='op'>+</span> <span class='lbracket'>[</span><span class='op'>*</span><span class='id identifier rubyid_other'>other</span><span class='rbracket'>]</span>
433
433
  <span class='kw'>end</span>
@@ -502,9 +502,9 @@
502
502
  <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>
503
503
  <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>
504
504
  <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_clean'>clean</span>
505
- <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>
506
- <span class='const'>UNKNOWN_TAIL</span>
507
- <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>
505
+ <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'><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/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='rparen'>)</span>
506
+ <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>
507
+ <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'><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>
508
508
  <span class='kw'>nil</span>
509
509
  <span class='kw'>else</span>
510
510
  <span class='id identifier rubyid_element'>element</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span>
@@ -724,7 +724,7 @@
724
724
  <pre class="code"><span class="info file"># File 'lib/porolog/core_ext.rb', line 179</span>
725
725
 
726
726
  <span class='kw'>def</span> <span class='id identifier rubyid_headtail?'>headtail?</span>
727
- <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>
727
+ <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'><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/Tail.html" title="Porolog::Tail (class)">Tail</a></span></span><span class='rparen'>)</span> <span class='op'>||</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><span class='rparen'>)</span>
728
728
  <span class='kw'>end</span></pre>
729
729
  </td>
730
730
  </tr>
@@ -961,15 +961,15 @@
961
961
  <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>
962
962
  <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>
963
963
  <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>
964
- <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>
964
+ <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="Porolog.html" title="Porolog (module)">Porolog</a></span></span><span class='op'>::</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>
965
965
  <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>
966
966
  <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>
967
967
  <span class='id identifier rubyid_tail'>tail</span>
968
- <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>
968
+ <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'><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_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="Porolog.html" title="Porolog (module)">Porolog</a></span></span><span class='op'>::</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>
969
969
  <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>
970
970
  <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>
971
971
  <span class='id identifier rubyid_tail'>tail</span>
972
- <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>
972
+ <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'><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_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="Porolog.html" title="Porolog (module)">Porolog</a></span></span><span class='op'>::</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>
973
973
  <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>
974
974
  <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>
975
975
  <span class='id identifier rubyid_tail'>tail</span>
@@ -1056,7 +1056,7 @@
1056
1056
  </div>
1057
1057
 
1058
1058
  <div id="footer">
1059
- Generated on Sat Aug 8 08:28:24 2020 by
1059
+ Generated on Thu Aug 13 22:35:32 2020 by
1060
1060
  <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
1061
1061
  0.9.19 (ruby-2.6.5).
1062
1062
  </div>
data/doc/Object.html CHANGED
@@ -664,7 +664,7 @@
664
664
  </div>
665
665
 
666
666
  <div id="footer">
667
- Generated on Sat Aug 8 08:28:24 2020 by
667
+ Generated on Thu Aug 13 22:35:32 2020 by
668
668
  <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
669
669
  0.9.19 (ruby-2.6.5).
670
670
  </div>
data/doc/Porolog.html CHANGED
@@ -69,11 +69,21 @@
69
69
 
70
70
 
71
71
 
72
+ <dl>
73
+ <dt>Extended by:</dt>
74
+ <dd><span class='object_link'><a href="" title="Porolog (module)">Porolog</a></span></dd>
75
+ </dl>
76
+
72
77
 
73
78
 
74
79
 
75
80
 
76
81
 
82
+ <dl>
83
+ <dt>Included in:</dt>
84
+ <dd><span class='object_link'><a href="" title="Porolog (module)">Porolog</a></span></dd>
85
+ </dl>
86
+
77
87
 
78
88
 
79
89
  <dl>
@@ -133,7 +143,7 @@
133
143
 
134
144
  </div>
135
145
  </dt>
136
- <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>1.0.1</span><span class='tstring_end'>&#39;</span></span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
146
+ <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>1.0.3</span><span class='tstring_end'>&#39;</span></span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
137
147
 
138
148
  <dt id="VERSION_DATE-constant" class="">VERSION_DATE =
139
149
  <div class="docstring">
@@ -149,7 +159,7 @@
149
159
 
150
160
  </div>
151
161
  </dt>
152
- <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>2020-08-06</span><span class='tstring_end'>&#39;</span></span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
162
+ <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>2020-08-13</span><span class='tstring_end'>&#39;</span></span><span class='period'>.</span><span class='id identifier rubyid_freeze'>freeze</span></pre></dd>
153
163
 
154
164
  <dt id="UNKNOWN_TAIL-constant" class="">UNKNOWN_TAIL =
155
165
  <div class="docstring">
@@ -659,14 +669,14 @@
659
669
  <pre class="lines">
660
670
 
661
671
 
662
- 128
663
- 129
664
672
  130
665
673
  131
666
- 132</pre>
674
+ 132
675
+ 133
676
+ 134</pre>
667
677
  </td>
668
678
  <td>
669
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 128</span>
679
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 130</span>
670
680
 
671
681
  <span class='kw'>def</span> <span class='id identifier rubyid_anonymous'>anonymous</span>
672
682
  <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>
@@ -781,8 +791,6 @@
781
791
  <pre class="lines">
782
792
 
783
793
 
784
- 89
785
- 90
786
794
  91
787
795
  92
788
796
  93
@@ -817,10 +825,12 @@
817
825
  122
818
826
  123
819
827
  124
820
- 125</pre>
828
+ 125
829
+ 126
830
+ 127</pre>
821
831
  </td>
822
832
  <td>
823
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 89</span>
833
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 91</span>
824
834
 
825
835
  <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>
826
836
  <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>
@@ -928,8 +938,6 @@
928
938
  <pre class="lines">
929
939
 
930
940
 
931
- 464
932
- 465
933
941
  466
934
942
  467
935
943
  468
@@ -942,10 +950,12 @@
942
950
  475
943
951
  476
944
952
  477
945
- 478</pre>
953
+ 478
954
+ 479
955
+ 480</pre>
946
956
  </td>
947
957
  <td>
948
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 464</span>
958
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 466</span>
949
959
 
950
960
  <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>
951
961
  <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>
@@ -1031,18 +1041,18 @@
1031
1041
  <pre class="lines">
1032
1042
 
1033
1043
 
1034
- 451
1035
- 452
1036
1044
  453
1037
1045
  454
1038
1046
  455
1039
1047
  456
1040
1048
  457
1041
1049
  458
1042
- 459</pre>
1050
+ 459
1051
+ 460
1052
+ 461</pre>
1043
1053
  </td>
1044
1054
  <td>
1045
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 451</span>
1055
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 453</span>
1046
1056
 
1047
1057
  <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>
1048
1058
  <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>
@@ -1122,8 +1132,6 @@
1122
1132
  <pre class="lines">
1123
1133
 
1124
1134
 
1125
- 164
1126
- 165
1127
1135
  166
1128
1136
  167
1129
1137
  168
@@ -1186,10 +1194,12 @@
1186
1194
  225
1187
1195
  226
1188
1196
  227
1189
- 228</pre>
1197
+ 228
1198
+ 229
1199
+ 230</pre>
1190
1200
  </td>
1191
1201
  <td>
1192
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 164</span>
1202
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 166</span>
1193
1203
 
1194
1204
  <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>
1195
1205
  <span class='comment'># -- Gather Unifications --
@@ -1364,8 +1374,6 @@
1364
1374
  <pre class="lines">
1365
1375
 
1366
1376
 
1367
- 55
1368
- 56
1369
1377
  57
1370
1378
  58
1371
1379
  59
@@ -1386,10 +1394,12 @@
1386
1394
  74
1387
1395
  75
1388
1396
  76
1389
- 77</pre>
1397
+ 77
1398
+ 78
1399
+ 79</pre>
1390
1400
  </td>
1391
1401
  <td>
1392
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 55</span>
1402
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 57</span>
1393
1403
 
1394
1404
  <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>
1395
1405
  <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>
@@ -1565,8 +1575,6 @@
1565
1575
  <pre class="lines">
1566
1576
 
1567
1577
 
1568
- 238
1569
- 239
1570
1578
  240
1571
1579
  241
1572
1580
  242
@@ -1701,10 +1709,12 @@
1701
1709
  371
1702
1710
  372
1703
1711
  373
1704
- 374</pre>
1712
+ 374
1713
+ 375
1714
+ 376</pre>
1705
1715
  </td>
1706
1716
  <td>
1707
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 238</span>
1717
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 240</span>
1708
1718
 
1709
1719
  <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>
1710
1720
  <span class='id identifier rubyid_right_goal'>right_goal</span> <span class='op'>||=</span> <span class='id identifier rubyid_left_goal'>left_goal</span>
@@ -1994,8 +2004,6 @@
1994
2004
  <pre class="lines">
1995
2005
 
1996
2006
 
1997
- 384
1998
- 385
1999
2007
  386
2000
2008
  387
2001
2009
  388
@@ -2022,10 +2030,12 @@
2022
2030
  409
2023
2031
  410
2024
2032
  411
2025
- 412</pre>
2033
+ 412
2034
+ 413
2035
+ 414</pre>
2026
2036
  </td>
2027
2037
  <td>
2028
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 384</span>
2038
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 386</span>
2029
2039
 
2030
2040
  <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>
2031
2041
  <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>
@@ -2171,8 +2181,6 @@
2171
2181
  <pre class="lines">
2172
2182
 
2173
2183
 
2174
- 656
2175
- 657
2176
2184
  658
2177
2185
  659
2178
2186
  660
@@ -2209,10 +2217,12 @@
2209
2217
  691
2210
2218
  692
2211
2219
  693
2212
- 694</pre>
2220
+ 694
2221
+ 695
2222
+ 696</pre>
2213
2223
  </td>
2214
2224
  <td>
2215
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 656</span>
2225
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 658</span>
2216
2226
 
2217
2227
  <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>
2218
2228
  <span class='comment'># -- All tails --
@@ -2368,8 +2378,6 @@
2368
2378
  <pre class="lines">
2369
2379
 
2370
2380
 
2371
- 486
2372
- 487
2373
2381
  488
2374
2382
  489
2375
2383
  490
@@ -2530,10 +2538,12 @@
2530
2538
  645
2531
2539
  646
2532
2540
  647
2533
- 648</pre>
2541
+ 648
2542
+ 649
2543
+ 650</pre>
2534
2544
  </td>
2535
2545
  <td>
2536
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 486</span>
2546
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 488</span>
2537
2547
 
2538
2548
  <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>
2539
2549
  <span class='comment'># -- Validate Arrays --
@@ -2813,8 +2823,6 @@
2813
2823
  <pre class="lines">
2814
2824
 
2815
2825
 
2816
- 1051
2817
- 1052
2818
2826
  1053
2819
2827
  1054
2820
2828
  1055
@@ -2930,10 +2938,12 @@
2930
2938
  1165
2931
2939
  1166
2932
2940
  1167
2933
- 1168</pre>
2941
+ 1168
2942
+ 1169
2943
+ 1170</pre>
2934
2944
  </td>
2935
2945
  <td>
2936
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 1051</span>
2946
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 1053</span>
2937
2947
 
2938
2948
  <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>
2939
2949
  <span class='comment'># -- Variablise Arrays --
@@ -3166,8 +3176,6 @@
3166
3176
  <pre class="lines">
3167
3177
 
3168
3178
 
3169
- 142
3170
- 143
3171
3179
  144
3172
3180
  145
3173
3181
  146
@@ -3183,10 +3191,12 @@
3183
3191
  156
3184
3192
  157
3185
3193
  158
3186
- 159</pre>
3194
+ 159
3195
+ 160
3196
+ 161</pre>
3187
3197
  </td>
3188
3198
  <td>
3189
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 142</span>
3199
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 144</span>
3190
3200
 
3191
3201
  <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>
3192
3202
  <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>
@@ -3321,8 +3331,6 @@
3321
3331
  <pre class="lines">
3322
3332
 
3323
3333
 
3324
- 990
3325
- 991
3326
3334
  992
3327
3335
  993
3328
3336
  994
@@ -3374,10 +3382,12 @@
3374
3382
  1040
3375
3383
  1041
3376
3384
  1042
3377
- 1043</pre>
3385
+ 1043
3386
+ 1044
3387
+ 1045</pre>
3378
3388
  </td>
3379
3389
  <td>
3380
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 990</span>
3390
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 992</span>
3381
3391
 
3382
3392
  <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>
3383
3393
  <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>
@@ -3548,8 +3558,6 @@
3548
3558
  <pre class="lines">
3549
3559
 
3550
3560
 
3551
- 790
3552
- 791
3553
3561
  792
3554
3562
  793
3555
3563
  794
@@ -3740,10 +3748,12 @@
3740
3748
  979
3741
3749
  980
3742
3750
  981
3743
- 982</pre>
3751
+ 982
3752
+ 983
3753
+ 984</pre>
3744
3754
  </td>
3745
3755
  <td>
3746
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 790</span>
3756
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 792</span>
3747
3757
 
3748
3758
  <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>
3749
3759
  <span class='comment'># -- Validate Arrays --
@@ -4055,8 +4065,6 @@
4055
4065
  <pre class="lines">
4056
4066
 
4057
4067
 
4058
- 420
4059
- 421
4060
4068
  422
4061
4069
  423
4062
4070
  424
@@ -4082,10 +4090,12 @@
4082
4090
  444
4083
4091
  445
4084
4092
  446
4085
- 447</pre>
4093
+ 447
4094
+ 448
4095
+ 449</pre>
4086
4096
  </td>
4087
4097
  <td>
4088
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 420</span>
4098
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 422</span>
4089
4099
 
4090
4100
  <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>
4091
4101
  <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>
@@ -4230,8 +4240,6 @@
4230
4240
  <pre class="lines">
4231
4241
 
4232
4242
 
4233
- 702
4234
- 703
4235
4243
  704
4236
4244
  705
4237
4245
  706
@@ -4310,10 +4318,12 @@
4310
4318
  779
4311
4319
  780
4312
4320
  781
4313
- 782</pre>
4321
+ 782
4322
+ 783
4323
+ 784</pre>
4314
4324
  </td>
4315
4325
  <td>
4316
- <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 702</span>
4326
+ <pre class="code"><span class="info file"># File 'lib/porolog.rb', line 704</span>
4317
4327
 
4318
4328
  <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>
4319
4329
  <span class='comment'># -- Validate Arrays --
@@ -4406,7 +4416,7 @@
4406
4416
  </div>
4407
4417
 
4408
4418
  <div id="footer">
4409
- Generated on Sat Aug 8 08:28:23 2020 by
4419
+ Generated on Thu Aug 13 22:35:31 2020 by
4410
4420
  <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
4411
4421
  0.9.19 (ruby-2.6.5).
4412
4422
  </div>