mini_kraken 0.1.06 → 0.1.11

data/spec/mini_kraken_spec.rb

@@ -1,5 +1,7 @@
 # frozen_string_literal: true
 
+require_relative '../lib/mini_kraken/version/'
+
 RSpec.describe MiniKraken do
   it 'has a version number' do
     expect(MiniKraken::VERSION).not_to be nil

data/spec/spec_helper.rb

@@ -1,6 +1,5 @@
 # frozen_string_literal: true
 
-require 'bundler/setup'
 require 'rspec' # Use the RSpec framework
 
 RSpec.configure do |config|

data/spec/support/factory_methods.rb

@@ -2,6 +2,7 @@
 
 require_relative '../../lib/mini_kraken/core/any_value'
 require_relative '../../lib/mini_kraken/core/cons_cell'
+require_relative '../../lib/mini_kraken/core/k_boolean'
 require_relative '../../lib/mini_kraken/core/k_symbol'
 require_relative '../../lib/mini_kraken/core/variable'
 require_relative '../../lib/mini_kraken/core/variable_ref'
@@ -34,7 +35,7 @@ module MiniKraken
       Core::Goal.new(Core::Equals.instance, [arg1, arg2])
     end
 
-    # Factory method for constructing a goal using the Equals relation.
+    # Factory method for constructing a goal using the conjunction relation.
     # @param g1 [Core::Goal]
     # @param g2 [Core::Goal]
     # @return [Core::Goal]
@@ -42,6 +43,21 @@ module MiniKraken
       Core::Goal.new(Core::Conj2.instance, [g1, g2])
     end
 
+    # Factory method for constructing a goal using the disjunction relation.
+    # @param g1 [Core::Goal]
+    # @param g2 [Core::Goal]
+    # @return [Core::Goal]
+    def disj2_goal(g1, g2)
+      Core::Goal.new(Core::Disj2.instance, [g1, g2])
+    end
+
+    # Factory method for constructing a KBoolean instance
+    # @param aValue [Boolean]
+    # @return [Core::KBoolean]
+    def k_boolean(aValue)
+      Core::KBoolean.new(aValue)
+    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.06
+  version: 0.1.11
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-05-21 00:00:00.000000000 Z
+date: 2020-06-25 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -72,20 +72,27 @@ files:
 - lib/mini_kraken/core/association.rb
 - lib/mini_kraken/core/association_walker.rb
 - lib/mini_kraken/core/atomic_term.rb
+- lib/mini_kraken/core/base_arg.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/def_relation.rb
 - lib/mini_kraken/core/designation.rb
+- lib/mini_kraken/core/disj2.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/formal_ref.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/goal_template.rb
+- lib/mini_kraken/core/k_boolean.rb
 - lib/mini_kraken/core/k_integer.rb
 - lib/mini_kraken/core/k_symbol.rb
 - lib/mini_kraken/core/nullary_relation.rb
@@ -104,12 +111,17 @@ files:
 - spec/core/association_walker_spec.rb
 - spec/core/conj2_spec.rb
 - spec/core/cons_cell_spec.rb
+- spec/core/def_relation_spec.rb
+- spec/core/disj2_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/goal_template_spec.rb
+- spec/core/k_boolean_spec.rb
 - spec/core/k_symbol_spec.rb
+- spec/core/outcome_spec.rb
 - spec/core/succeed_spec.rb
 - spec/core/variable_ref_spec.rb
 - spec/core/variable_spec.rb
@@ -148,12 +160,17 @@ test_files:
 - spec/core/association_walker_spec.rb
 - spec/core/conj2_spec.rb
 - spec/core/cons_cell_spec.rb
+- spec/core/def_relation_spec.rb
+- spec/core/disj2_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/goal_template_spec.rb
+- spec/core/k_boolean_spec.rb
 - spec/core/k_symbol_spec.rb
+- spec/core/outcome_spec.rb
 - spec/core/succeed_spec.rb
 - spec/core/variable_ref_spec.rb
 - spec/core/variable_spec.rb