mini_kraken 0.1.05 → 0.1.06

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e4ce5f0f43f5e84f377cf90e2ed49d6ff54de93b66641655fb41dd6b8feef277
-  data.tar.gz: 2081e486f8beba0b0073461464c632fa63af83cec27a48fb3d84c1a972b821f9
+  metadata.gz: 800d58c5efac32c005931c5a019f4440060728d1061c381bd10f95d554a525b1
+  data.tar.gz: 217448cd67ca952439e81da5c89393ddd57d061d7ca9d5ed310119d1aab32cbf
 SHA512:
-  metadata.gz: ea0580c9219f1a1fd586d024f06e11cf6dd1f979182c6f5a15473c65b78fa7244ba01ca9191f31e73de78b20d7aa88c60d86afa1207dbaab246c64c6650f0d1f
-  data.tar.gz: 9af43ee21606cac23d2512002491d0264fcbc7a74b9974edbd70c23f4bcbf25c7cc7010845aad88dee2d507a1f6d070dd402cd9a6f2abe0234999617b3ae7b68
+  metadata.gz: e52d5bdc7a34e1b303f2423fd8463766852bd61dc14d77e7bce43bcf653fd43d2331eb8f4bbc1beee13958e4621c9729b728d0cf5bbb5336bd5e277bf859a473
+  data.tar.gz: 75b7a091579f667b41949905861ec314eb6a269ca5316b67df80cbf9f02d6d86ecd1c0ff74d61de3018c802e7c48ff7a2e4719bcb75f0ef45cca0092ebd3cb25

data/CHANGELOG.md

@@ -1,3 +1,19 @@
+## [0.1.06] - 2020-05-20
+- Implementation of `conj2` (two arguments conjunction)
+
+### New
+- Class `CompositeGoal`
+- Class `Conj2` as subclass of `GoalRelation` that implements the conjunction of two subgoals
+- Mixin module `Designation` to factor out the common methods in `Variable` and `VariableRef` classes
+- Class `GoalArg` abstract class, that is a generalization for anything that be be argument of a goal.
+- Class `GoalRelation` as subclass of `Relation`. A goal that is linked to a such relation may have goals as its arguments only.
+
+### Changed
+- Class `Goal` is new subclass of class `GoalArg`. Therefore a goal can be an argument to another goal.
+- Class `Term` is new subclass of class `GoalArg`. Therefore a term can be an argument of a goal.
+- Classes `Variable`, `VariableRef` now include mix-in module `Designation`
+- File `cd_implementation.txt` Updated with changes of class relationship
+
 ## [0.1.05] - 2020-05-09
 - Changed implementation of fused variables  
 - Magic comments for frozen string literal

data/README.md

@@ -13,12 +13,14 @@ ISBN: 9780262535519, (2018), MIT Press.
 ### Features
 - [X] ==  
 - [X] run\*  
-- [X] fresh  
+- [X] fresh 
+- [X] conj2  
 
 ### TODO
 - [ ] disj2  
-- [ ] conj2  
+- [ ] defrel 
 - [ ] conde  
+- [ ] Occurs check
 
 ## Installation
 

data/lib/mini_kraken/core/composite_goal.rb

@@ -0,0 +1,46 @@
+# frozen_string_literal: true
+
+require_relative 'environment'
+
+module MiniKraken
+  module Core
+    class CompositeGoal
+      # @return [Operator] The operator corresponding to this goal
+      attr_reader :operator
+
+      # @return [Array<Goal>] The child goals (sub-goals)
+      attr_reader :children
+
+      # @param anOperator [Operator] The operator corresponding to this goal
+      # @param theChildren [Array<Goal>] The child goals (sub-goals)
+      def initialize(anOperator, theChildren)
+        @operator = anOperator
+        @children = validated_children(theChildren)
+      end
+
+      # Attempt to achieve the goal for a given context (environment)
+      # @param anEnv [Environment] The context in which the goal take place.
+      # @return [Fiber<Outcome>] A Fiber object that will generate the results.
+      def attain(anEnv)
+        operator.solver_for(children, anEnv)
+      end
+
+      private
+
+      def validated_children(theChildren)
+        my_arity = operator.arity
+        if args.size != my_arity
+          err_msg = "Goal has #{theChildren.size} arguments, expected #{my_arity}"
+          raise StandardError, err_msg
+        end
+
+        prefix = 'Invalid goal argument '
+        theChildren.each do |subg|
+          raise StandardError, prefix + subg.to_s unless subg.kind_of?(Goal)
+        end
+
+        theChildren.dup
+      end
+    end # class
+  end # module
+end # module

