porolog 0.0.3 → 0.0.4

data/test/porolog/porolog_test.rb

@@ -0,0 +1,67 @@
+#
+#   test/porolog/porolog_test.rb     - Test Suite for Porolog module
+#
+#     Luis Esteban      4 May 2018
+#       created
+#
+
+require_relative '../test_helper'
+
+describe 'Porolog' do
+  
+  before(:all) do
+    reset
+  end
+  
+  describe '#predicate' do
+    
+    it 'should create a Predicate' do
+      assert_equal    0,        Scope[:default].predicates.size
+      
+      single_predicate = predicate :single
+      
+      assert_equal      1,                Scope[:default].predicates.size
+      assert_equal      :single,          Scope[:default].predicates.first.name
+      assert_Predicate  single_predicate, :single, []
+    end
+    
+    it 'should define a method to create Arguments for solving' do
+      refute                    respond_to?(:delta)
+      
+      predicate :delta
+      
+      assert                    respond_to?(:delta)
+      assert_Arguments          delta(1, :X, ['left','right']), :delta, [1, :X, ['left','right']]
+    end
+    
+    it 'should create multiple Predicates' do
+      assert_equal    0,        Scope[:default].predicates.size
+      
+      multiple_predicates = predicate :alpha, :beta, :gamma
+      
+      assert_equal          3,        Scope[:default].predicates.size
+      assert_equal          :alpha,   Scope[:default].predicates[0].name
+      assert_equal          :beta,    Scope[:default].predicates[1].name
+      assert_equal          :gamma,   Scope[:default].predicates[2].name
+      assert_instance_of    Array,    multiple_predicates
+      assert_equal          3,        multiple_predicates.size
+      assert_Predicate      multiple_predicates[0], :alpha, []
+      assert_Predicate      multiple_predicates[1], :beta,  []
+      assert_Predicate      multiple_predicates[2], :gamma, []
+    end
+    
+    it 'should define multiple methods to create Arguments for solving' do
+      refute                    respond_to?(:epsilon)
+      refute                    respond_to?(:upsilon)
+      
+      predicate :epsilon, :upsilon
+      
+      assert                    respond_to?(:epsilon)
+      assert_Arguments          epsilon(), :epsilon, []
+      assert                    respond_to?(:upsilon)
+      assert_Arguments          upsilon([]), :upsilon, [[]]
+    end
+    
+  end
+  
+end

data/test/porolog/predicate_test.rb

@@ -152,6 +152,22 @@ describe 'Porolog' do
       
     end
     
+    describe '.builtin' do
+      
+      it 'should incremently return Predicates' do
+        iota1 = Predicate.builtin :iota
+        zeta1 = Predicate.builtin :zeta
+        iota2 = Predicate.builtin :iota
+        zeta2 = Predicate.builtin :zeta
+        
+        assert_Predicate  iota1, :_iota_1, []
+        assert_Predicate  zeta1, :_zeta_1, []
+        assert_Predicate  iota2, :_iota_2, []
+        assert_Predicate  zeta2, :_zeta_2, []
+      end
+      
+    end
+    
     describe '#initialize' do
     
       it 'can create predicates in different scopes' do
@@ -196,8 +212,6 @@ describe 'Porolog' do
     describe '#call' do
     
       it 'should create an Arguments when "called"' do
-        skip 'until Arguments added'
-        
         p = Predicate.new :p
         
         arguments = p.(1,2,3)
@@ -212,8 +226,6 @@ describe 'Porolog' do
     describe '#arguments' do
     
       it 'should provide a convenience method to create an Arguments' do
-        skip 'until Arguments added'
-        
         p = Predicate.new :p
         
         arguments = p.arguments(1,2,3)
@@ -246,7 +258,7 @@ describe 'Porolog' do
       end
     
       it 'should add new facts to a predicate' do
-        skip 'until Arguments added'
+        skip 'until Rule added'
         
         alpha = Predicate.new 'alpha'
         
@@ -261,7 +273,7 @@ describe 'Porolog' do
       end
       
       it 'should add new falicies to a predicate' do
-        skip 'until Arguments added'
+        skip 'until Rule added'
         
         alpha = Predicate.new 'alpha'
         
@@ -280,16 +292,22 @@ describe 'Porolog' do
     describe '#inspect' do
       
       it 'should return a summary of the predicate' do
-        skip 'until Arguments added'
-        
         alpha = Predicate.new 'alpha'
+        
         assert_equal    'alpha:-',  alpha.inspect
+      end
+      
+      it 'should return a summary of the predicate with rules' do
+        skip 'until Rule added'
+        
+        alpha = Predicate.new 'alpha'
         
         alpha.(:x,:y) << [
           alpha.(:x,:y),
           alpha.(:y,:x),
           :CUT
         ]
+        
         assert_equal    'alpha:-  alpha(:x,:y):- [alpha(:x,:y), alpha(:y,:x), :CUT]',  alpha.inspect
       end
       
@@ -298,7 +316,7 @@ describe 'Porolog' do
     describe '#<<' do
       
       it 'should add new rules to a predicate' do
-        skip 'until Arguments added'
+        skip 'until Rule added'
         
         alpha = Predicate.new 'alpha'
         

data/test/porolog/scope_test.rb

@@ -19,11 +19,11 @@ describe 'Porolog' do
       assert_equal        1,            Scope.scopes.size
       assert_equal        [:default],   Scope.scopes
       
-      assert_scope        Scope[:default], :default, []
+      assert_Scope        Scope[:default], :default, []
     end
     
     it 'should allow predicates with the same name to coexist in different scopes' do
