mini_kraken 0.3.00 → 0.3.01

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ceccf4c9ffeb71fc8759bbf1ea1db003d83e9e150df95793de7e729716c9538d
-  data.tar.gz: bab9d4b22a86eec0fcd95955a799a40bfd51c032d05a56b5c2569e0e833b4d2d
+  metadata.gz: 184cc99bd7696eb4f51fea822e74c98f42396f92cd47e1ce4501bed4cbb6a3c0
+  data.tar.gz: eb0bad624831f6643db7ec04265424cab58a9245f7fbfd472041e1eaa095de68
 SHA512:
-  metadata.gz: 5b8dac966209d3209419b2721c67ecd9ec1d1985b0a457877def4e9eda3a305b6952d996e1791436db33f863a046553df1567ef142fc7fe6d5d8092b7d0e2ecd
-  data.tar.gz: 5c99a985287a32d2e6a2c6dbbcabeaea07203e533372183817660eb2259edda6465b4993997b9dcb8dd0db59e0b69772f31409f17a587a3d55381d7f06151a74
+  metadata.gz: 3803703fc02bda7cee5cd72f511f1a4a32bfecb85663571c1b15f002ab82b7551e49654aea9ce3a12e06ffa7c4839999c9ae4df9ce3fd2f9ba679ff827d47541
+  data.tar.gz: 88bb32e2140526ee415542421ffad57ed768b67995c0a6d70b6c33d46f520b05ee312081b6d8a13ca64042ef004b0e7e2cf8baccbc226f385d0d67776220ac05

data/.rubocop.yml