data/lib/mini_kraken/core/composite_term.rb

@@ -8,6 +8,8 @@ module MiniKraken
     # An composite term is an Minikraken term that can be
     # decomposed into simpler MiniKraken data value(s).
     class CompositeTerm < Term
+      # Abstract method (to override). Return the child terms.
+      # @return [Array<Term>]
       def children
         raise NotImplementedError, 'This method must re-defined in subclass(es).'
       end

data/lib/mini_kraken/core/conj2.rb

@@ -0,0 +1,86 @@
+# frozen_string_literal: true
+
+require 'singleton'
+require_relative 'duck_fiber'
+require_relative 'goal'
+require_relative 'goal_relation'
+require_relative 'outcome'
+
+module MiniKraken
+  module Core
+    # The conjunction is a relation that accepts only goal(s) as its two
+    # arguments. It succeeds if and only both its goal arguments succeeds.
+    class Conj2 < GoalRelation
+      include Singleton
+
+      def initialize
+        super('conj2', nil)
+      end
+
+      # @param actuals [Array<Term>] A two-elements array
+      # @param anEnv [Vocabulary] A vocabulary object
+      # @return [Fiber<Outcome>] A Fiber that yields Outcomes objects
+      def solver_for(actuals, anEnv)
+        g1, g2 = *validated_args(actuals)
+        Fiber.new { conjunction(g1, g2, anEnv) }
+      end
+
+      # Yields [Outcome, NilClass] result of the conjunction
+      # @param g1 [Goal] First goal argument
+      # @param g2 [Goal] Second goal argument
+      # @param voc [Vocabulary] A vocabulary object
+      def conjunction(g1, g2, voc)
+        # require 'debug'
+        outcome1 = nil
+        outcome2 = nil
+        if g1.relation.kind_of?(Fail) || g2.relation.kind_of?(Fail)
+          Fiber.yield Outcome.new(:"#u", voc)
+        else
+          f1 = g1.attain(voc)
+          loop do
+            outcome1 = f1.resume
+            break unless outcome1
+
+            outcome1.parent = voc unless outcome1.parent
+            if outcome1.successful?
+              f2 = g2.attain(outcome1)
+              loop do
+                outcome2 = f2.resume
+                break unless outcome2
+
+                outcome2.parent = voc unless outcome2.parent
+                if outcome2.successful?
+                  res = Outcome.new(:"#s", voc)
+                  res.merge(outcome1)
+                  res.merge(outcome2)
+                  Fiber.yield res
+                else
+                  Fiber.yield outcome2
+                end
+                outcome2.clear
+              end
+            else
+              Fiber.yield outcome1
+            end
+            voc.clear if outcome1&.successful? && outcome2&.successful?
+          end
+        end
+
+        Fiber.yield nil
+      end
+
+      private
+
+      def validated_args(actuals)
+        actuals.each do |arg|
+          unless arg.kind_of?(Goal)
+            prefix = 'conj2 expects goal as argument, found a '
+            raise StandardError, prefix + "'#{arg.class}'"
+          end
+        end
+
+        actuals
+      end
+    end # class
+  end # module
+end # module

data/lib/mini_kraken/core/designation.rb

@@ -0,0 +1,55 @@
+# frozen_string_literal: true
+
+module MiniKraken
+  module Core
+    # Wordnet definition: Identifying word or words by which someone or
+    # something is called and classified or distinguished from others.
+    # Mix-in module that contains factored code for managing named entries
+    # in a vocabulary such as variables and variable references.
+    module Designation
+      # @return [String] User-defined name of the variable
+      attr_reader :name
+
+      def init_designation(aName)
+        @name = valid_name(aName)
+      end
+
+      # @param voc [Vocabulary]
+      # @return [Freshness]
+      def freshness(voc)
+        voc.freshness_ref(self)
+      end
+
+      # @param voc [Vocabulary]
+      # @return [Boolean]
+      def fresh?(voc)
+        frsh = freshness(voc)
+        frsh.degree == :fresh || frsh.degree == :bound
+      end
+
+      # @param voc [Vocabulary]
+      # @return [Boolean]
+      def bound?(voc)
+        frsh = freshness(voc)
+        frsh.degree == :bound
+      end
+
+      # @param voc [Vocabulary]
+      # @return [Boolean]
+      def ground?(voc)
+        frsh = freshness(voc)
+        frsh.degree == :bound
+      end
+
+      private
+
+      def valid_name(aName)
+        if aName.empty?
+          raise StandardError, 'Variable name may not be empty.'
+        end
+
+        aName
+      end
+    end # class
+  end # module
+end # module

