mini_kraken 0.1.07 → 0.1.12

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'
@@ -26,6 +27,13 @@ module MiniKraken
       Core::ConsCell.new(obj1, obj2)
     end
 
+    # Factory method for constructing a goal using the Equals relation.
+    # @param args [Array<Core::Goal>]
+    # @return [Core::Goal]
+    def conde_goal(args)
+      Core::Goal.new(Core::Conde.instance, args)
+    end
+
     # Factory method for constructing a goal using the Equals relation.
     # @param arg1 [Term]
     # @param arg2 [Term]
@@ -50,6 +58,13 @@ module MiniKraken
       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.07
+  version: 0.1.12
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-05-23 00:00:00.000000000 Z
+date: 2020-06-29 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -72,21 +72,28 @@ 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/conde.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
@@ -103,15 +110,20 @@ files:
 - mini_kraken.gemspec
 - spec/core/association_spec.rb
 - spec/core/association_walker_spec.rb
+- spec/core/conde_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,15 +160,20 @@ summary: Implementation of Minikanren language in Ruby. WIP
 test_files:
 - spec/core/association_spec.rb
 - spec/core/association_walker_spec.rb
+- spec/core/conde_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