@@ -1,334 +1,379 @@
-AllCops:
-  Exclude:
-    - 'exp/**/*'
-
-Layout/ArgumentAlignment:
-  Enabled: false
-
-Layout/ArrayAlignment:
-  Enabled: true
-  EnforcedStyle: with_fixed_indentation
-
-Layout/CaseIndentation:
-  Enabled: false
-
-Layout/ClosingHeredocIndentation:
-  Enabled: false
-
-Layout/CommentIndentation:
-  Enabled: false
-
-Layout/ElseAlignment:
-  Enabled: false
-
-Layout/EmptyLines:
-  Enabled: false
-
-Layout/EndAlignment:
-  Enabled: false
-
-Layout/EndOfLine:
-  Enabled: true
-  EnforcedStyle: lf
-
-Layout/FirstArgumentIndentation:
-  Enabled: false
-
-Layout/IndentationWidth:
-  Enabled: false
-
-Layout/IndentationConsistency:
-  Enabled: true
-
-Layout/HeredocIndentation:
-  Enabled: false
-
-Layout/MultilineHashBraceLayout:
-  Enabled: true
-  
-Layout/MultilineMethodCallBraceLayout:
-  Enabled: true
-  EnforcedStyle: same_line  
-
-Layout/SpaceAroundOperators:
-  Enabled: true
-
-Layout/SpaceInsideParens:
-  Enabled: true
-
-Layout/IndentationStyle:
-  Enabled: true
-  
-Layout/SpaceAroundMethodCallOperator:
-  Enabled: true
-
-Layout/TrailingEmptyLines:
-  Enabled: true
-
-Layout/TrailingWhitespace:
-  Enabled: true
-
-Lint/Loop:
-  Enabled: true
-  
-Lint/RaiseException:
-  Enabled: true
-
-Lint/RescueException:
-  Enabled: true
-  
-Lint/StructNewOverride:
-  Enabled: true
-
-Lint/UnusedMethodArgument:
-  Enabled: true
-
-Lint/UselessAccessModifier:
-  Enabled: true
-
-Lint/Void:
-  Enabled: false
-
-Lint/UselessAssignment:
-  Enabled: true
-
-Metrics/AbcSize:
-  Enabled: false
-
-Metrics/BlockLength:
-  Enabled: true
-  Max: 350
-  
-Metrics/BlockNesting:
-  Enabled: true
-  Max: 5
-
-Metrics/ClassLength:
-  Enabled: true
-  Max: 350
-
-Metrics/CyclomaticComplexity:
-  Enabled: false
-
-Layout/LineLength:
-  Enabled: false
-  Max: 90
-
-Metrics/MethodLength:
-  Enabled: true
-  Max: 50
-
-Metrics/ModuleLength:
-  Enabled: true
-  Max: 500
-
-Metrics/PerceivedComplexity:
-  Enabled: false
-
-Naming/ConstantName:
-  Enabled: false
-
-Naming/ClassAndModuleCamelCase:
-  Enabled: false
-
-Naming/BlockParameterName:
-  Enabled: true
-
-Naming/MethodParameterName:
-  Enabled: false
-
-Naming/VariableName:
-  Enabled: false
-
-Style/Alias:
-  Enabled: true
-
-Layout/HashAlignment:
-  Enabled: false
-
-Style/AsciiComments:
-  Enabled: false
-
-Style/BarePercentLiterals:
-  Enabled: false
-
-Style/BlockComments:
-  Enabled: false
-
-Style/CharacterLiteral:
-  Enabled: false
-
-Style/ClassCheck:
-  Enabled: false
-
-Style/ClassVars:
-  Enabled: false
-
-Style/ColonMethodCall:
-  Enabled: false
-
-Style/CommentAnnotation:
-  Enabled: false
-
-Style/CommentedKeyword:
-  Enabled: false
-
-Style/ConditionalAssignment:
-  Enabled: false
-
-Style/DefWithParentheses:
-  Enabled: true
-
-Style/Documentation:
-  Enabled: false
-
-Style/ExpandPathArguments:
-  Enabled: false
-  
-Style/ExponentialNotation:
-  Enabled: true
-
-Style/GuardClause:
-  Enabled: false
-  
-Style/HashEachMethods:
-  Enabled: true
-  
-Style/HashTransformKeys:
-  Enabled: true
-  
-Style/HashTransformValues:
-  Enabled: true
-
-Style/IfUnlessModifier:
-  Enabled: false
-
-Style/InverseMethods:
-  Enabled: true
-  
-Style/MissingRespondToMissing:  
-  Enabled: false
-
-Style/Next:
-  Enabled: false
-
-Style/NumericLiterals:
-  Enabled: false
-
-Style/RaiseArgs:
-  Enabled: true
-
-Style/RedundantReturn:
-  Enabled: false
-
-Style/RedundantSelf:
-  Enabled: true
-
-Style/RegexpLiteral:
-  Enabled: false
-
-Style/PercentLiteralDelimiters:
-  Enabled: false
-
-Style/StderrPuts:
-  Enabled: false
-
-Style/StringLiterals:
-  Enabled: true
-
-Style/TernaryParentheses:
-  Enabled: false
-
-Style/UnlessElse:
-  Enabled: false
-  
-# Rubocop complains when it doesn't find an explicit setting for the following cops:
-Layout/EmptyLinesAroundAttributeAccessor:
-  Enabled: true
-
-Lint/BinaryOperatorWithIdenticalOperands:
-  Enabled: true
-
-Lint/DeprecatedOpenSSLConstant:
-  Enabled: true
-
-Lint/DuplicateElsifCondition:
-  Enabled: true
-
-Lint/DuplicateRescueException:
-  Enabled: true
-
-Lint/EmptyConditionalBody:
-  Enabled: true
-
-Lint/FloatComparison:
-  Enabled: true
-
-Lint/MissingSuper:
-  Enabled: true
-
-Lint/MixedRegexpCaptureTypes:
-  Enabled: true
-
-Lint/OutOfRangeRegexpRef:
-  Enabled: true
-
-Lint/SelfAssignment:
-  Enabled: true
-
-Lint/TopLevelReturnWithArgument:
-  Enabled: true
-
-Lint/UnreachableLoop:
-  Enabled: true
-
-Style/AccessorGrouping:
-  Enabled: true
-
-Style/ArrayCoercion:
-  Enabled: true
-
-Style/BisectedAttrAccessor:
-  Enabled: true
-
-Style/CaseLikeIf:
-  Enabled: true
-
-Style/ExplicitBlockArgument:
-  Enabled: true
-
-Style/GlobalStdStream:
-  Enabled: true
-
-Style/HashAsLastArrayItem:
-  Enabled: true
-
-Style/HashLikeCase:
-  Enabled: true
-
-Style/OptionalBooleanParameter:
-  Enabled: true
-
-Style/RedundantAssignment:
-  Enabled: true
-
-Style/RedundantFetchBlock:
-  Enabled: true
-
-Style/RedundantFileExtensionInRequire:
-  Enabled: true
-
-Style/RedundantRegexpCharacterClass:
-  Enabled: true
-
-Style/RedundantRegexpEscape:
-  Enabled: true
-
-Style/SingleArgumentDig:
-  Enabled: true
-
-Style/SlicingWithRange:
-  Enabled: true
-
-Style/StringConcatenation:
+AllCops:
+  Exclude:
+    - 'exp/**/*'
+
+Layout/ArgumentAlignment:
+  Enabled: false
+
+Layout/ArrayAlignment:
+  Enabled: true
+  EnforcedStyle: with_fixed_indentation
+
+Layout/CaseIndentation:
+  Enabled: false
+
+Layout/ClosingHeredocIndentation:
+  Enabled: false
+
+Layout/CommentIndentation:
+  Enabled: false
+
+Layout/ElseAlignment:
+  Enabled: false
+
+Layout/EmptyLines:
+  Enabled: false
+
+Layout/EndAlignment:
+  Enabled: false
+
+Layout/EndOfLine:
+  Enabled: true
+  EnforcedStyle: lf
+
+Layout/FirstArgumentIndentation:
+  Enabled: false
+  
+Layout/HashAlignment:
+  Enabled: false
+
+Layout/IndentationWidth:
+  Enabled: false
+
+Layout/IndentationConsistency:
+  Enabled: true
+
+Layout/HeredocIndentation:
+  Enabled: false
+
+Layout/MultilineHashBraceLayout:
+  Enabled: true
+
+Layout/MultilineMethodCallBraceLayout:
+  Enabled: true
+  EnforcedStyle: same_line
+
+Layout/SpaceAroundOperators:
+  Enabled: true
+
+Layout/SpaceInsideParens:
+  Enabled: true
+
+Layout/IndentationStyle:
+  Enabled: true
+
+Layout/SpaceAroundMethodCallOperator:
+  Enabled: true
+
+Layout/TrailingEmptyLines:
+  Enabled: true
+
+Layout/TrailingWhitespace:
+  Enabled: true
+
+Lint/DuplicateBranch:
+  Enabled: true
+
+Lint/DuplicateRegexpCharacterClassElement:
+  Enabled: true
+
+Lint/EmptyBlock:
+  Enabled: true
+
+Lint/EmptyClass:
+  Enabled: false
+
+Lint/Loop:
+  Enabled: true
+
+Lint/NoReturnInBeginEndBlocks:
+  Enabled: true
+
+Lint/RaiseException:
+  Enabled: true
+
+Lint/RescueException:
+  Enabled: true
+
+Lint/StructNewOverride:
+  Enabled: true
+
+Lint/ToEnumArguments:
+  Enabled: true
+
+Lint/UnexpectedBlockArity:
+  Enabled: true
+
+Lint/UnmodifiedReduceAccumulator:
+  Enabled: true
+
+Lint/UnusedMethodArgument:
+  Enabled: true
+
+Lint/UselessAccessModifier:
+  Enabled: true
+
+Lint/Void:
+  Enabled: false
+
+Lint/UselessAssignment:
+  Enabled: true
+
+Metrics/AbcSize:
+  Enabled: false
+
+Metrics/BlockLength:
+  Enabled: true
+  Max: 350
+
+Metrics/BlockNesting:
+  Enabled: true
+  Max: 5
+
+Metrics/ClassLength:
+  Enabled: true
+  Max: 450
+
+Metrics/CyclomaticComplexity:
+  Enabled: false
+
+Layout/LineLength:
+  Enabled: false
+  Max: 90
+
+Metrics/MethodLength:
+  Enabled: true
+  Max: 60
+
+Metrics/ModuleLength:
+  Enabled: true
+  Max: 500
+
+Metrics/PerceivedComplexity:
+  Enabled: false
+
+Naming/ConstantName:
+  Enabled: false
+
+Naming/ClassAndModuleCamelCase:
+  Enabled: false
+
+Naming/BlockParameterName:
+  Enabled: true
+
+Naming/MethodParameterName:
+  Enabled: false
+
+Naming/VariableName:
+  Enabled: false
+
+Style/Alias:
+  Enabled: true
+
+Style/ArgumentsForwarding:
+  Enabled: true
+
+Style/AsciiComments:
+  Enabled: false
+
+Style/BarePercentLiterals:
+  Enabled: false
+
+Style/BlockComments:
+  Enabled: false
+
+Style/CharacterLiteral:
+  Enabled: false
+
+Style/ClassCheck:
+  Enabled: false
+
+Style/ClassVars:
+  Enabled: false
+  
+Style/CollectionCompact:
+  Enabled: true
+
+Style/ColonMethodCall:
+  Enabled: false
+
+Style/CommentAnnotation:
+  Enabled: false
+
+Style/CommentedKeyword:
+  Enabled: false
+
+Style/ConditionalAssignment:
+  Enabled: false
+
+Style/DefWithParentheses:
+  Enabled: true
+
+Style/Documentation:
+  Enabled: false
+  
+Style/DocumentDynamicEvalDefinition:
+  Enabled: true
+
+Style/ExpandPathArguments:
+  Enabled: false
+
+Style/ExponentialNotation:
+  Enabled: true
+
+Style/GuardClause:
+  Enabled: false
+
+Style/HashEachMethods:
+  Enabled: true
+
+Style/HashTransformKeys:
+  Enabled: true
+
+Style/HashTransformValues:
+  Enabled: true
+
+Style/IfUnlessModifier:
+  Enabled: false
+
+Style/InverseMethods:
+  Enabled: true
+
+Style/MissingRespondToMissing:
+  Enabled: false
+  
+Style/NegatedIfElseCondition:
+  Enabled: true
+
+Style/Next:
+  Enabled: false
+  
+Style/NilLambda:
+  Enabled: true
+
+Style/NumericLiterals:
+  Enabled: false
+
+Style/RaiseArgs:
+  Enabled: true
+  
+Style/RedundantArgument:
+  Enabled: true
+
+Style/RedundantReturn:
+  Enabled: false
+
+Style/RedundantSelf:
+  Enabled: true
+
+Style/RegexpLiteral:
+  Enabled: false
+
+Style/PercentLiteralDelimiters:
+  Enabled: false
+
+Style/StderrPuts:
+  Enabled: false
+
+Style/StringLiterals:
+  Enabled: true
+  
+Style/SwapValues:
+  Enabled: true
+
+Style/TernaryParentheses:
+  Enabled: false
+
+Style/UnlessElse:
+  Enabled: false
+
+# Rubocop complains when it doesn't find an explicit setting for the following cops:
+Layout/EmptyLinesAroundAttributeAccessor:
+  Enabled: true
+
+Lint/BinaryOperatorWithIdenticalOperands:
+  Enabled: true
+
+Lint/DeprecatedOpenSSLConstant:
+  Enabled: true
+
+Lint/DuplicateElsifCondition:
+  Enabled: true
+
+Lint/DuplicateRescueException:
+  Enabled: true
+
+Lint/EmptyConditionalBody:
+  Enabled: true
+
+Lint/FloatComparison:
+  Enabled: true
+
+Lint/MissingSuper:
+  Enabled: true
+
+Lint/MixedRegexpCaptureTypes:
+  Enabled: true
+
+Lint/OutOfRangeRegexpRef:
+  Enabled: true
+
+Lint/SelfAssignment:
+  Enabled: true
+
+Lint/TopLevelReturnWithArgument:
+  Enabled: true
+
+Lint/UnreachableLoop:
+  Enabled: true
+
+Style/AccessorGrouping:
+  Enabled: true
+
+Style/ArrayCoercion:
+  Enabled: true
+
+Style/BisectedAttrAccessor:
+  Enabled: true
+
+Style/CaseLikeIf:
+  Enabled: true
+
+Style/ExplicitBlockArgument:
+  Enabled: true
+
+Style/GlobalStdStream:
+  Enabled: true
+
+Style/HashAsLastArrayItem:
+  Enabled: true
+
+Style/HashLikeCase:
+  Enabled: true
+
+Style/OptionalBooleanParameter:
+  Enabled: true
+
+Style/RedundantAssignment:
+  Enabled: true
+
+Style/RedundantFetchBlock:
+  Enabled: true
+
+Style/RedundantFileExtensionInRequire:
+  Enabled: true
+
+Style/RedundantRegexpCharacterClass:
+  Enabled: true
+
+Style/RedundantRegexpEscape:
+  Enabled: true
+
+Style/SingleArgumentDig:
+  Enabled: true
+
+Style/SlicingWithRange:
+  Enabled: true
+
+Style/StringConcatenation:
   Enabled: true