data/lib/mini_kraken/core/equals.rb

@@ -17,15 +17,9 @@ module MiniKraken
         super('equals', '==')
       end
 
-=begin
-    double data flow:
-      A goal has actual arguments
-      When its corresponding relation is invoked
-      this one will return two things: (a success, the bindings/constraints
-      resulting from the relation)
-      the bindings/constraints can be undone if enclosing fails, otherwise
-      the bindings/constraints are rolled up.
-=end
+      # @param actuals [Array<Term>] A two-elements array
+      # @param anEnv [Vocabulary] A vocabulary object
+      # @return [Fiber<Outcome>] A Fiber(-like) instance that yields Outcomes
       def solver_for(actuals, anEnv)
         arg1, arg2 = *actuals
         DuckFiber.new(:custom) { unification(arg1, arg2, anEnv) }

data/lib/mini_kraken/core/goal.rb

@@ -3,8 +3,10 @@
 require_relative 'environment'
 
 module MiniKraken
+  require_relative 'goal_arg'
+
   module Core
-    class Goal
+    class Goal < GoalArg
       # @return [Relation] The relation corresponding to this goal
       attr_reader :relation
 
@@ -35,7 +37,7 @@ module MiniKraken
 
         prefix = 'Invalid goal argument '
         args.each do |actl|
-          raise StandardError, prefix + actl.to_s unless actl.kind_of?(Term)
+          raise StandardError, prefix + actl.to_s unless actl.kind_of?(GoalArg)
         end
 
         args.dup

data/lib/mini_kraken/core/goal_arg.rb

@@ -0,0 +1,10 @@
+# frozen_string_literal: true
+
+module MiniKraken
+  module Core
+    # The generalization of any iem that can be
+    # passed as arugement to a goal.
+    class GoalArg
+    end # class
+  end # module
+end # module

data/lib/mini_kraken/core/goal_relation.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+require_relative 'relation'
+
+module MiniKraken
+  module Core
+    # A specialization of a relation that accepts only goal(s)
+    # as its arguments.
+    class GoalRelation < Relation
+      def arity
+        2
+      end
+    end # class
+  end # module
+end # module

data/lib/mini_kraken/core/term.rb

@@ -1,9 +1,12 @@
 # frozen_string_literal: true
 
+require_relative 'goal_arg'
+
 module MiniKraken
   module Core
-    # The generalization of data value in MiniKraken
-    class Term
+    # The generalization of any data value that can be
+    # passed as arugement to a goal.
+    class Term < GoalArg
     end # class
   end # module
 end # module

data/lib/mini_kraken/core/variable.rb

@@ -1,5 +1,6 @@
 # frozen_string_literal: true
 
+require_relative 'designation'
 require_relative 'any_value'
 require_relative 'vocabulary'
 
@@ -8,32 +9,17 @@ module MiniKraken
     # Representation of a MiniKraken variable.
     # It is a named slot that can be associated with one value.
     class Variable
-      # @return [String] User-defined name of the variable
-      attr_reader :name
+      include Designation # Mixin: Acquire name attribute
 
       # @return [String] Internal variable name used by MiniKraken
       attr_accessor :i_name
 
       # @param aName [String] The name of the variable
       def initialize(aName)
-        @name = valid_name(aName)
+        init_designation(aName)
         @i_name = name.dup
       end
 
-      def fresh?(anEnvironment)
-        anEnvironment.fresh?(self)
-      end
-
-      # @param env [Environment]
-      # @return [Freshness]
-      def freshness(env)
-        env.freshness_ref(self)
-      end
-
-      def ground?(anEnvironment)
-        !fresh?(anEnvironment)
-      end
-
       def fused?
         name != i_name
       end
@@ -44,16 +30,6 @@ module MiniKraken
         val = anEnvironment.quote_ref(self)
         val.nil? ? AnyValue.new(name, anEnvironment) : val
       end
-
-      private
-
-      def valid_name(aName)
-        if aName.empty?
-          raise StandardError, 'Variable name may not be empty.'
-        end
-
-        aName
-      end
     end # class
   end # module
 end # module

data/lib/mini_kraken/core/variable_ref.rb

