mini_kraken 0.2.02 → 0.2.03

data/spec/glue/fresh_env_factory_spec.rb

@@ -0,0 +1,97 @@
+# frozen_string_literal: true
+
+require_relative '../../lib/mini_kraken/core/equals'
+require_relative '../../lib/mini_kraken/core/formal_arg'
+require_relative '../../lib/mini_kraken/core/formal_ref'
+require_relative '../../lib/mini_kraken/core/goal_template'
+
+require_relative '../support/factory_methods'
+
+# Load the class under test
+require_relative '../../lib/mini_kraken/glue/fresh_env_factory'
+
+
+module MiniKraken
+  module Glue
+    describe FreshEnvFactory do
+      include FactoryMethods
+
+      # (fresh (d) (== d r))
+      let(:r_formal_ref) { Core::FormalRef.new('r') }
+      let(:d_ref) { var_ref('d') }
+      let(:sample_goal_t) do
+        Core::GoalTemplate.new(Core::Equals.instance, [d_ref, r_formal_ref])
+      end
+      subject { FreshEnvFactory.new(['d'], sample_goal_t) }
+
+      context 'Initialization:' do
+        it 'should be initialized with names and a goal template' do
+          expect { FreshEnvFactory.new(['d'], sample_goal_t) }.not_to raise_error
+        end
+
+        it 'should know the variable names' do
+          expect(subject.names).to eq(['d'])
+        end
+
+        it 'should know the goal template' do
+          expect(subject.goal_template).to eq(sample_goal_t)
+        end
+      end # context
+
+      context 'Factory for FreshEnv instances' do
+        # (defrel (caro r a)
+        #   (fresh (d)
+        #   (== (cons a d) r)))
+        # ;; r, a are formal args, they part of caro signature
+        # ;; d is a formal ref argument
+        let(:pea) { k_symbol(:pea) }
+        let(:q_ref) { var_ref('q') }
+        let(:r_formal) { Core::FormalRef.new('r') }
+        let(:a_formal) { Core::FormalRef.new('a') }
+        let(:t_param1) { Core::ConsCell.new(a_formal, d_ref) }
+        let(:other_goal_t) do
+          Core::GoalTemplate.new(Core::Equals.instance, [t_param1, r_formal])
+        end
+
+        # (fresh (d) (== d r))
+        it 'should build FreshEnv instance with simple goal' do
+          created = subject.instantiate([r_formal], [pea])
+
+          # Are variables correctly built?
+          expect(created).to be_kind_of(FreshEnv)
+          expect(created.vars['d']).to be_kind_of(Core::Variable)
+
+          # Is the goal correectly built?
+          goal = created.goal
+          expect(goal.relation).to eq(Core::Equals.instance)
+          expect(goal.actuals[0]).to be_kind_of(Core::VariableRef)
+          expect(goal.actuals[0].name).to eq('d')
+          expect(goal.actuals[1]).to be_kind_of(Core::KSymbol)
+          expect(goal.actuals[1]).to eq(:pea)
+        end
+
+        it 'should build FreshEnv instance with goal' do
+          instance = FreshEnvFactory.new(['d'], other_goal_t)
+          acorn = cons(k_symbol(:a), cons(k_symbol(:c), cons(k_symbol(:o),
+            cons(k_symbol(:r), cons(k_symbol(:n))))))
+          created = instance.instantiate([r_formal, a_formal], [acorn, q_ref])
+
+          # Are variables correctly built?
+          expect(created).to be_kind_of(FreshEnv)
+          expect(created.vars['d']).to be_kind_of(Core::Variable)
+
+          # Is the goal correctly built?
+          goal = created.goal
+          expect(goal.relation).to eq(Core::Equals.instance)
+          expect(goal.actuals[0]).to be_kind_of(Core::ConsCell)
+          expect(goal.actuals[0].car).to be_kind_of(Core::VariableRef)
+          expect(goal.actuals[0].car.name).to eq('q')
+          expect(goal.actuals[0].cdr).to be_kind_of(Core::VariableRef)
+          expect(goal.actuals[0].cdr.name).to eq('d')
+          expect(goal.actuals[1]).to be_kind_of(Core::ConsCell)
+          expect(goal.actuals[1].to_s).to eq('(:a :c :o :r :n)')
+        end
+      end # context
+    end # describe
+  end # module
+end # module