data/CHANGELOG.md

@@ -1,3 +1,11 @@
+## [0.3.01] - 2020-12-17
+- Minor: updated Rubocop config file `.rubocop.yml`
+
+### CHANGED
+- Config file `.rubocop.yml` updated to incorporate the cops from Rubocop 1.6.1
+- Several files re-styled to please Rubocop
+- `README.md` Checkbox for `cdro` is now ticked
+
 ## [0.3.00] - 2020-12-16
 - Version number bump because this is a vast code rewrite
 

data/lib/mini_kraken/glue/dsl.rb

@@ -62,16 +62,6 @@ module MiniKraken
         end
         rela = Rela::DefRelation.new(relationName, aGoalExpr, formals)
         add_defrel(rela)
-
-       # start_defrel
-
-        # formals = @defrel_formals.map { |name| Core::FormalArg.new(name) }
-        # g_template = aGoalTemplateExpr.call
-        # result = Core::DefRelation.new(relationName, g_template, formals)
-        # add_defrel(result)
-
-        # end_defrel
-        # result
       end
 
       def disj2(arg1, arg2)
@@ -117,15 +107,16 @@ module MiniKraken
 
         case anArgument
           when Symbol
-            if anArgument.id2name =~ /_\d+/
-              rank = anArgument.id2name.slice(1..-1).to_i
-              any_val = Core::AnyValue.allocate
-              any_val.instance_variable_set(:@rank, rank)
-              converted = any_val
-            elsif anArgument.id2name =~ /^"#[ft]"$/
-              converted = Atomic::KBoolean.new(anArgument)
-            else
-              converted = Atomic::KSymbol.new(anArgument)
+            case anArgument.id2name
+              when /_\d+/
+                rank = anArgument.id2name.slice(1..-1).to_i
+                any_val = Core::AnyValue.allocate
+                any_val.instance_variable_set(:@rank, rank)
+                converted = any_val
+              when /^"#[ft]"$/
+                converted = Atomic::KBoolean.new(anArgument)
+              else
+                converted = Atomic::KSymbol.new(anArgument)
             end
           when String
             if anArgument =~ /^#[ft]$/