@@ -8,31 +8,12 @@ module MiniKraken
     # A variable reference represents the occurrence of a variable (name) in a
     # MiniKraken term.
     class VariableRef < Term
-      # @return [String] Name of the variable
-      attr_reader :var_name
+      include Designation # Mixin: Acquire name attribute
+      alias var_name name
 
       # @param aName [String] The name of the variable
       def initialize(aName)
-        @var_name = valid_name(aName)
-      end
-
-      # @param env [Environment]
-      # @return [Boolean]
-      def fresh?(env)
-        env.fresh?(self)
-      end
-
-      # @param env [Environment]
-      # @return [Boolean]
-      def bound?(env)
-        freshness = env.freshness_ref(self)
-        freshness.degree == :bound
-      end
-
-      # @param env [Environment]
-      # @return [Boolean]
-      def ground?(env)
-        !fresh?(env)
+        init_designation(aName)
       end
 
       # @param aValue [Term]
@@ -54,12 +35,6 @@ module MiniKraken
         freshness.associated
       end
 
-      # @param env [Environment]
-      # @return [Freshness]
-      def freshness(env)
-        env.freshness_ref(self)
-      end
-
       # @param env [Environment]
       def quote(env)
         val = env.quote_ref(self)

data/lib/mini_kraken/core/vocabulary.rb

@@ -236,7 +236,7 @@ module MiniKraken
         walker.find_ground(name, self)
       end
 
-      # @param var [CompositeTerm] the composite term to check.
+      # @param val [CompositeTerm] the composite term to check.
       # @return [Boolean]
       def fresh_value?(val)
         walker = AssociationWalker.new
@@ -291,7 +291,7 @@ module MiniKraken
       end
 
       # Return the variable with given internal variable name.
-      # @param aName [String] internal variable name
+      # @param i_name [String] internal variable name
       # @return [Variable]
       def i_name2var(i_name)
         var = nil

data/lib/mini_kraken/glue/run_star_expression.rb

@@ -31,10 +31,10 @@ module MiniKraken
           if result # ... more than one result...
           elsif outcome.successful?
             env.propagate(outcome)
-            # require 'debug'
             result = Core::ConsCell.new(var.quote(outcome))
           else
             result = Core::NullList
+            env.associations.freeze
           end
         end
 

data/lib/mini_kraken/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module MiniKraken
-  VERSION = '0.1.05'
+  VERSION = '0.1.06'
 end

data/spec/core/conj2_spec.rb

