mini_kraken 0.1.01 → 0.1.02

data/spec/support/factory_methods.rb

@@ -0,0 +1,54 @@
+require_relative '../../lib/mini_kraken/core/any_value'
+require_relative '../../lib/mini_kraken/core/cons_cell'
+require_relative '../../lib/mini_kraken/core/k_symbol'
+require_relative '../../lib/mini_kraken/core/variable'
+require_relative '../../lib/mini_kraken/core/variable_ref'
+
+module MiniKraken
+  # Mix-in module that provides convenience factory methods.
+  module FactoryMethods
+    # Factory method for constructing an AnyValue instance
+    # @param rank [Integer]
+    # @return [Core::AnyValue]
+    def any_value(rank)
+      Core::AnyValue.new(rank)
+    end
+
+    # Factory method for constructing a ConsCell
+    # @param obj1 [Term]
+    # @param obj2 [Term]    
+    # @return [Core::ConsCell]    
+    def cons(obj1, obj2 = nil)
+      Core::ConsCell.new(obj1, obj2)
+    end
+
+    # Factory method for constructing a goal using the Equals relation.
+    # @param arg1 [Term]
+    # @param arg2 [Term]    
+    # @return [Core::Goal]     
+    def equals_goal(arg1, arg2)
+      Core::Goal.new(Core::Equals.instance, [arg1, arg2])
+    end
+
+    # Factory method for constructing a KSymbol instance
+    # @param aSymbol [Symbol]
+    # @return [Core::KSymbol]    
+    def k_symbol(aSymbol)
+      Core::KSymbol.new(aSymbol)
+    end
+    
+    # Factory method for constructing a Variable
+    # @param var_name [String]
+    # @return [Core::Variable]    
+    def var_ref(var_name)
+      Core::Variable.new(var_name)
+    end
+    
+    # Factory method for constructing a VariableRef
+    # @param var_name [String]
+    # @return [Core::VariableRef]    
+    def var_ref(var_name)
+      Core::VariableRef.new(var_name)
+    end
+  end # end
+end # module

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mini_kraken
 version: !ruby/object:Gem::Version
-  version: 0.1.01
+  version: 0.1.02
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-03-01 00:00:00.000000000 Z
+date: 2020-04-28 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -68,27 +68,51 @@ files:
 - README.md
 - Rakefile
 - lib/mini_kraken.rb
-- lib/mini_kraken/core/facade.rb
+- lib/mini_kraken/core/any_value.rb
+- lib/mini_kraken/core/association.rb
+- lib/mini_kraken/core/association_walker.rb
+- lib/mini_kraken/core/atomic_term.rb
+- lib/mini_kraken/core/binary_relation.rb
+- lib/mini_kraken/core/composite_term.rb
+- lib/mini_kraken/core/cons_cell.rb
+- lib/mini_kraken/core/duck_fiber.rb
+- lib/mini_kraken/core/environment.rb
+- lib/mini_kraken/core/equals.rb
 - lib/mini_kraken/core/fail.rb
-- lib/mini_kraken/core/formal_arg.rb
+- lib/mini_kraken/core/freshness.rb
 - lib/mini_kraken/core/goal.rb
+- lib/mini_kraken/core/k_integer.rb
+- lib/mini_kraken/core/k_symbol.rb
 - lib/mini_kraken/core/nullary_relation.rb
-- lib/mini_kraken/core/publisher.rb
+- lib/mini_kraken/core/outcome.rb
 - lib/mini_kraken/core/relation.rb
-- lib/mini_kraken/core/run_star_expression.rb
 - lib/mini_kraken/core/succeed.rb
+- lib/mini_kraken/core/term.rb
 - lib/mini_kraken/core/variable.rb
-- lib/mini_kraken/dsl/kraken_dsl.rb
+- lib/mini_kraken/core/variable_ref.rb
+- lib/mini_kraken/core/vocabulary.rb
+- lib/mini_kraken/glue/fresh_env.rb
+- lib/mini_kraken/glue/run_star_expression.rb
 - lib/mini_kraken/version.rb
 - mini_kraken.gemspec
-- spec/core/facade_spec.rb
+- spec/core/association_spec.rb
+- spec/core/association_walker_spec.rb
+- spec/core/cons_cell_spec.rb
+- spec/core/duck_fiber_spec.rb
+- spec/core/environment_spec.rb
+- spec/core/equals_spec.rb
 - spec/core/fail_spec.rb
 - spec/core/goal_spec.rb
