RubyGems - mini_kraken - Versions diffs - 0.2.03 → 0.3.03 - Mend

mini_kraken 0.2.03 → 0.3.03

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (136) hide show

checksums.yaml +4 -4
data/.rubocop.yml +378 -333
data/CHANGELOG.md +48 -0
data/README.md +29 -21
data/lib/mini_kraken/atomic/all_atomic.rb +5 -0
data/lib/mini_kraken/atomic/atomic_term.rb +96 -0
data/lib/mini_kraken/atomic/k_boolean.rb +42 -0
data/lib/mini_kraken/{core → atomic}/k_integer.rb +2 -5
data/lib/mini_kraken/atomic/k_string.rb +17 -0
data/lib/mini_kraken/{core → atomic}/k_symbol.rb +4 -8
data/lib/mini_kraken/composite/all_composite.rb +4 -0
data/lib/mini_kraken/composite/composite_term.rb +27 -0
data/lib/mini_kraken/composite/cons_cell.rb +301 -0
data/lib/mini_kraken/composite/cons_cell_visitor.rb +50 -0
data/lib/mini_kraken/composite/list.rb +32 -0
data/lib/mini_kraken/core/all_core.rb +8 -0
data/lib/mini_kraken/core/any_value.rb +31 -7
data/lib/mini_kraken/core/arity.rb +69 -0
data/lib/mini_kraken/core/association.rb +29 -4
data/lib/mini_kraken/core/association_copy.rb +50 -0
data/lib/mini_kraken/core/base_term.rb +13 -0
data/lib/mini_kraken/core/blackboard.rb +315 -0
data/lib/mini_kraken/core/bookmark.rb +46 -0
data/lib/mini_kraken/core/context.rb +492 -0
data/lib/mini_kraken/core/duck_fiber.rb +21 -19
data/lib/mini_kraken/core/entry.rb +40 -0
data/lib/mini_kraken/core/fail.rb +20 -18
data/lib/mini_kraken/core/fusion.rb +29 -0
data/lib/mini_kraken/core/goal.rb +20 -29
data/lib/mini_kraken/core/log_var.rb +22 -0
data/lib/mini_kraken/core/log_var_ref.rb +108 -0
data/lib/mini_kraken/core/nullary_relation.rb +2 -9
data/lib/mini_kraken/core/parametrized_term.rb +68 -0
data/lib/mini_kraken/core/relation.rb +14 -28
data/lib/mini_kraken/core/scope.rb +67 -0
data/lib/mini_kraken/core/solver_adapter.rb +58 -0
data/lib/mini_kraken/core/specification.rb +48 -0
data/lib/mini_kraken/core/succeed.rb +21 -17
data/lib/mini_kraken/core/symbol_table.rb +137 -0
data/lib/mini_kraken/core/term.rb +15 -4
data/lib/mini_kraken/glue/dsl.rb +44 -88
data/lib/mini_kraken/glue/run_star_expression.rb +28 -30
data/lib/mini_kraken/rela/all_rela.rb +8 -0
data/lib/mini_kraken/rela/binary_relation.rb +30 -0
data/lib/mini_kraken/rela/conde.rb +143 -0
data/lib/mini_kraken/rela/conj2.rb +65 -0
data/lib/mini_kraken/rela/def_relation.rb +93 -0
data/lib/mini_kraken/rela/disj2.rb +70 -0
data/lib/mini_kraken/rela/fresh.rb +98 -0
data/lib/mini_kraken/{core → rela}/goal_relation.rb +7 -9
data/lib/mini_kraken/rela/unify.rb +265 -0
data/lib/mini_kraken/version.rb +1 -1
data/mini_kraken.gemspec +2 -2
data/spec/.rubocop.yml +1 -1
data/spec/atomic/atomic_term_spec.rb +98 -0
data/spec/{core → atomic}/k_boolean_spec.rb +19 -34
data/spec/{core → atomic}/k_symbol_spec.rb +3 -16
data/spec/composite/cons_cell_spec.rb +225 -0
data/spec/{core → composite}/cons_cell_visitor_spec.rb +36 -20
data/spec/composite/list_spec.rb +50 -0
data/spec/core/any_value_spec.rb +52 -0
data/spec/core/arity_spec.rb +92 -0
data/spec/core/association_copy_spec.rb +69 -0
data/spec/core/association_spec.rb +31 -4
data/spec/core/blackboard_spec.rb +287 -0
data/spec/core/bookmark_spec.rb +40 -0
data/spec/core/context_spec.rb +245 -0
data/spec/core/core_spec.rb +40 -0
data/spec/core/duck_fiber_spec.rb +16 -46
data/spec/core/fail_spec.rb +5 -6
data/spec/core/goal_spec.rb +22 -12
data/spec/core/log_var_ref_spec.rb +105 -0
data/spec/core/log_var_spec.rb +64 -0
data/spec/core/nullary_relation_spec.rb +33 -0
data/spec/core/parametrized_tem_spec.rb +39 -0
data/spec/core/relation_spec.rb +33 -0
data/spec/core/scope_spec.rb +73 -0
data/spec/core/solver_adapter_spec.rb +70 -0
data/spec/core/specification_spec.rb +43 -0
data/spec/core/succeed_spec.rb +5 -5
data/spec/core/symbol_table_spec.rb +142 -0
data/spec/glue/dsl_chap1_spec.rb +88 -144
data/spec/glue/dsl_chap2_spec.rb +454 -19
data/spec/glue/run_star_expression_spec.rb +81 -906
data/spec/rela/conde_spec.rb +153 -0
data/spec/rela/conj2_spec.rb +123 -0
data/spec/rela/def_relation_spec.rb +119 -0
data/spec/rela/disj2_spec.rb +117 -0
data/spec/rela/fresh_spec.rb +147 -0
data/spec/rela/unify_spec.rb +369 -0
data/spec/support/factory_atomic.rb +29 -0
data/spec/support/factory_composite.rb +21 -0
data/spec/support/factory_methods.rb +11 -26
metadata +98 -70
data/lib/mini_kraken/core/association_walker.rb +0 -183
data/lib/mini_kraken/core/atomic_term.rb +0 -67
data/lib/mini_kraken/core/base_arg.rb +0 -10
data/lib/mini_kraken/core/binary_relation.rb +0 -63
data/lib/mini_kraken/core/composite_goal.rb +0 -46
data/lib/mini_kraken/core/composite_term.rb +0 -41
data/lib/mini_kraken/core/conde.rb +0 -143
data/lib/mini_kraken/core/conj2.rb +0 -79
data/lib/mini_kraken/core/cons_cell.rb +0 -82
data/lib/mini_kraken/core/cons_cell_visitor.rb +0 -102
data/lib/mini_kraken/core/def_relation.rb +0 -53
data/lib/mini_kraken/core/designation.rb +0 -55
data/lib/mini_kraken/core/disj2.rb +0 -72
data/lib/mini_kraken/core/environment.rb +0 -73
data/lib/mini_kraken/core/equals.rb +0 -193
data/lib/mini_kraken/core/formal_arg.rb +0 -22
data/lib/mini_kraken/core/formal_ref.rb +0 -25
data/lib/mini_kraken/core/freshness.rb +0 -45
data/lib/mini_kraken/core/goal_arg.rb +0 -12
data/lib/mini_kraken/core/goal_template.rb +0 -102
data/lib/mini_kraken/core/k_boolean.rb +0 -35
data/lib/mini_kraken/core/outcome.rb +0 -63
data/lib/mini_kraken/core/variable.rb +0 -41
data/lib/mini_kraken/core/variable_ref.rb +0 -84
data/lib/mini_kraken/core/vocabulary.rb +0 -446
data/lib/mini_kraken/glue/fresh_env.rb +0 -103
data/lib/mini_kraken/glue/fresh_env_factory.rb +0 -83
data/spec/core/association_walker_spec.rb +0 -192
data/spec/core/conde_spec.rb +0 -147
data/spec/core/conj2_spec.rb +0 -114
data/spec/core/cons_cell_spec.rb +0 -107
data/spec/core/def_relation_spec.rb +0 -97
data/spec/core/disj2_spec.rb +0 -99
data/spec/core/environment_spec.rb +0 -142
data/spec/core/equals_spec.rb +0 -317
data/spec/core/goal_template_spec.rb +0 -74
data/spec/core/outcome_spec.rb +0 -56
data/spec/core/variable_ref_spec.rb +0 -30
data/spec/core/variable_spec.rb +0 -35
data/spec/core/vocabulary_spec.rb +0 -219
data/spec/glue/fresh_env_factory_spec.rb +0 -97
data/spec/glue/fresh_env_spec.rb +0 -62

