porolog 1.0.1 → 1.0.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/coverage/index.html +151 -133
- data/doc/Array.html +1 -1
- data/doc/Object.html +1 -1
- data/doc/Porolog.html +1 -1
- data/doc/Symbol.html +1 -1
- data/doc/_index.html +1 -1
- data/doc/file.README.html +1 -1
- data/doc/index.html +1 -1
- data/doc/top-level-namespace.html +1 -1
- data/lib/porolog.rb +2 -2
- data/lib/porolog/predicate.rb +4 -1
- metadata +2 -2
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 652588b8662008863d59907af8b6d3f5d1721ee8f00f7fa199d7e8bf34886281
|
4
|
+
data.tar.gz: 45948cb94c5b7658a45f000af03495deba88effcebf404d124eea0c799b84494
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: ed2222f2c4f50d651d78430a508730eaa2d15fbfd7b8f1fc19c84d3da859fe60d81cd4a30288a7d100b54d4e8f38d90365d8009f0576542cbf6040cee6ac8545
|
7
|
+
data.tar.gz: 36620dbbe18f0fe5f5fdaf70d344cf516b13d4e562704d5b9418f7f5af973f78db4d3663158d61dad73c147026b72fa46e1b65d97c5739d6fc4c930931599a93
|
data/coverage/index.html
CHANGED
@@ -14,7 +14,7 @@
|
|
14
14
|
<img src="./assets/0.10.2/loading.gif" alt="loading"/>
|
15
15
|
</div>
|
16
16
|
<div id="wrapper" style="display:none;">
|
17
|
-
<div class="timestamp">Generated <abbr class="timeago" title="2020-08-
|
17
|
+
<div class="timestamp">Generated <abbr class="timeago" title="2020-08-08T08:28:15+10:00">2020-08-08T08:28:15+10:00</abbr></div>
|
18
18
|
<ul class="group_tabs"></ul>
|
19
19
|
|
20
20
|
<div id="content">
|
@@ -25,7 +25,7 @@
|
|
25
25
|
covered at
|
26
26
|
<span class="covered_strength">
|
27
27
|
<span class="green">
|
28
|
-
17764.
|
28
|
+
17764.41
|
29
29
|
</span>
|
30
30
|
</span> hits/line)
|
31
31
|
</h2>
|
@@ -97,7 +97,7 @@
|
|
97
97
|
<td>146</td>
|
98
98
|
<td>146</td>
|
99
99
|
<td>0</td>
|
100
|
-
<td>14712.
|
100
|
+
<td>14712.8</td>
|
101
101
|
</tr>
|
102
102
|
|
103
103
|
<tr>
|
@@ -113,7 +113,7 @@
|
|
113
113
|
<tr>
|
114
114
|
<td class="strong"><a href="#6a9b9f605540e91937c2e20600638e425bfd765f" class="src_link" title="lib/porolog/predicate.rb">lib/porolog/predicate.rb</a></td>
|
115
115
|
<td class="green strong">100.0 %</td>
|
116
|
-
<td>
|
116
|
+
<td>181</td>
|
117
117
|
<td>60</td>
|
118
118
|
<td>60</td>
|
119
119
|
<td>0</td>
|
@@ -10570,14 +10570,14 @@
|
|
10570
10570
|
<code class="ruby"> def deleted?</code>
|
10571
10571
|
</li>
|
10572
10572
|
|
10573
|
-
<li class="covered" data-hits="
|
10574
|
-
<span class="hits">
|
10573
|
+
<li class="covered" data-hits="7415" data-linenumber="125">
|
10574
|
+
<span class="hits">7415</span>
|
10575
10575
|
|
10576
10576
|
<code class="ruby"> @deleted ||= check_deleted</code>
|
10577
10577
|
</li>
|
10578
10578
|
|
10579
|
-
<li class="covered" data-hits="
|
10580
|
-
<span class="hits">
|
10579
|
+
<li class="covered" data-hits="7415" data-linenumber="126">
|
10580
|
+
<span class="hits">7415</span>
|
10581
10581
|
|
10582
10582
|
<code class="ruby"> @deleted</code>
|
10583
10583
|
</li>
|
@@ -10612,8 +10612,8 @@
|
|
10612
10612
|
<code class="ruby"> def check_deleted</code>
|
10613
10613
|
</li>
|
10614
10614
|
|
10615
|
-
<li class="covered" data-hits="
|
10616
|
-
<span class="hits">
|
10615
|
+
<li class="covered" data-hits="7407" data-linenumber="132">
|
10616
|
+
<span class="hits">7407</span>
|
10617
10617
|
|
10618
10618
|
<code class="ruby"> return false if @@goals.include?(self)</code>
|
10619
10619
|
</li>
|
@@ -10624,20 +10624,20 @@
|
|
10624
10624
|
<code class="ruby"> </code>
|
10625
10625
|
</li>
|
10626
10626
|
|
10627
|
-
<li class="covered" data-hits="
|
10628
|
-
<span class="hits">
|
10627
|
+
<li class="covered" data-hits="7392" data-linenumber="134">
|
10628
|
+
<span class="hits">7392</span>
|
10629
10629
|
|
10630
10630
|
<code class="ruby"> @variables.delete_if do |_name,variable|</code>
|
10631
10631
|
</li>
|
10632
10632
|
|
10633
|
-
<li class="covered" data-hits="
|
10634
|
-
<span class="hits">
|
10633
|
+
<li class="covered" data-hits="31382" data-linenumber="135">
|
10634
|
+
<span class="hits">31382</span>
|
10635
10635
|
|
10636
10636
|
<code class="ruby"> variable.remove</code>
|
10637
10637
|
</li>
|
10638
10638
|
|
10639
|
-
<li class="covered" data-hits="
|
10640
|
-
<span class="hits">
|
10639
|
+
<li class="covered" data-hits="31382" data-linenumber="136">
|
10640
|
+
<span class="hits">31382</span>
|
10641
10641
|
|
10642
10642
|
<code class="ruby"> true</code>
|
10643
10643
|
</li>
|
@@ -10654,8 +10654,8 @@
|
|
10654
10654
|
<code class="ruby"> </code>
|
10655
10655
|
</li>
|
10656
10656
|
|
10657
|
-
<li class="covered" data-hits="
|
10658
|
-
<span class="hits">
|
10657
|
+
<li class="covered" data-hits="7392" data-linenumber="139">
|
10658
|
+
<span class="hits">7392</span>
|
10659
10659
|
|
10660
10660
|
<code class="ruby"> @values.delete_if do |_name,value|</code>
|
10661
10661
|
</li>
|
@@ -10684,8 +10684,8 @@
|
|
10684
10684
|
<code class="ruby"> </code>
|
10685
10685
|
</li>
|
10686
10686
|
|
10687
|
-
<li class="covered" data-hits="
|
10688
|
-
<span class="hits">
|
10687
|
+
<li class="covered" data-hits="7392" data-linenumber="144">
|
10688
|
+
<span class="hits">7392</span>
|
10689
10689
|
|
10690
10690
|
<code class="ruby"> true</code>
|
10691
10691
|
</li>
|
@@ -12545,14 +12545,14 @@
|
|
12545
12545
|
<code class="ruby"> def signature</code>
|
12546
12546
|
</li>
|
12547
12547
|
|
12548
|
-
<li class="covered" data-hits="
|
12549
|
-
<span class="hits">
|
12548
|
+
<li class="covered" data-hits="59863" data-linenumber="94">
|
12549
|
+
<span class="hits">59863</span>
|
12550
12550
|
|
12551
12551
|
<code class="ruby"> @signature ||= [@variable1, @index1, @variable2, @index2].freeze</code>
|
12552
12552
|
</li>
|
12553
12553
|
|
12554
|
-
<li class="covered" data-hits="
|
12555
|
-
<span class="hits">
|
12554
|
+
<li class="covered" data-hits="59863" data-linenumber="95">
|
12555
|
+
<span class="hits">59863</span>
|
12556
12556
|
|
12557
12557
|
<code class="ruby"> @signature</code>
|
12558
12558
|
</li>
|
@@ -12635,14 +12635,14 @@
|
|
12635
12635
|
<code class="ruby"> def remove</code>
|
12636
12636
|
</li>
|
12637
12637
|
|
12638
|
-
<li class="covered" data-hits="
|
12639
|
-
<span class="hits">
|
12638
|
+
<li class="covered" data-hits="29926" data-linenumber="109">
|
12639
|
+
<span class="hits">29926</span>
|
12640
12640
|
|
12641
12641
|
<code class="ruby"> @variable1.instantiations.delete(self) if @variable1.is_a?(Variable) || @variable1.is_a?(Value)</code>
|
12642
12642
|
</li>
|
12643
12643
|
|
12644
|
-
<li class="covered" data-hits="
|
12645
|
-
<span class="hits">
|
12644
|
+
<li class="covered" data-hits="29926" data-linenumber="110">
|
12645
|
+
<span class="hits">29926</span>
|
12646
12646
|
|
12647
12647
|
<code class="ruby"> @variable2.instantiations.delete(self) if @variable2.is_a?(Variable) || @variable2.is_a?(Value)</code>
|
12648
12648
|
</li>
|
@@ -12653,20 +12653,20 @@
|
|
12653
12653
|
<code class="ruby"> </code>
|
12654
12654
|
</li>
|
12655
12655
|
|
12656
|
-
<li class="covered" data-hits="
|
12657
|
-
<span class="hits">
|
12656
|
+
<li class="covered" data-hits="29926" data-linenumber="112">
|
12657
|
+
<span class="hits">29926</span>
|
12658
12658
|
|
12659
12659
|
<code class="ruby"> @deleted = true</code>
|
12660
12660
|
</li>
|
12661
12661
|
|
12662
|
-
<li class="covered" data-hits="
|
12663
|
-
<span class="hits">
|
12662
|
+
<li class="covered" data-hits="29926" data-linenumber="113">
|
12663
|
+
<span class="hits">29926</span>
|
12664
12664
|
|
12665
12665
|
<code class="ruby"> @@instantiations.delete(signature)</code>
|
12666
12666
|
</li>
|
12667
12667
|
|
12668
|
-
<li class="covered" data-hits="
|
12669
|
-
<span class="hits">
|
12668
|
+
<li class="covered" data-hits="29926" data-linenumber="114">
|
12669
|
+
<span class="hits">29926</span>
|
12670
12670
|
|
12671
12671
|
<code class="ruby"> @deleted</code>
|
12672
12672
|
</li>
|
@@ -14595,556 +14595,574 @@
|
|
14595
14595
|
<li class="never" data-hits="" data-linenumber="86">
|
14596
14596
|
|
14597
14597
|
|
14598
|
+
<code class="ruby"> # @param args the args to be passed to initialize, first of which is the name of the predicate.</code>
|
14599
|
+
</li>
|
14600
|
+
|
14601
|
+
<li class="never" data-hits="" data-linenumber="87">
|
14602
|
+
|
14603
|
+
|
14598
14604
|
<code class="ruby"> # @return [Porolog::Predicate] a new or existing Predicate.</code>
|
14599
14605
|
</li>
|
14600
14606
|
|
14601
|
-
<li class="covered" data-hits="1" data-linenumber="
|
14607
|
+
<li class="covered" data-hits="1" data-linenumber="88">
|
14602
14608
|
<span class="hits">1</span>
|
14603
14609
|
|
14604
|
-
<code class="ruby"> def self.new(*args)</code>
|
14610
|
+
<code class="ruby"> def self.new(*args, **)</code>
|
14605
14611
|
</li>
|
14606
14612
|
|
14607
|
-
<li class="covered" data-hits="1172" data-linenumber="
|
14613
|
+
<li class="covered" data-hits="1172" data-linenumber="89">
|
14608
14614
|
<span class="hits">1172</span>
|
14609
14615
|
|
14610
14616
|
<code class="ruby"> scope[args.first.to_sym] || super</code>
|
14611
14617
|
</li>
|
14612
14618
|
|
14613
|
-
<li class="never" data-hits="" data-linenumber="
|
14619
|
+
<li class="never" data-hits="" data-linenumber="90">
|
14614
14620
|
|
14615
14621
|
|
14616
14622
|
<code class="ruby"> end</code>
|
14617
14623
|
</li>
|
14618
14624
|
|
14619
|
-
<li class="never" data-hits="" data-linenumber="
|
14625
|
+
<li class="never" data-hits="" data-linenumber="91">
|
14620
14626
|
|
14621
14627
|
|
14622
14628
|
<code class="ruby"> </code>
|
14623
14629
|
</li>
|
14624
14630
|
|
14625
|
-
<li class="never" data-hits="" data-linenumber="
|
14631
|
+
<li class="never" data-hits="" data-linenumber="92">
|
14626
14632
|
|
14627
14633
|
|
14628
14634
|
<code class="ruby"> # Create Arguments for the Predicate.</code>
|
14629
14635
|
</li>
|
14630
14636
|
|
14631
|
-
<li class="never" data-hits="" data-linenumber="
|
14637
|
+
<li class="never" data-hits="" data-linenumber="93">
|
14632
14638
|
|
14633
14639
|
|
14634
14640
|
<code class="ruby"> # Provides the syntax option:</code>
|
14635
14641
|
</li>
|
14636
14642
|
|
14637
|
-
<li class="never" data-hits="" data-linenumber="
|
14643
|
+
<li class="never" data-hits="" data-linenumber="94">
|
14638
14644
|
|
14639
14645
|
|
14640
14646
|
<code class="ruby"> # p.(x,y,z)</code>
|
14641
14647
|
</li>
|
14642
14648
|
|
14643
|
-
<li class="never" data-hits="" data-linenumber="
|
14649
|
+
<li class="never" data-hits="" data-linenumber="95">
|
14644
14650
|
|
14645
14651
|
|
14646
14652
|
<code class="ruby"> # for</code>
|
14647
14653
|
</li>
|
14648
14654
|
|
14649
|
-
<li class="never" data-hits="" data-linenumber="
|
14655
|
+
<li class="never" data-hits="" data-linenumber="96">
|
14650
14656
|
|
14651
14657
|
|
14652
14658
|
<code class="ruby"> # p.arguments(x,y,z)</code>
|
14653
14659
|
</li>
|
14654
14660
|
|
14655
|
-
<li class="never" data-hits="" data-linenumber="
|
14661
|
+
<li class="never" data-hits="" data-linenumber="97">
|
14656
14662
|
|
14657
14663
|
|
14658
14664
|
<code class="ruby"> # @return [Porolog::Arguments] Arguments of the Predicate with the given arguments.</code>
|
14659
14665
|
</li>
|
14660
14666
|
|
14661
|
-
<li class="covered" data-hits="1" data-linenumber="
|
14667
|
+
<li class="covered" data-hits="1" data-linenumber="98">
|
14662
14668
|
<span class="hits">1</span>
|
14663
14669
|
|
14664
14670
|
<code class="ruby"> def call(*args, &block)</code>
|
14665
14671
|
</li>
|
14666
14672
|
|
14667
|
-
<li class="covered" data-hits="619" data-linenumber="
|
14673
|
+
<li class="covered" data-hits="619" data-linenumber="99">
|
14668
14674
|
<span class="hits">619</span>
|
14669
14675
|
|
14670
14676
|
<code class="ruby"> Arguments.new(self, args, &block)</code>
|
14671
14677
|
</li>
|
14672
14678
|
|
14673
|
-
<li class="never" data-hits="" data-linenumber="
|
14679
|
+
<li class="never" data-hits="" data-linenumber="100">
|
14674
14680
|
|
14675
14681
|
|
14676
14682
|
<code class="ruby"> end</code>
|
14677
14683
|
</li>
|
14678
14684
|
|
14679
|
-
<li class="never" data-hits="" data-linenumber="
|
14685
|
+
<li class="never" data-hits="" data-linenumber="101">
|
14680
14686
|
|
14681
14687
|
|
14682
14688
|
<code class="ruby"> </code>
|
14683
14689
|
</li>
|
14684
14690
|
|
14685
|
-
<li class="never" data-hits="" data-linenumber="
|
14691
|
+
<li class="never" data-hits="" data-linenumber="102">
|
14686
14692
|
|
14687
14693
|
|
14688
14694
|
<code class="ruby"> # Create Arguments for the Predicate.</code>
|
14689
14695
|
</li>
|
14690
14696
|
|
14691
|
-
<li class="never" data-hits="" data-linenumber="
|
14697
|
+
<li class="never" data-hits="" data-linenumber="103">
|
14698
|
+
|
14699
|
+
|
14700
|
+
<code class="ruby"> # @param args the args of the Predicate.</code>
|
14701
|
+
</li>
|
14702
|
+
|
14703
|
+
<li class="never" data-hits="" data-linenumber="104">
|
14704
|
+
|
14705
|
+
|
14706
|
+
<code class="ruby"> # @param block [Proc,nil] the block to be called when satisfying the Predicate.</code>
|
14707
|
+
</li>
|
14708
|
+
|
14709
|
+
<li class="never" data-hits="" data-linenumber="105">
|
14692
14710
|
|
14693
14711
|
|
14694
14712
|
<code class="ruby"> # @return [Porolog::Arguments] Arguments of the Predicate with the given arguments.</code>
|
14695
14713
|
</li>
|
14696
14714
|
|
14697
|
-
<li class="covered" data-hits="1" data-linenumber="
|
14715
|
+
<li class="covered" data-hits="1" data-linenumber="106">
|
14698
14716
|
<span class="hits">1</span>
|
14699
14717
|
|
14700
14718
|
<code class="ruby"> def arguments(*args, &block)</code>
|
14701
14719
|
</li>
|
14702
14720
|
|
14703
|
-
<li class="covered" data-hits="743" data-linenumber="
|
14721
|
+
<li class="covered" data-hits="743" data-linenumber="107">
|
14704
14722
|
<span class="hits">743</span>
|
14705
14723
|
|
14706
14724
|
<code class="ruby"> Arguments.new(self, args, &block)</code>
|
14707
14725
|
</li>
|
14708
14726
|
|
14709
|
-
<li class="never" data-hits="" data-linenumber="
|
14727
|
+
<li class="never" data-hits="" data-linenumber="108">
|
14710
14728
|
|
14711
14729
|
|
14712
14730
|
<code class="ruby"> end</code>
|
14713
14731
|
</li>
|
14714
14732
|
|
14715
|
-
<li class="never" data-hits="" data-linenumber="
|
14733
|
+
<li class="never" data-hits="" data-linenumber="109">
|
14716
14734
|
|
14717
14735
|
|
14718
14736
|
<code class="ruby"> </code>
|
14719
14737
|
</li>
|
14720
14738
|
|
14721
|
-
<li class="never" data-hits="" data-linenumber="
|
14739
|
+
<li class="never" data-hits="" data-linenumber="110">
|
14722
14740
|
|
14723
14741
|
|
14724
14742
|
<code class="ruby"> # Add a Rule to the Predicate.</code>
|
14725
14743
|
</li>
|
14726
14744
|
|
14727
|
-
<li class="never" data-hits="" data-linenumber="
|
14745
|
+
<li class="never" data-hits="" data-linenumber="111">
|
14728
14746
|
|
14729
14747
|
|
14730
14748
|
<code class="ruby"> # @param rule [Object] a rule to add to the Predicate.</code>
|
14731
14749
|
</li>
|
14732
14750
|
|
14733
|
-
<li class="never" data-hits="" data-linenumber="
|
14751
|
+
<li class="never" data-hits="" data-linenumber="112">
|
14734
14752
|
|
14735
14753
|
|
14736
14754
|
<code class="ruby"> # @return [Porolog::Predicate] the Predicate.</code>
|
14737
14755
|
</li>
|
14738
14756
|
|
14739
|
-
<li class="covered" data-hits="1" data-linenumber="
|
14757
|
+
<li class="covered" data-hits="1" data-linenumber="113">
|
14740
14758
|
<span class="hits">1</span>
|
14741
14759
|
|
14742
14760
|
<code class="ruby"> def <<(rule)</code>
|
14743
14761
|
</li>
|
14744
14762
|
|
14745
|
-
<li class="covered" data-hits="160" data-linenumber="
|
14763
|
+
<li class="covered" data-hits="160" data-linenumber="114">
|
14746
14764
|
<span class="hits">160</span>
|
14747
14765
|
|
14748
14766
|
<code class="ruby"> @rules << rule</code>
|
14749
14767
|
</li>
|
14750
14768
|
|
14751
|
-
<li class="covered" data-hits="160" data-linenumber="
|
14769
|
+
<li class="covered" data-hits="160" data-linenumber="115">
|
14752
14770
|
<span class="hits">160</span>
|
14753
14771
|
|
14754
14772
|
<code class="ruby"> self</code>
|
14755
14773
|
</li>
|
14756
14774
|
|
14757
|
-
<li class="never" data-hits="" data-linenumber="
|
14775
|
+
<li class="never" data-hits="" data-linenumber="116">
|
14758
14776
|
|
14759
14777
|
|
14760
14778
|
<code class="ruby"> end</code>
|
14761
14779
|
</li>
|
14762
14780
|
|
14763
|
-
<li class="never" data-hits="" data-linenumber="
|
14781
|
+
<li class="never" data-hits="" data-linenumber="117">
|
14764
14782
|
|
14765
14783
|
|
14766
14784
|
<code class="ruby"> </code>
|
14767
14785
|
</li>
|
14768
14786
|
|
14769
|
-
<li class="never" data-hits="" data-linenumber="
|
14787
|
+
<li class="never" data-hits="" data-linenumber="118">
|
14770
14788
|
|
14771
14789
|
|
14772
14790
|
<code class="ruby"> # A pretty print String of the Predicate.</code>
|
14773
14791
|
</li>
|
14774
14792
|
|
14775
|
-
<li class="never" data-hits="" data-linenumber="
|
14793
|
+
<li class="never" data-hits="" data-linenumber="119">
|
14776
14794
|
|
14777
14795
|
|
14778
14796
|
<code class="ruby"> # @return [String] the Predicate as a String.</code>
|
14779
14797
|
</li>
|
14780
14798
|
|
14781
|
-
<li class="covered" data-hits="1" data-linenumber="
|
14799
|
+
<li class="covered" data-hits="1" data-linenumber="120">
|
14782
14800
|
<span class="hits">1</span>
|
14783
14801
|
|
14784
14802
|
<code class="ruby"> def inspect</code>
|
14785
14803
|
</li>
|
14786
14804
|
|
14787
|
-
<li class="covered" data-hits="5" data-linenumber="
|
14805
|
+
<li class="covered" data-hits="5" data-linenumber="121">
|
14788
14806
|
<span class="hits">5</span>
|
14789
14807
|
|
14790
14808
|
<code class="ruby"> if @rules.size == 1</code>
|
14791
14809
|
</li>
|
14792
14810
|
|
14793
|
-
<li class="covered" data-hits="3" data-linenumber="
|
14811
|
+
<li class="covered" data-hits="3" data-linenumber="122">
|
14794
14812
|
<span class="hits">3</span>
|
14795
14813
|
|
14796
14814
|
<code class="ruby"> "#{@name}:-#{@rules.first.inspect}"</code>
|
14797
14815
|
</li>
|
14798
14816
|
|
14799
|
-
<li class="never" data-hits="" data-linenumber="
|
14817
|
+
<li class="never" data-hits="" data-linenumber="123">
|
14800
14818
|
|
14801
14819
|
|
14802
14820
|
<code class="ruby"> else</code>
|
14803
14821
|
</li>
|
14804
14822
|
|
14805
|
-
<li class="covered" data-hits="2" data-linenumber="
|
14823
|
+
<li class="covered" data-hits="2" data-linenumber="124">
|
14806
14824
|
<span class="hits">2</span>
|
14807
14825
|
|
14808
14826
|
<code class="ruby"> @rules.each_with_object(["#{@name}:-"]) do |rule, lines|</code>
|
14809
14827
|
</li>
|
14810
14828
|
|
14811
|
-
<li class="covered" data-hits="2" data-linenumber="
|
14829
|
+
<li class="covered" data-hits="2" data-linenumber="125">
|
14812
14830
|
<span class="hits">2</span>
|
14813
14831
|
|
14814
14832
|
<code class="ruby"> lines << rule.inspect</code>
|
14815
14833
|
</li>
|
14816
14834
|
|
14817
|
-
<li class="never" data-hits="" data-linenumber="
|
14835
|
+
<li class="never" data-hits="" data-linenumber="126">
|
14818
14836
|
|
14819
14837
|
|
14820
14838
|
<code class="ruby"> end.join("\n")</code>
|
14821
14839
|
</li>
|
14822
14840
|
|
14823
|
-
<li class="never" data-hits="" data-linenumber="
|
14841
|
+
<li class="never" data-hits="" data-linenumber="127">
|
14824
14842
|
|
14825
14843
|
|
14826
14844
|
<code class="ruby"> end</code>
|
14827
14845
|
</li>
|
14828
14846
|
|
14829
|
-
<li class="never" data-hits="" data-linenumber="
|
14847
|
+
<li class="never" data-hits="" data-linenumber="128">
|
14830
14848
|
|
14831
14849
|
|
14832
14850
|
<code class="ruby"> end</code>
|
14833
14851
|
</li>
|
14834
14852
|
|
14835
|
-
<li class="never" data-hits="" data-linenumber="
|
14853
|
+
<li class="never" data-hits="" data-linenumber="129">
|
14836
14854
|
|
14837
14855
|
|
14838
14856
|
<code class="ruby"> </code>
|
14839
14857
|
</li>
|
14840
14858
|
|
14841
|
-
<li class="never" data-hits="" data-linenumber="
|
14859
|
+
<li class="never" data-hits="" data-linenumber="130">
|
14842
14860
|
|
14843
14861
|
|
14844
14862
|
<code class="ruby"> # Satisfy the Predicate within the supplied Goal.</code>
|
14845
14863
|
</li>
|
14846
14864
|
|
14847
|
-
<li class="never" data-hits="" data-linenumber="
|
14865
|
+
<li class="never" data-hits="" data-linenumber="131">
|
14848
14866
|
|
14849
14867
|
|
14850
14868
|
<code class="ruby"> # Satisfy of each rule of the Predicate is called with the Goal and success block.</code>
|
14851
14869
|
</li>
|
14852
14870
|
|
14853
|
-
<li class="never" data-hits="" data-linenumber="
|
14871
|
+
<li class="never" data-hits="" data-linenumber="132">
|
14854
14872
|
|
14855
14873
|
|
14856
14874
|
<code class="ruby"> # @param goal [Porolog::Goal] the Goal within which to satisfy the Predicate.</code>
|
14857
14875
|
</li>
|
14858
14876
|
|
14859
|
-
<li class="never" data-hits="" data-linenumber="
|
14877
|
+
<li class="never" data-hits="" data-linenumber="133">
|
14860
14878
|
|
14861
14879
|
|
14862
14880
|
<code class="ruby"> # @param block [Proc] the block to be called each time a Rule of the Predicate is satisfied.</code>
|
14863
14881
|
</li>
|
14864
14882
|
|
14865
|
-
<li class="never" data-hits="" data-linenumber="
|
14883
|
+
<li class="never" data-hits="" data-linenumber="134">
|
14866
14884
|
|
14867
14885
|
|
14868
14886
|
<code class="ruby"> # @return [Boolean] whether any Rule was satisfied.</code>
|
14869
14887
|
</li>
|
14870
14888
|
|
14871
|
-
<li class="covered" data-hits="1" data-linenumber="
|
14889
|
+
<li class="covered" data-hits="1" data-linenumber="135">
|
14872
14890
|
<span class="hits">1</span>
|
14873
14891
|
|
14874
14892
|
<code class="ruby"> def satisfy(goal, &block)</code>
|
14875
14893
|
</li>
|
14876
14894
|
|
14877
|
-
<li class="covered" data-hits="3934" data-linenumber="
|
14895
|
+
<li class="covered" data-hits="3934" data-linenumber="136">
|
14878
14896
|
<span class="hits">3934</span>
|
14879
14897
|
|
14880
14898
|
<code class="ruby"> if builtin?</code>
|
14881
14899
|
</li>
|
14882
14900
|
|
14883
|
-
<li class="covered" data-hits="2497" data-linenumber="
|
14901
|
+
<li class="covered" data-hits="2497" data-linenumber="137">
|
14884
14902
|
<span class="hits">2497</span>
|
14885
14903
|
|
14886
14904
|
<code class="ruby"> satisfy_builtin(goal, &block)</code>
|
14887
14905
|
</li>
|
14888
14906
|
|
14889
|
-
<li class="never" data-hits="" data-linenumber="
|
14907
|
+
<li class="never" data-hits="" data-linenumber="138">
|
14890
14908
|
|
14891
14909
|
|
14892
14910
|
<code class="ruby"> else</code>
|
14893
14911
|
</li>
|
14894
14912
|
|
14895
|
-
<li class="covered" data-hits="1437" data-linenumber="
|
14913
|
+
<li class="covered" data-hits="1437" data-linenumber="139">
|
14896
14914
|
<span class="hits">1437</span>
|
14897
14915
|
|
14898
14916
|
<code class="ruby"> satisfied = false</code>
|
14899
14917
|
</li>
|
14900
14918
|
|
14901
|
-
<li class="covered" data-hits="1437" data-linenumber="
|
14919
|
+
<li class="covered" data-hits="1437" data-linenumber="140">
|
14902
14920
|
<span class="hits">1437</span>
|
14903
14921
|
|
14904
14922
|
<code class="ruby"> @rules.each do |rule|</code>
|
14905
14923
|
</li>
|
14906
14924
|
|
14907
|
-
<li class="covered" data-hits="2588" data-linenumber="
|
14925
|
+
<li class="covered" data-hits="2588" data-linenumber="141">
|
14908
14926
|
<span class="hits">2588</span>
|
14909
14927
|
|
14910
14928
|
<code class="ruby"> rule.satisfy(goal) do |subgoal|</code>
|
14911
14929
|
</li>
|
14912
14930
|
|
14913
|
-
<li class="covered" data-hits="1464" data-linenumber="
|
14931
|
+
<li class="covered" data-hits="1464" data-linenumber="142">
|
14914
14932
|
<span class="hits">1464</span>
|
14915
14933
|
|
14916
14934
|
<code class="ruby"> satisfied = true</code>
|
14917
14935
|
</li>
|
14918
14936
|
|
14919
|
-
<li class="covered" data-hits="1464" data-linenumber="
|
14937
|
+
<li class="covered" data-hits="1464" data-linenumber="143">
|
14920
14938
|
<span class="hits">1464</span>
|
14921
14939
|
|
14922
14940
|
<code class="ruby"> block.call(subgoal)</code>
|
14923
14941
|
</li>
|
14924
14942
|
|
14925
|
-
<li class="never" data-hits="" data-linenumber="
|
14943
|
+
<li class="never" data-hits="" data-linenumber="144">
|
14926
14944
|
|
14927
14945
|
|
14928
14946
|
<code class="ruby"> end</code>
|
14929
14947
|
</li>
|
14930
14948
|
|
14931
|
-
<li class="covered" data-hits="2574" data-linenumber="
|
14949
|
+
<li class="covered" data-hits="2574" data-linenumber="145">
|
14932
14950
|
<span class="hits">2574</span>
|
14933
14951
|
|
14934
14952
|
<code class="ruby"> break if goal.terminated?</code>
|
14935
14953
|
</li>
|
14936
14954
|
|
14937
|
-
<li class="never" data-hits="" data-linenumber="
|
14955
|
+
<li class="never" data-hits="" data-linenumber="146">
|
14938
14956
|
|
14939
14957
|
|
14940
14958
|
<code class="ruby"> end</code>
|
14941
14959
|
</li>
|
14942
14960
|
|
14943
|
-
<li class="covered" data-hits="1423" data-linenumber="
|
14961
|
+
<li class="covered" data-hits="1423" data-linenumber="147">
|
14944
14962
|
<span class="hits">1423</span>
|
14945
14963
|
|
14946
14964
|
<code class="ruby"> satisfied</code>
|
14947
14965
|
</li>
|
14948
14966
|
|
14949
|
-
<li class="never" data-hits="" data-linenumber="
|
14967
|
+
<li class="never" data-hits="" data-linenumber="148">
|
14950
14968
|
|
14951
14969
|
|
14952
14970
|
<code class="ruby"> end</code>
|
14953
14971
|
</li>
|
14954
14972
|
|
14955
|
-
<li class="never" data-hits="" data-linenumber="
|
14973
|
+
<li class="never" data-hits="" data-linenumber="149">
|
14956
14974
|
|
14957
14975
|
|
14958
14976
|
<code class="ruby"> end</code>
|
14959
14977
|
</li>
|
14960
14978
|
|
14961
|
-
<li class="never" data-hits="" data-linenumber="
|
14979
|
+
<li class="never" data-hits="" data-linenumber="150">
|
14962
14980
|
|
14963
14981
|
|
14964
14982
|
<code class="ruby"> </code>
|
14965
14983
|
</li>
|
14966
14984
|
|
14967
|
-
<li class="never" data-hits="" data-linenumber="
|
14985
|
+
<li class="never" data-hits="" data-linenumber="151">
|
14968
14986
|
|
14969
14987
|
|
14970
14988
|
<code class="ruby"> # @return [Boolean] whether the Predicate is a builtin predicate.</code>
|
14971
14989
|
</li>
|
14972
14990
|
|
14973
|
-
<li class="covered" data-hits="1" data-linenumber="
|
14991
|
+
<li class="covered" data-hits="1" data-linenumber="152">
|
14974
14992
|
<span class="hits">1</span>
|
14975
14993
|
|
14976
14994
|
<code class="ruby"> def builtin?</code>
|
14977
14995
|
</li>
|
14978
14996
|
|
14979
|
-
<li class="covered" data-hits="3936" data-linenumber="
|
14997
|
+
<li class="covered" data-hits="3936" data-linenumber="153">
|
14980
14998
|
<span class="hits">3936</span>
|
14981
14999
|
|
14982
15000
|
<code class="ruby"> @builtin</code>
|
14983
15001
|
</li>
|
14984
15002
|
|
14985
|
-
<li class="never" data-hits="" data-linenumber="
|
15003
|
+
<li class="never" data-hits="" data-linenumber="154">
|
14986
15004
|
|
14987
15005
|
|
14988
15006
|
<code class="ruby"> end</code>
|
14989
15007
|
</li>
|
14990
15008
|
|
14991
|
-
<li class="never" data-hits="" data-linenumber="
|
15009
|
+
<li class="never" data-hits="" data-linenumber="155">
|
14992
15010
|
|
14993
15011
|
|
14994
15012
|
<code class="ruby"> </code>
|
14995
15013
|
</li>
|
14996
15014
|
|
14997
|
-
<li class="never" data-hits="" data-linenumber="
|
15015
|
+
<li class="never" data-hits="" data-linenumber="156">
|
14998
15016
|
|
14999
15017
|
|
15000
15018
|
<code class="ruby"> # Satisfy the builtin Predicate within the supplied Goal.</code>
|
15001
15019
|
</li>
|
15002
15020
|
|
15003
|
-
<li class="never" data-hits="" data-linenumber="
|
15021
|
+
<li class="never" data-hits="" data-linenumber="157">
|
15004
15022
|
|
15005
15023
|
|
15006
15024
|
<code class="ruby"> # Call the builtin Predicate method with the Goal and success block.</code>
|
15007
15025
|
</li>
|
15008
15026
|
|
15009
|
-
<li class="never" data-hits="" data-linenumber="
|
15027
|
+
<li class="never" data-hits="" data-linenumber="158">
|
15010
15028
|
|
15011
15029
|
|
15012
15030
|
<code class="ruby"> # The arguments and block are extracted from the Goal's Arguments.</code>
|
15013
15031
|
</li>
|
15014
15032
|
|
15015
|
-
<li class="never" data-hits="" data-linenumber="
|
15033
|
+
<li class="never" data-hits="" data-linenumber="159">
|
15016
15034
|
|
15017
15035
|
|
15018
15036
|
<code class="ruby"> # @param goal [Porolog::Goal] the Goal within which to satisfy the Predicate.</code>
|
15019
15037
|
</li>
|
15020
15038
|
|
15021
|
-
<li class="never" data-hits="" data-linenumber="
|
15039
|
+
<li class="never" data-hits="" data-linenumber="160">
|
15022
15040
|
|
15023
15041
|
|
15024
15042
|
<code class="ruby"> # @param block [Proc] the block to be called each time a Rule of the Predicate is satisfied.</code>
|
15025
15043
|
</li>
|
15026
15044
|
|
15027
|
-
<li class="never" data-hits="" data-linenumber="
|
15045
|
+
<li class="never" data-hits="" data-linenumber="161">
|
15028
15046
|
|
15029
15047
|
|
15030
15048
|
<code class="ruby"> # @return [Boolean] whether any Rule was satisfied.</code>
|
15031
15049
|
</li>
|
15032
15050
|
|
15033
|
-
<li class="covered" data-hits="1" data-linenumber="
|
15051
|
+
<li class="covered" data-hits="1" data-linenumber="162">
|
15034
15052
|
<span class="hits">1</span>
|
15035
15053
|
|
15036
15054
|
<code class="ruby"> def satisfy_builtin(goal, &block)</code>
|
15037
15055
|
</li>
|
15038
15056
|
|
15039
|
-
<li class="covered" data-hits="2498" data-linenumber="
|
15057
|
+
<li class="covered" data-hits="2498" data-linenumber="163">
|
15040
15058
|
<span class="hits">2498</span>
|
15041
15059
|
|
15042
15060
|
<code class="ruby"> predicate = goal.arguments.predicate.name</code>
|
15043
15061
|
</li>
|
15044
15062
|
|
15045
|
-
<li class="covered" data-hits="2498" data-linenumber="
|
15063
|
+
<li class="covered" data-hits="2498" data-linenumber="164">
|
15046
15064
|
<span class="hits">2498</span>
|
15047
15065
|
|
15048
15066
|
<code class="ruby"> arguments = goal.arguments.arguments</code>
|
15049
15067
|
</li>
|
15050
15068
|
|
15051
|
-
<li class="covered" data-hits="2498" data-linenumber="
|
15069
|
+
<li class="covered" data-hits="2498" data-linenumber="165">
|
15052
15070
|
<span class="hits">2498</span>
|
15053
15071
|
|
15054
15072
|
<code class="ruby"> arg_block = goal.arguments.block</code>
|
15055
15073
|
</li>
|
15056
15074
|
|
15057
|
-
<li class="never" data-hits="" data-linenumber="
|
15075
|
+
<li class="never" data-hits="" data-linenumber="166">
|
15058
15076
|
|
15059
15077
|
|
15060
15078
|
<code class="ruby"> </code>
|
15061
15079
|
</li>
|
15062
15080
|
|
15063
|
-
<li class="covered" data-hits="2498" data-linenumber="
|
15081
|
+
<li class="covered" data-hits="2498" data-linenumber="167">
|
15064
15082
|
<span class="hits">2498</span>
|
15065
15083
|
|
15066
15084
|
<code class="ruby"> Predicate.call_builtin(predicate, goal, block, *arguments, &arg_block)</code>
|
15067
15085
|
</li>
|
15068
15086
|
|
15069
|
-
<li class="never" data-hits="" data-linenumber="
|
15087
|
+
<li class="never" data-hits="" data-linenumber="168">
|
15070
15088
|
|
15071
15089
|
|
15072
15090
|
<code class="ruby"> end</code>
|
15073
15091
|
</li>
|
15074
15092
|
|
15075
|
-
<li class="never" data-hits="" data-linenumber="
|
15093
|
+
<li class="never" data-hits="" data-linenumber="169">
|
15076
15094
|
|
15077
15095
|
|
15078
15096
|
<code class="ruby"> </code>
|
15079
15097
|
</li>
|
15080
15098
|
|
15081
|
-
<li class="never" data-hits="" data-linenumber="
|
15099
|
+
<li class="never" data-hits="" data-linenumber="170">
|
15082
15100
|
|
15083
15101
|
|
15084
15102
|
<code class="ruby"> # Call a builtin predicate</code>
|
15085
15103
|
</li>
|
15086
15104
|
|
15087
|
-
<li class="never" data-hits="" data-linenumber="
|
15105
|
+
<li class="never" data-hits="" data-linenumber="171">
|
15088
15106
|
|
15089
15107
|
|
15090
15108
|
<code class="ruby"> # @param predicate [Symbol] the name of the predicate to call.</code>
|
15091
15109
|
</li>
|
15092
15110
|
|
15093
|
-
<li class="never" data-hits="" data-linenumber="
|
15111
|
+
<li class="never" data-hits="" data-linenumber="172">
|
15094
15112
|
|
15095
15113
|
|
15096
15114
|
<code class="ruby"> # @param args [Array<Object>] arguments for the predicate call.</code>
|
15097
15115
|
</li>
|
15098
15116
|
|
15099
|
-
<li class="never" data-hits="" data-linenumber="
|
15117
|
+
<li class="never" data-hits="" data-linenumber="173">
|
15100
15118
|
|
15101
15119
|
|
15102
15120
|
<code class="ruby"> # @param arg_block [Proc] the block provided in the Arguments of the Predicate.</code>
|
15103
15121
|
</li>
|
15104
15122
|
|
15105
|
-
<li class="never" data-hits="" data-linenumber="
|
15123
|
+
<li class="never" data-hits="" data-linenumber="174">
|
15106
15124
|
|
15107
15125
|
|
15108
15126
|
<code class="ruby"> # @return [Boolean] whether the predicate was satisfied.</code>
|
15109
15127
|
</li>
|
15110
15128
|
|
15111
|
-
<li class="covered" data-hits="1" data-linenumber="
|
15129
|
+
<li class="covered" data-hits="1" data-linenumber="175">
|
15112
15130
|
<span class="hits">1</span>
|
15113
15131
|
|
15114
15132
|
<code class="ruby"> def self.call_builtin(predicate, *args, &arg_block)</code>
|
15115
15133
|
</li>
|
15116
15134
|
|
15117
|
-
<li class="covered" data-hits="2562" data-linenumber="
|
15135
|
+
<li class="covered" data-hits="2562" data-linenumber="176">
|
15118
15136
|
<span class="hits">2562</span>
|
15119
15137
|
|
15120
15138
|
<code class="ruby"> Porolog::Predicate::Builtin.instance_method(predicate).bind(self).call(*args, &arg_block)</code>
|
15121
15139
|
</li>
|
15122
15140
|
|
15123
|
-
<li class="never" data-hits="" data-linenumber="
|
15141
|
+
<li class="never" data-hits="" data-linenumber="177">
|
15124
15142
|
|
15125
15143
|
|
15126
15144
|
<code class="ruby"> end</code>
|
15127
15145
|
</li>
|
15128
15146
|
|
15129
|
-
<li class="never" data-hits="" data-linenumber="
|
15147
|
+
<li class="never" data-hits="" data-linenumber="178">
|
15130
15148
|
|
15131
15149
|
|
15132
15150
|
<code class="ruby"> </code>
|
15133
15151
|
</li>
|
15134
15152
|
|
15135
|
-
<li class="never" data-hits="" data-linenumber="
|
15153
|
+
<li class="never" data-hits="" data-linenumber="179">
|
15136
15154
|
|
15137
15155
|
|
15138
15156
|
<code class="ruby"> end</code>
|
15139
15157
|
</li>
|
15140
15158
|
|
15141
|
-
<li class="never" data-hits="" data-linenumber="
|
15159
|
+
<li class="never" data-hits="" data-linenumber="180">
|
15142
15160
|
|
15143
15161
|
|
15144
15162
|
<code class="ruby"></code>
|
15145
15163
|
</li>
|
15146
15164
|
|
15147
|
-
<li class="never" data-hits="" data-linenumber="
|
15165
|
+
<li class="never" data-hits="" data-linenumber="181">
|
15148
15166
|
|
15149
15167
|
|
15150
15168
|
<code class="ruby">end</code>
|
@@ -24276,20 +24294,20 @@
|
|
24276
24294
|
<code class="ruby"> def remove</code>
|
24277
24295
|
</li>
|
24278
24296
|
|
24279
|
-
<li class="covered" data-hits="
|
24280
|
-
<span class="hits">
|
24297
|
+
<li class="covered" data-hits="31382" data-linenumber="265">
|
24298
|
+
<span class="hits">31382</span>
|
24281
24299
|
|
24282
24300
|
<code class="ruby"> @instantiations.dup.each(&:remove)</code>
|
24283
24301
|
</li>
|
24284
24302
|
|
24285
|
-
<li class="covered" data-hits="
|
24286
|
-
<span class="hits">
|
24303
|
+
<li class="covered" data-hits="31382" data-linenumber="266">
|
24304
|
+
<span class="hits">31382</span>
|
24287
24305
|
|
24288
24306
|
<code class="ruby"> @instantiations[0..-1] = []</code>
|
24289
24307
|
</li>
|
24290
24308
|
|
24291
|
-
<li class="covered" data-hits="
|
24292
|
-
<span class="hits">
|
24309
|
+
<li class="covered" data-hits="31382" data-linenumber="267">
|
24310
|
+
<span class="hits">31382</span>
|
24293
24311
|
|
24294
24312
|
<code class="ruby"> true</code>
|
24295
24313
|
</li>
|
data/doc/Array.html
CHANGED
@@ -1056,7 +1056,7 @@
|
|
1056
1056
|
</div>
|
1057
1057
|
|
1058
1058
|
<div id="footer">
|
1059
|
-
Generated on
|
1059
|
+
Generated on Sat Aug 8 08:28:24 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
|
667
|
+
Generated on Sat Aug 8 08:28:24 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
@@ -4406,7 +4406,7 @@
|
|
4406
4406
|
</div>
|
4407
4407
|
|
4408
4408
|
<div id="footer">
|
4409
|
-
Generated on
|
4409
|
+
Generated on Sat Aug 8 08:28:23 2020 by
|
4410
4410
|
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
4411
4411
|
0.9.19 (ruby-2.6.5).
|
4412
4412
|
</div>
|
data/doc/Symbol.html
CHANGED
@@ -491,7 +491,7 @@
|
|
491
491
|
</div>
|
492
492
|
|
493
493
|
<div id="footer">
|
494
|
-
Generated on
|
494
|
+
Generated on Sat Aug 8 08:28:24 2020 by
|
495
495
|
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
496
496
|
0.9.19 (ruby-2.6.5).
|
497
497
|
</div>
|
data/doc/_index.html
CHANGED
@@ -451,7 +451,7 @@
|
|
451
451
|
</div>
|
452
452
|
|
453
453
|
<div id="footer">
|
454
|
-
Generated on
|
454
|
+
Generated on Sat Aug 8 08:28:23 2020 by
|
455
455
|
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
456
456
|
0.9.19 (ruby-2.6.5).
|
457
457
|
</div>
|
data/doc/file.README.html
CHANGED
@@ -326,7 +326,7 @@
|
|
326
326
|
</div></div>
|
327
327
|
|
328
328
|
<div id="footer">
|
329
|
-
Generated on
|
329
|
+
Generated on Sat Aug 8 08:28:23 2020 by
|
330
330
|
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
331
331
|
0.9.19 (ruby-2.6.5).
|
332
332
|
</div>
|
data/doc/index.html
CHANGED
@@ -326,7 +326,7 @@
|
|
326
326
|
</div></div>
|
327
327
|
|
328
328
|
<div id="footer">
|
329
|
-
Generated on
|
329
|
+
Generated on Sat Aug 8 08:28:23 2020 by
|
330
330
|
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
331
331
|
0.9.19 (ruby-2.6.5).
|
332
332
|
</div>
|
@@ -102,7 +102,7 @@
|
|
102
102
|
</div>
|
103
103
|
|
104
104
|
<div id="footer">
|
105
|
-
Generated on
|
105
|
+
Generated on Sat Aug 8 08:28:23 2020 by
|
106
106
|
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
107
107
|
0.9.19 (ruby-2.6.5).
|
108
108
|
</div>
|
data/lib/porolog.rb
CHANGED
@@ -11,9 +11,9 @@
|
|
11
11
|
module Porolog
|
12
12
|
|
13
13
|
# The most recent version of the Porolog gem.
|
14
|
-
VERSION = '1.0.
|
14
|
+
VERSION = '1.0.2'.freeze
|
15
15
|
# The most recent date of when the VERSION changed.
|
16
|
-
VERSION_DATE = '2020-08-
|
16
|
+
VERSION_DATE = '2020-08-08'.freeze
|
17
17
|
|
18
18
|
# Represents an unknown tail of a list.
|
19
19
|
UNKNOWN_TAIL = Object.new
|
data/lib/porolog/predicate.rb
CHANGED
@@ -83,8 +83,9 @@ module Porolog
|
|
83
83
|
end
|
84
84
|
|
85
85
|
# Creates a new Predicate, or returns an existing Predicate if one already exists with the given name in the current scope.
|
86
|
+
# @param args the args to be passed to initialize, first of which is the name of the predicate.
|
86
87
|
# @return [Porolog::Predicate] a new or existing Predicate.
|
87
|
-
def self.new(*args)
|
88
|
+
def self.new(*args, **)
|
88
89
|
scope[args.first.to_sym] || super
|
89
90
|
end
|
90
91
|
|
@@ -99,6 +100,8 @@ module Porolog
|
|
99
100
|
end
|
100
101
|
|
101
102
|
# Create Arguments for the Predicate.
|
103
|
+
# @param args the args of the Predicate.
|
104
|
+
# @param block [Proc,nil] the block to be called when satisfying the Predicate.
|
102
105
|
# @return [Porolog::Arguments] Arguments of the Predicate with the given arguments.
|
103
106
|
def arguments(*args, &block)
|
104
107
|
Arguments.new(self, args, &block)
|
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: porolog
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 1.0.
|
4
|
+
version: 1.0.2
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Luis Esteban
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date: 2020-08-
|
11
|
+
date: 2020-08-08 00:00:00.000000000 Z
|
12
12
|
dependencies: []
|
13
13
|
description: Implements a Prolog inference engine using Plain Old Ruby Objects
|
14
14
|
email:
|