-- spec/core/run_star_expression_spec.rb
+- spec/core/k_symbol_spec.rb
+- spec/core/succeed_spec.rb
+- spec/core/variable_ref_spec.rb
 - spec/core/variable_spec.rb
-- spec/dsl/kraken_dsl_spec.rb
+- spec/core/vocabulary_spec.rb
+- spec/glue/fresh_env_spec.rb
+- spec/glue/run_star_expression_spec.rb
 - spec/mini_kraken_spec.rb
 - spec/spec_helper.rb
+- spec/support/factory_methods.rb
 homepage: https://github.com/famished-tiger/mini_kraken
 licenses:
 - MIT
@@ -114,10 +138,19 @@ signing_key:
 specification_version: 4
 summary: Implementation of Minikanren language in Ruby. WIP
 test_files:
-- spec/core/facade_spec.rb
+- spec/core/association_spec.rb
+- spec/core/association_walker_spec.rb
+- spec/core/cons_cell_spec.rb
+- spec/core/duck_fiber_spec.rb
+- spec/core/environment_spec.rb
+- spec/core/equals_spec.rb
 - spec/core/fail_spec.rb
 - spec/core/goal_spec.rb
-- spec/core/run_star_expression_spec.rb
+- spec/core/k_symbol_spec.rb
+- spec/core/succeed_spec.rb
+- spec/core/variable_ref_spec.rb
 - spec/core/variable_spec.rb
-- spec/dsl/kraken_dsl_spec.rb
+- spec/core/vocabulary_spec.rb
+- spec/glue/fresh_env_spec.rb
+- spec/glue/run_star_expression_spec.rb
 - spec/mini_kraken_spec.rb

data/lib/mini_kraken/core/facade.rb

@@ -1,45 +0,0 @@
-require_relative 'variable'
-require_relative 'run_star_expression'
-
-module MiniKraken
-  module Core
-    class Facade
-      attr_reader :publisher
-      def initialize(aPublisher)
-        @publisher = aPublisher
-      end
-
-      def run_star(theVariables, aGoal)
-        tuple = build_tuple(theVariables)
-
-        expr = RunStarExpression.new(tuple, aGoal)
-        expr.run(publisher)
-      end
-
-      private
-
-      def build_tuple(theVariables)
-        tuple = nil
-        if theVariables.kind_of?(Array)
-          tuple = theVariables.map { |v| build_single_var(v) }
-        else
-          tuple = [build_single_var(theVariables)]
-        end
-
-        tuple
-      end
-
-      def build_single_var(aVar)
-        var = nil
-        case aVar
-          when Symbol
-            var = Variable.new(aVar.to_s)
-          when String
-            var = Variable.new(aVar)
-        end
-
-        var
-      end
-    end # class
-  end # module
-end # module

data/lib/mini_kraken/core/formal_arg.rb

@@ -1,6 +0,0 @@
-module MiniKraken
-  module Core
-    class FormalArg
-    end # class
-  end # module
-end # module

data/lib/mini_kraken/core/publisher.rb

@@ -1,27 +0,0 @@
-module MiniKraken
-  module Core
-    class Publisher
-      attr_reader :subscribers
-
-      def initialize
-        @subscribers = []
-      end
-      
-      def subscribe(aListener)
-        @subscribers << aListener
-      end
-      
-      def broadcast_entry(aGoal, variables)
-        subscribers.each do |subscr|
-          subscr.on_entry(aGoal, variables)
-        end
-      end
-      
-      def broadcast_exit(aGoal, variables, outcome)
-        subscribers.each do |subscr|
-          subscr.on_exit(aGoal, variables, outcome)
-        end      
-      end      
-    end # class
-  end # module
-end # module

data/lib/mini_kraken/core/run_star_expression.rb

@@ -1,34 +0,0 @@
-module MiniKraken
-  module Core
-    class RunStarExpression
-      attr_reader :vars
-      attr_reader :goal
-
-      def initialize(theVariables, aGoal)
-        @vars = validated_vars(theVariables)
-        @goal = aGoal
-      end
-      
-      def run(aPublisher)
-        goal.attain(aPublisher, vars)
-      end
-
-      private
-
-      def validated_vars(theVariables)
-        variables = {} 
-        case theVariables
-          when Variable
-            variables[theVariables.name] = theVariables
-
-          when Array
-            theVariables.each { |v| variables[v.name] = v }
-          else
-            raise StandardError, "Invalid argument #{p theVariables}"
-        end
-        
-        variables
-      end
-    end # class
-  end # module
-end # module