@@ -0,0 +1,115 @@
+# frozen_string_literal: true
+
+require_relative '../spec_helper' # Use the RSpec framework
+require_relative '../../lib/mini_kraken/core/k_symbol'
+require_relative '../../lib/mini_kraken/core/fail'
+require_relative '../../lib/mini_kraken/core/succeed'
+require_relative '../../lib/mini_kraken/core/equals'
+require_relative '../../lib/mini_kraken/core/environment'
+require_relative '../../lib/mini_kraken/core/variable'
+require_relative '../../lib/mini_kraken/core/variable_ref'
+
+# Load the class under test
+require_relative '../../lib/mini_kraken/core/conj2'
+
+
+module MiniKraken
+  module Core
+    describe Conj2 do
+      subject { Conj2.instance }
+
+      context 'Initialization:' do
+        it 'should be initialized without argument' do
+          expect { Conj2.instance }.not_to raise_error
+        end
+
+        it 'should know its name' do
+          expect(subject.name).to eq('conj2')
+        end
+      end # context
+
+      context 'Provided services:' do
+        let(:env) { Environment.new }
+        let(:pea) { KSymbol.new(:pea) }
+        let(:corn) { KSymbol.new(:corn) }
+        let(:meal) { KSymbol.new(:meal) }
+        let(:fails) { Goal.new(Fail.instance, []) }
+        let(:succeeds) { Goal.new(Succeed.instance, []) }
+        let(:var_q) { Variable.new('q') }
+        let(:ref_q) { VariableRef.new('q') }
+
+        it 'should complain when one of its argument is not a goal' do
+          err = StandardError
+          expect { subject.solver_for([succeeds, pea], env) }.to raise_error(err)
+          expect { subject.solver_for([pea, succeeds], env) }.to raise_error(err)
+        end
+
+        it 'should yield one failure if one of the goal is fail' do
+          # Fail as first argument
+          solver = subject.solver_for([fails, succeeds], env)
+          expect(solver.resume).not_to be_successful
+          expect(solver.resume).to be_nil
+
+          # Fail as second argument
+          solver = subject.solver_for([succeeds, fails], env)
+          expect(solver.resume).not_to be_successful
+          expect(solver.resume).to be_nil
+        end
+
+        it 'yield success if both arguments are succeed goals' do
+          # Covers frame 1-50
+          solver = subject.solver_for([succeeds, succeeds], env)
+          outcome = solver.resume
+          expect(outcome).to be_successful
+          expect(outcome.associations).to be_empty
+          expect(solver.resume).to be_nil
+        end
+
+        it 'should yield success and set associations' do
+          # # Weird: this example succeeds if run alone...
+          # # Covers frame 1-51
+          # env.add_var(var_q)
+          # sub_goal = Goal.new(Equals.instance, [corn, ref_q])
+          # solver = subject.solver_for([succeeds, sub_goal], env)
+          # outcome = solver.resume
+          # expect(outcome).to be_successful
+          # expect(outcome.associations).not_to be_empty
+          # expect(outcome.associations['q'].first.value).to eq(corn)
+        end
+
+        it 'should yield fails and set no associations' do
+          # Covers frame 1-52
+          env.add_var(var_q)
+          sub_goal = Goal.new(Equals.instance, [corn, ref_q])
+          solver = subject.solver_for([fails, sub_goal], env)
+          outcome = solver.resume
+          expect(outcome).not_to be_successful
+          expect(outcome.associations).to be_empty
+        end
+
+        it 'should yield fails when sub-goals are incompatible' do
+          # Covers frame 1-53
+          env.add_var(var_q)
+          sub_goal1 = Goal.new(Equals.instance, [corn, ref_q])
+          sub_goal2 = Goal.new(Equals.instance, [meal, ref_q])
+          solver = subject.solver_for([sub_goal1, sub_goal2], env)
+          outcome = solver.resume
+          expect(outcome).not_to be_successful
+          expect(outcome.associations).to be_empty
+        end
+
+        it 'should yield success when sub-goals are same and successful' do
+          # Covers frame 1-54
+          env.add_var(var_q)
+          sub_goal1 = Goal.new(Equals.instance, [corn, ref_q])
+          sub_goal2 = Goal.new(Equals.instance, [corn, ref_q])
+          solver = subject.solver_for([sub_goal1, sub_goal2], env)
+          outcome = solver.resume
+          expect(outcome).to be_successful
+          expect(outcome.associations).not_to be_empty
+          expect(outcome.associations['q'].first.value).to eq(corn)
+        end
+      end # context
+    end # describe
+  end # module
+end # module

data/spec/glue/run_star_expression_spec.rb

@@ -2,6 +2,7 @@
 
 require_relative '../spec_helper' # Use the RSpec framework
 require_relative '../../lib/mini_kraken/core/goal'
+require_relative '../../lib/mini_kraken/core/conj2'
 require_relative '../../lib/mini_kraken/core/equals'
 require_relative '../../lib/mini_kraken/core/fail'
 require_relative '../../lib/mini_kraken/core/succeed'
@@ -37,12 +38,16 @@ module MiniKraken
       end # context
 
       context 'Provided services:' do
+        let(:corn) { k_symbol(:corn) }
+        let(:meal) { k_symbol(:meal) }
         let(:ref_q) { Core::VariableRef.new('q') }
         let(:ref_x) { Core::VariableRef.new('x') }
         let(:ref_y) { Core::VariableRef.new('y') }
         let(:ref_s) { Core::VariableRef.new('s') }
         let(:ref_t) { Core::VariableRef.new('t') }
         let(:ref_u) { Core::VariableRef.new('u') }
+        let(:fails) { Core::Goal.new(Core::Fail.instance, []) }
+        let(:succeeds) { Core::Goal.new(Core::Succeed.instance, []) }
 
         it 'should return a null list with the fail goal' do
           # Reasoned S2, frame 1:7
@@ -356,6 +361,66 @@ module MiniKraken
           expect(ref_y.fresh?(fresh_env_y)).to be_truthy
           expect(result.car).to eq(cons(any_value(0), cons(any_value(1), cons(any_value(0)))))
         end