-      skip 'until Arguments added'
+      skip 'until Rule added'
       
       prime = prime1 = Predicate.new :prime, :first
 
@@ -41,9 +41,9 @@ describe 'Porolog' do
       prime.('pump D').fact!
 
       assert_equal        [:default,:first,:second],          Scope.scopes
-      assert_scope        Scope[:default],  :default, []
-      assert_scope        Scope[:first],    :first,   [prime1]
-      assert_scope        Scope[:second],   :second,  [prime2]
+      assert_Scope        Scope[:default],  :default, []
+      assert_Scope        Scope[:first],    :first,   [prime1]
+      assert_Scope        Scope[:second],   :second,  [prime2]
       
       assert_equal        :prime,     prime1.name
       assert_equal        :prime,     prime2.name
@@ -91,17 +91,17 @@ describe 'Porolog' do
         assert_equal        4,                                    Scope.scopes.size
         assert_equal        [:default, :alpha, :bravo, :carly],   Scope.scopes
         
-        assert_scope        Scope[:default],  :default, [delta]
-        assert_scope        Scope[:alpha],    :alpha,   []
-        assert_scope        Scope[:bravo],    :bravo,   []
-        assert_scope        Scope[:carly],    :carly,   []
+        assert_Scope        Scope[:default],  :default, [delta]
+        assert_Scope        Scope[:alpha],    :alpha,   []
+        assert_Scope        Scope[:bravo],    :bravo,   []
+        assert_Scope        Scope[:carly],    :carly,   []
         
         Scope.reset
         
         assert_equal        1,                                    Scope.scopes.size
         assert_equal        [:default],                           Scope.scopes
         
-        assert_scope        Scope[:default], :default, []
+        assert_Scope        Scope[:default], :default, []
         
         assert_nil                                                Scope[:alpha]
         assert_nil                                                Scope[:bravo]
@@ -246,9 +246,9 @@ describe 'Porolog' do
         assert_equal        3,                                    Scope.scopes.size
         assert_equal        [:default, :test, :scope],            Scope.scopes
         
-        assert_scope        Scope[:default],                      :default, []
-        assert_scope        Scope[:test],                         :test,    [test_predicate]
-        assert_scope        Scope[:scope],                        :scope,   [test_predicate]
+        assert_Scope        Scope[:default],                      :default, []
+        assert_Scope        Scope[:test],                         :test,    [test_predicate]
+        assert_Scope        Scope[:scope],                        :scope,   [test_predicate]
       end
       
     end

data/test/test_helper.rb

@@ -5,24 +5,44 @@
 #       created
 #
 
+# -- Test Coverage --
+require 'simplecov'
+SimpleCov.start
+
+require 'shields_badge'
+SimpleCov.formatters = SimpleCov::Formatter::MultiFormatter.new([
+  SimpleCov::Formatter::HTMLFormatter,
+  SimpleCov::Formatter::ShieldsBadge
+])
+
+# -- Testing --
 require 'minitest/autorun'
 require 'porolog'
 
 include Porolog
 
+
+# -- Helpers --
 def reset
   Scope.reset
   Predicate.reset
+  Arguments.reset
 end
 
-def assert_scope(scope, name, predicates)
+def assert_Scope(scope, name, predicates)
   assert_instance_of  Scope,            scope
   assert_equal        name,             scope.name
   assert_equal        predicates,       scope.predicates
 end
 
-def assert_predicate(predicate, name, rules)
+def assert_Predicate(predicate, name, rules)
   assert_instance_of  Predicate,        predicate
   assert_equal        name,             predicate.name
   assert_equal        rules,            predicate.rules
 end
+
+def assert_Arguments(arguments, predicate, args)
+  assert_instance_of  Arguments,        arguments
+  assert_equal        predicate,        arguments.predicate.name
+  assert_equal        args,             arguments.arguments
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: porolog
 version: !ruby/object:Gem::Version
-  version: 0.0.3
+  version: 0.0.4
 platform: ruby
 authors:
 - Luis Esteban
@@ -10,7 +10,8 @@ bindir: bin
 cert_chain: []
 date: 2019-04-21 00:00:00.000000000 Z
 dependencies: []
-description: Implements a Prolog inference engine using Plain Old Ruby Objects
+description: Implements a Prolog inference engine using Plain Old Ruby Objects (work
+  in progress)
 email:
 - luis.esteban.consulting@gmail.com
 executables: []
@@ -20,10 +21,24 @@ files:
 - README.md
 - Rakefile
 - bin/porolog
+- coverage/badge.svg
+- coverage/index.html
+- doc/Porolog.html
+- doc/_index.html
+- doc/class_list.html
+- doc/file.README.html
+- doc/file_list.html
+- doc/frames.html
+- doc/index.html
+- doc/method_list.html
+- doc/top-level-namespace.html
 - lib/porolog.rb
+- lib/porolog/arguments.rb
 - lib/porolog/error.rb
 - lib/porolog/predicate.rb
 - lib/porolog/scope.rb
+- test/porolog/arguments_test.rb
+- test/porolog/porolog_test.rb
 - test/porolog/predicate_test.rb
 - test/porolog/scope_test.rb
 - test/test_helper.rb
@@ -50,8 +65,10 @@ rubyforge_project:
 rubygems_version: 2.7.6
 signing_key: 
 specification_version: 4
-summary: Prolog using Plain Old Ruby Objects
+summary: Prolog using Plain Old Ruby Objects (work in progress)
 test_files:
 - test/test_helper.rb
+- test/porolog/porolog_test.rb
 - test/porolog/predicate_test.rb
+- test/porolog/arguments_test.rb
 - test/porolog/scope_test.rb