@@ -136,15 +127,9 @@ module MiniKraken
             end
           when false, true
             converted = Atomic::KBoolean.new(anArgument)
-          when Atomic::KBoolean, Atomic::KSymbol
-            converted = anArgument
-          when Core::Goal
-            converted = anArgument
-          when Core::LogVarRef
-            converted = anArgument
-          when Composite::ConsCell
+          when NilClass, Atomic::KBoolean, Atomic::KSymbol
             converted = anArgument
-          when NilClass
+          when Core::Goal, Core::LogVarRef, Composite::ConsCell
             converted = anArgument
           else
             msg = "Internal error: undefined conversion for #{anArgument.class}"

data/lib/mini_kraken/rela/conde.rb

@@ -85,10 +85,7 @@ module MiniKraken
 
         actuals.each do |arg|
           case arg
-            when Core::Goal
-              result << arg
-
-            when Core::Context
+            when Core::Goal, Core::Context
               result << arg
 
             when Array

data/lib/mini_kraken/rela/def_relation.rb

@@ -49,7 +49,36 @@ module MiniKraken
       def validated_expression(aGoalTemplate)
         raise StandardError unless aGoalTemplate
 
-        aGoalTemplate
+        compose_goals(aGoalTemplate)
+      end
+
+      def compose_goals(subgoals)
+        nested_goal = nil
+
+        case subgoals
+          when Core::Goal
+            nested_goal = subgoals
+
+          when Array
+            goal_array = subgoals
+            loop do
+              conjunctions = []
+              goal_array.each_slice(2) do |uno_duo|
+                if uno_duo.size == 2
+                  conjunctions << Core::Goal.new(Conj2.instance, uno_duo)
+                else
+                  conjunctions << uno_duo[0]
+                end
+              end
+              if conjunctions.size == 1
+                nested_goal = conjunctions[0]
+                break
+              end
+              goal_array = conjunctions
+            end
+          end
+
+        nested_goal
       end
 
       # With the given expression, create a new expression where