checksums.yaml CHANGED

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 6ae3703cbb0a7a854af490478227c915d7d9af72715be80cbd4e3c95cb7b2c3f
-  data.tar.gz: 27e04d428e1015f176fbafba7c047a0b12c28e9150161a7a5702190c8dd2e2e9
+  metadata.gz: b0c4ccbb33a59eddd02ccbb56c5ad942002cb131e834b345a35c47a81985f999
+  data.tar.gz: ed3aba64c03d87c7f56b9516a0a8fa78aa6bbd39eb1bb39e6ece7b68f6226cd9
 SHA512:
-  metadata.gz: bd9cd60953f88610ce3a5009e0cad4099e1896643ad01f1c6616a4c20fb4495a71f5c5ed11efe98873362055bda2ec9d0ba4a1ce972844588cacab528ac5333d
-  data.tar.gz: 1c9d27a9fb7fa014f9789a159aff5309bd9c03ce810e994951373ee550698518683359815c4db43b9d95b00ba889670b824af18c1019af5442f2ca3b42c795ba
+  metadata.gz: 13890c7b650bb8d83ac660c5e9c0d33cf87094f286a1e8d349095ee98dd8ec66652f16e5cc89928fb593c5dd921c9e612dc2d8f8ec565754baa4cb36c93e1256
+  data.tar.gz: 2358ff17fc9f2982675ff10d17761bf909db4fe38acc8f6f16389b3a31ea286ce4ad20cc1240147886baac98fb5ea047012ffc191ce58f1cf45cea0ca2e2341f

data/.rubocop.yml CHANGED

@@ -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