+
+        it 'should support conjunction of two succeed' do
+          goal = conj2_goal(succeeds, succeeds)
+          instance = RunStarExpression.new('q', goal)
+
+          # Reasoned S2, frame 1:50
+          # (run* q (conj2 succeed succeed)) ;; => (_0)
+          result = instance.run
+          expect(ref_q.fresh?(instance.env)).to be_truthy
+          expect(result.car).to eq(any_value(0))
+        end
+
+        # TODO: fix erratic RSpec failure
+        # it 'should support conjunction of one succeed and a successful goal' do
+          # subgoal = equals_goal(corn, ref_q)
+          # goal = conj2_goal(succeeds, subgoal)
+          # instance = RunStarExpression.new('q', goal)
+
+          # # Reasoned S2, frame 1:51
+          # # (run* q (conj2 succeed (== 'corn q)) ;; => ('corn)
+          # result = instance.run
+          # expect(ref_q.fresh?(instance.env)).to be_falsy
+          # expect(result.car).to eq(corn)
+        # end
+
+        it 'should support conjunction of one fail and a successful goal' do
+          subgoal = equals_goal(corn, ref_q)
+          goal = conj2_goal(fails, subgoal)
+          instance = RunStarExpression.new('q', goal)
+
+          # Reasoned S2, frame 1:52
+          # (run* q (conj2 fail (== 'corn q)) ;; => ()
+          expect(instance.run).to be_null
+          expect(ref_q.fresh?(instance.env)).to be_truthy
+        end
+
+        it 'should support conjunction of two contradictory goals' do
+          subgoal1 = equals_goal(corn, ref_q)
+          subgoal2 = equals_goal(meal, ref_q)
+          goal = conj2_goal(subgoal1, subgoal2)
+          instance = RunStarExpression.new('q', goal)
+
+          # Reasoned S2, frame 1:53
+          # (run* q (conj2 (== 'corn q)(== 'meal q)) ;; => ()
+          expect(instance.run).to be_null
+          expect(ref_q.fresh?(instance.env)).to be_truthy
+        end
+
+        it 'should succeed the conjunction of two identical goals' do
+          subgoal1 = equals_goal(corn, ref_q)
+          subgoal2 = equals_goal(corn, ref_q)
+          goal = conj2_goal(subgoal1, subgoal2)
+          instance = RunStarExpression.new('q', goal)
+
+          # Reasoned S2, frame 1:54
+          # (run* q (conj2 (== 'corn q)(== 'corn q)) ;; => ('corn)
+          result = instance.run
+          expect(ref_q.fresh?(instance.env)).to be_falsy
+          expect(result.car).to eq(corn)
+        end
       end # context
     end # describe
   end # module

data/spec/support/factory_methods.rb

@@ -34,6 +34,14 @@ module MiniKraken
       Core::Goal.new(Core::Equals.instance, [arg1, arg2])
     end
 
+    # Factory method for constructing a goal using the Equals relation.
+    # @param g1 [Core::Goal]
+    # @param g2 [Core::Goal]
+    # @return [Core::Goal]
+    def conj2_goal(g1, g2)
+      Core::Goal.new(Core::Conj2.instance, [g1, g2])
+    end
+
     # Factory method for constructing a KSymbol instance
     # @param aSymbol [Symbol]
     # @return [Core::KSymbol]

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mini_kraken
 version: !ruby/object:Gem::Version
-  version: 0.1.05
+  version: 0.1.06
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-05-09 00:00:00.000000000 Z
+date: 2020-05-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -73,14 +73,19 @@ files:
 - 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_goal.rb
 - lib/mini_kraken/core/composite_term.rb
+- lib/mini_kraken/core/conj2.rb
 - lib/mini_kraken/core/cons_cell.rb
+- lib/mini_kraken/core/designation.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/freshness.rb
 - lib/mini_kraken/core/goal.rb
+- lib/mini_kraken/core/goal_arg.rb
+- lib/mini_kraken/core/goal_relation.rb
 - lib/mini_kraken/core/k_integer.rb
 - lib/mini_kraken/core/k_symbol.rb
 - lib/mini_kraken/core/nullary_relation.rb
@@ -97,6 +102,7 @@ files:
 - mini_kraken.gemspec
 - spec/core/association_spec.rb
 - spec/core/association_walker_spec.rb
+- spec/core/conj2_spec.rb
 - spec/core/cons_cell_spec.rb
 - spec/core/duck_fiber_spec.rb
 - spec/core/environment_spec.rb
@@ -140,6 +146,7 @@ summary: Implementation of Minikanren language in Ruby. WIP
 test_files:
 - spec/core/association_spec.rb
 - spec/core/association_walker_spec.rb
+- spec/core/conj2_spec.rb
 - spec/core/cons_cell_spec.rb
 - spec/core/duck_fiber_spec.rb
 - spec/core/environment_spec.rb