data/lib/mini_kraken/version.rb

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

data/mini_kraken.gemspec

@@ -40,8 +40,8 @@ Gem::Specification.new do |spec|
   spec.authors       = ['Dimitri Geshef']
   spec.email         = ['famished.tiger@yahoo.com']
 
-  spec.summary       = 'Implementation of Minikanren language in Ruby. WIP'
-  spec.description   = 'Implementation of Minikanren language in Ruby. WIP'
+  spec.summary       = 'Implementation of miniKanren language in Ruby. WIP'
+  spec.description   = 'Implementation of miniKanren language in Ruby. WIP'
   spec.homepage      = 'https://github.com/famished-tiger/mini_kraken'
   spec.license       = 'MIT'
 

data/spec/atomic/atomic_term_spec.rb

@@ -44,7 +44,8 @@ module MiniKraken
         end
 
         it 'performs data value comparison' do
-          expect(subject == subject).to be_truthy
+          itself = subject # Renaming as workaround to Rubocop complaint
+          expect(subject == itself).to be_truthy
           expect(subject == subject.value).to be_truthy
 
           expect(subject == other_value).to be_falsy

data/spec/core/arity_spec.rb

@@ -74,7 +74,8 @@ module MiniKraken
         end
 
         it 'should know whether is equal to another arity' do