data/lib/mini_kraken/dsl/kraken_dsl.rb

@@ -1,12 +0,0 @@
-require_relative '../core/fail'
-require_relative '../core/goal'
-
-module MiniKraken
-  module DSL
-    module KrakenDSL
-      def fail
-        Core::Goal.new(Core::Fail.instance, [])
-      end
-    end # module
-  end # module
-end # module

data/spec/core/facade_spec.rb

@@ -1,38 +0,0 @@
-# frozen_string_literal: true
-
-require_relative '../spec_helper' # Use the RSpec framework
-
-require_relative '../../lib/mini_kraken/core/fail'
-require_relative '../../lib/mini_kraken/core/goal'
-require_relative '../../lib/mini_kraken/core/publisher'
-require_relative '../../lib/mini_kraken/dsl/kraken_dsl'
-# Load the class under test
-require_relative '../../lib/mini_kraken/core/facade' 
-
-module MiniKraken
-  module Core
-    describe Facade do
-      include DSL::KrakenDSL
-
-      let(:a_pub) { Publisher.new }
-      let(:a_relation) { Fail.instance }
-      subject { Facade.new(a_pub) }
-
-      context 'Initialization:' do
-        it 'could have one publisher argument' do
-          expect { Facade.new(a_pub) }.not_to raise_error
-        end
-        
-        it 'should know its publisher' do
-          expect(subject.publisher).to eq(a_pub)
-        end        
-      end # context
-
-      context 'Provided services:' do
-        it 'should support run* expression' do
-          expect(subject.run_star('q', fail)).to be_empty
-        end
-      end # context
-    end # describe
-  end # module
-end # module

data/spec/core/run_star_expression_spec.rb

@@ -1,43 +0,0 @@
-# frozen_string_literal: true
-
-require_relative '../spec_helper' # Use the RSpec framework
-
-require_relative '../../lib/mini_kraken/core/variable'
-require_relative '../../lib/mini_kraken/core/fail'
-require_relative '../../lib/mini_kraken/core/goal'
-# Load the class under test
-require_relative '../../lib/mini_kraken/core/run_star_expression' 
-
-module MiniKraken
-  module Core
-    describe RunStarExpression do
-      let(:a_var) { Variable.new('q') }
-      let(:a_relation) { Fail.instance }      
-      let(:a_goal) { Goal.new(a_relation, []) }
-      subject { RunStarExpression.new(a_var, a_goal) }
-
-      context 'Initialization:' do
-        it 'could have one variable and a goal' do
-          expect { RunStarExpression.new(a_var, a_goal) }.not_to raise_error
-        end
-        
-        it 'should know its variables' do
-          expect(subject.vars['q']).to eq(a_var)
-        end
-        
-        it 'should know its goal' do
-          expect(subject.goal).to eq(a_goal)
-        end        
-      end # context
-
-      context 'Provided services:' do
-        it 'should unify the variable(s) with the given goal' do
-          pub = double('fake-publisher')
-          expect(pub).to receive(:broadcast_entry).with(a_goal, subject.vars)
-          expect(pub).to receive(:broadcast_exit).with(a_goal, subject.vars, [])          
-          expect(subject.run(pub)).to be_empty
-        end      
-      end # context
-    end # describe
-  end # module
-end # module

data/spec/dsl/kraken_dsl_spec.rb

@@ -1,31 +0,0 @@
-# frozen_string_literal: true
-
-require_relative '../spec_helper' # Use the RSpec framework
-
-# Load the class under test
-require_relative '../../lib/mini_kraken/dsl/kraken_dsl' 
-
-module MiniKraken
-  module DSL
-    describe KrakenDSL do
-      subject do 
-        obj = Object.new
-        obj.extend(KrakenDSL)
-      end
-
-      context 'Attaching mix-in:' do
-        it 'should extend object' do
-          obj = Object.new
-          expect { obj.extend(KrakenDSL) }.not_to raise_error
-        end
-      end # context
-
-      context 'Provided services:' do
-        it "should provide the 'fail' goal constructor" do
-          expect(subject.fail).to be_kind_of(Core::Goal)
-          expect(subject.fail.relation.name).to eq('fail')
-        end
-      end # context
-    end # describe
-  end # module
-end # module