data/spec/glue/run_star_expression_spec.rb

@@ -23,6 +23,7 @@ module MiniKraken
   module Glue
     describe RunStarExpression do
       include FactoryMethods
+
       let(:pea) { k_symbol(:pea) }
       let(:pod) { k_symbol(:pod) }
       let(:sample_goal) { equals_goal(pea, pod) }
@@ -265,8 +266,8 @@ module MiniKraken
         it 'should unify complex equality expressions (IV)' do
           # Reasoned S2, frame 1:36
           # (run* q (fresh (x) (==  '(((,q)) (,x)) `(((,x)) pod)))) ;; => ('pod)
-          expr1 = cons(cons(cons(ref_q)), ref_x)
-          expr2 = cons(cons(cons(ref_x)), pod)
+          expr1 = cons(cons(cons(ref_q)), cons(ref_x))
+          expr2 = cons(cons(cons(ref_x)), cons(pod))
           goal = equals_goal(expr1, expr2)
           fresh_env = FreshEnv.new(['x'], goal)
           instance = RunStarExpression.new('q', fresh_env)

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mini_kraken
 version: !ruby/object:Gem::Version
-  version: 0.2.02
+  version: 0.2.03
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-08-08 00:00:00.000000000 Z
+date: 2020-09-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -80,6 +80,7 @@ files:
 - lib/mini_kraken/core/conde.rb
 - lib/mini_kraken/core/conj2.rb
 - lib/mini_kraken/core/cons_cell.rb
+- lib/mini_kraken/core/cons_cell_visitor.rb
 - lib/mini_kraken/core/def_relation.rb
 - lib/mini_kraken/core/designation.rb
 - lib/mini_kraken/core/disj2.rb
@@ -107,6 +108,7 @@ files:
 - lib/mini_kraken/core/vocabulary.rb
 - lib/mini_kraken/glue/dsl.rb
 - lib/mini_kraken/glue/fresh_env.rb
+- lib/mini_kraken/glue/fresh_env_factory.rb
 - lib/mini_kraken/glue/run_star_expression.rb
 - lib/mini_kraken/version.rb
 - mini_kraken.gemspec
@@ -116,6 +118,7 @@ files:
 - spec/core/conde_spec.rb
 - spec/core/conj2_spec.rb
 - spec/core/cons_cell_spec.rb
+- spec/core/cons_cell_visitor_spec.rb
 - spec/core/def_relation_spec.rb
 - spec/core/disj2_spec.rb
 - spec/core/duck_fiber_spec.rb
@@ -132,6 +135,8 @@ files:
 - spec/core/variable_spec.rb
 - spec/core/vocabulary_spec.rb
 - spec/glue/dsl_chap1_spec.rb
+- spec/glue/dsl_chap2_spec.rb
+- spec/glue/fresh_env_factory_spec.rb
 - spec/glue/fresh_env_spec.rb
 - spec/glue/run_star_expression_spec.rb
 - spec/mini_kraken_spec.rb
@@ -167,6 +172,7 @@ test_files:
 - spec/core/conde_spec.rb
 - spec/core/conj2_spec.rb
 - spec/core/cons_cell_spec.rb
+- spec/core/cons_cell_visitor_spec.rb
 - spec/core/def_relation_spec.rb
 - spec/core/disj2_spec.rb
 - spec/core/duck_fiber_spec.rb
@@ -183,6 +189,8 @@ test_files:
 - spec/core/variable_spec.rb
 - spec/core/vocabulary_spec.rb
 - spec/glue/dsl_chap1_spec.rb
+- spec/glue/dsl_chap2_spec.rb
+- spec/glue/fresh_env_factory_spec.rb
 - spec/glue/fresh_env_spec.rb
 - spec/glue/run_star_expression_spec.rb
 - spec/mini_kraken_spec.rb