-          expect(subject == subject).to be_truthy
+          itself = subject # Renaming as workaround to Rubocop complaint
+          expect(subject == itself).to be_truthy
 
           same = Arity.new(0, 1)
           expect(subject == same).to be_truthy

data/spec/core/duck_fiber_spec.rb

@@ -8,12 +8,6 @@ require_relative '../../lib/mini_kraken/core/duck_fiber'
 module MiniKraken
   module Core
     describe DuckFiber do
-      Callable = Struct.new(:proc) do
-        def call
-          proc.call
-        end
-      end
-
       let(:ctx) { Core::Context.new }
       let(:callable) { -> { ctx.failed! } }
       subject { DuckFiber.new(callable) }

data/spec/glue/dsl_chap2_spec.rb

@@ -215,11 +215,67 @@ module MiniKraken
           #     (== 'a x))) ;; l => ('(a c o r n))
 
           result = run_star('l', fresh('x',
-            [cdro(l, corn), # WRONG l => a c o r n (side effect from other tests)
+            [cdro(l, corn),
               caro(l, x),
               unify(:a, x)]))
           expect(result.to_s).to eq('((:a :c :o :r :n))')
         end
+
+        it 'accepts conso definition inspired from frame 2:25' do
+          defrel_caro
+          defrel_cdro
+
+          # Reasoned S2, frame 2:25
+          # (defrel (conso a p d)
+          #   (caro  p a)
+          #   (cdro p d))
+
+          # As 'p' has a special meaning in Ruby, the argument has been remaned to 'r'
+          conso_rel = defrel('conso', %w[a r d], [caro(r, a), cdro(r, d)])
+
+          expect(conso_rel).to be_kind_of(Rela::DefRelation)
+          expect(conso_rel.name).to eq('conso')
+          expect(conso_rel.arity).to eq(3)
+          expect(conso_rel.formals[0]).to match(/^a_[-0-9a-f]+$/)
+          expect(conso_rel.formals[1]).to match(/^r_[-0-9a-f]+$/)
+          expect(conso_rel.formals[2]).to match(/^d_[-0-9a-f]+$/)
+          g_template = conso_rel.expression
+          expect(g_template.relation).to be_kind_of(Rela::Conj2)
+          g1 = g_template.actuals[0]
+          expect(g1).to be_kind_of(Core::Goal)
+          expect(g1.relation.name).to eq('caro')
+          expect(g1.actuals[0].name).to match(/^r_/)
+          expect(g1.actuals[1].name).to match(/^a_/)
+
+          g2 = g_template.actuals[1]
+          expect(g2).to be_kind_of(Core::Goal)
+          expect(g2.relation.name).to eq('cdro')
+          expect(g2.actuals[0].name).to match(/^r_/)
+          expect(g2.actuals[1].name).to match(/^d_/)
+        end
+
+        # In Scheme:
+          # (defrel (conso a p d)
+          #   (caro  p a)
+          #   (cdro p d))
+        # In Ruby, `p`is a standard Kernel method => replace it by `r`
+        def defrel_conso
+          defrel_caro
+          defrel_cdro
+
+          defrel('conso', %w[a r d], [caro(r, a), cdro(r, d)])
+        end
+
+        # TODO: FIX THIS EXAMPLE
+        # it 'passes frame 2:19' do
+          # defrel_conso
+
+          # # (run* l
+          # #   (conso '(a b c) '(d e) l)) ;; => ((abc) (d e))
+
+          # result = run_star('l', conso( list(:a, :b, :c), list(:d, :e), l))
+          # expect(result.to_s).to eq('((:a :b :c) (:d :e))')
+        # end
       end # context
     end # describe
   end # module

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mini_kraken
 version: !ruby/object:Gem::Version
-  version: 0.3.00
+  version: 0.3.01
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-12-16 00:00:00.000000000 Z
+date: 2020-12-17 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -52,7 +52,7 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '3.0'
-description: Implementation of Minikanren language in Ruby. WIP
+description: Implementation of miniKanren language in Ruby. WIP
 email:
 - famished.tiger@yahoo.com
 executables: []
@@ -183,7 +183,7 @@ requirements: []
 rubygems_version: 3.0.3
 signing_key: 
 specification_version: 4
-summary: Implementation of Minikanren language in Ruby. WIP
+summary: Implementation of miniKanren language in Ruby. WIP
 test_files:
 - spec/atomic/atomic_term_spec.rb
 - spec/atomic/k_boolean_spec.rb