--- !ruby/object:Gem::Specification
name: mini_kraken
version: !ruby/object:Gem::Version
  version: 0.3.00
platform: ruby
authors:
- Dimitri Geshef
autorequire: 
bindir: exe
cert_chain: []
date: 2020-12-16 00:00:00.000000000 Z
dependencies:
- !ruby/object:Gem::Dependency
  name: bundler
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '2.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '2.0'
- !ruby/object:Gem::Dependency
  name: rake
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '12.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '12.0'
- !ruby/object:Gem::Dependency
  name: rspec
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '3.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '3.0'
description: Implementation of Minikanren language in Ruby. WIP
email:
- famished.tiger@yahoo.com
executables: []
extensions: []
extra_rdoc_files:
- README.md
files:
- ".rspec"
- ".rubocop.yml"
- ".travis.yml"
- CHANGELOG.md
- Gemfile
- LICENSE.txt
- README.md
- Rakefile
- lib/mini_kraken.rb
- lib/mini_kraken/atomic/all_atomic.rb
- lib/mini_kraken/atomic/atomic_term.rb
- lib/mini_kraken/atomic/k_boolean.rb
- lib/mini_kraken/atomic/k_integer.rb
- lib/mini_kraken/atomic/k_string.rb
- lib/mini_kraken/atomic/k_symbol.rb
- lib/mini_kraken/composite/all_composite.rb
- lib/mini_kraken/composite/composite_term.rb
- lib/mini_kraken/composite/cons_cell.rb
- lib/mini_kraken/composite/cons_cell_visitor.rb
- lib/mini_kraken/composite/list.rb
- lib/mini_kraken/core/all_core.rb
- lib/mini_kraken/core/any_value.rb
- lib/mini_kraken/core/arity.rb
- lib/mini_kraken/core/association.rb
- lib/mini_kraken/core/association_copy.rb
- lib/mini_kraken/core/base_term.rb
- lib/mini_kraken/core/blackboard.rb
- lib/mini_kraken/core/bookmark.rb
- lib/mini_kraken/core/context.rb
- lib/mini_kraken/core/duck_fiber.rb
- lib/mini_kraken/core/entry.rb
- lib/mini_kraken/core/fail.rb
- lib/mini_kraken/core/fusion.rb
- lib/mini_kraken/core/goal.rb
- lib/mini_kraken/core/log_var.rb
- lib/mini_kraken/core/log_var_ref.rb
- lib/mini_kraken/core/nullary_relation.rb
- lib/mini_kraken/core/parametrized_term.rb
- lib/mini_kraken/core/relation.rb
- lib/mini_kraken/core/scope.rb
- lib/mini_kraken/core/solver_adapter.rb
- lib/mini_kraken/core/specification.rb
- lib/mini_kraken/core/succeed.rb
- lib/mini_kraken/core/symbol_table.rb
- lib/mini_kraken/core/term.rb
- lib/mini_kraken/glue/dsl.rb
- lib/mini_kraken/glue/run_star_expression.rb
- lib/mini_kraken/rela/all_rela.rb
- lib/mini_kraken/rela/binary_relation.rb
- lib/mini_kraken/rela/conde.rb
- lib/mini_kraken/rela/conj2.rb
- lib/mini_kraken/rela/def_relation.rb
- lib/mini_kraken/rela/disj2.rb
- lib/mini_kraken/rela/fresh.rb
- lib/mini_kraken/rela/goal_relation.rb
- lib/mini_kraken/rela/unify.rb
- lib/mini_kraken/version.rb
- mini_kraken.gemspec
- spec/.rubocop.yml
- spec/atomic/atomic_term_spec.rb
- spec/atomic/k_boolean_spec.rb
- spec/atomic/k_symbol_spec.rb
- spec/composite/cons_cell_spec.rb
- spec/composite/cons_cell_visitor_spec.rb
- spec/composite/list_spec.rb
- spec/core/any_value_spec.rb
- spec/core/arity_spec.rb
- spec/core/association_copy_spec.rb
- spec/core/association_spec.rb
- spec/core/blackboard_spec.rb
- spec/core/bookmark_spec.rb
- spec/core/context_spec.rb
- spec/core/core_spec.rb
- spec/core/duck_fiber_spec.rb
- spec/core/fail_spec.rb
- spec/core/goal_spec.rb
- spec/core/log_var_ref_spec.rb
- spec/core/log_var_spec.rb
- spec/core/nullary_relation_spec.rb
- spec/core/parametrized_tem_spec.rb
- spec/core/relation_spec.rb
- spec/core/scope_spec.rb
- spec/core/solver_adapter_spec.rb
- spec/core/specification_spec.rb
- spec/core/succeed_spec.rb
- spec/core/symbol_table_spec.rb
- spec/glue/dsl_chap1_spec.rb
- spec/glue/dsl_chap2_spec.rb
- spec/glue/run_star_expression_spec.rb
- spec/mini_kraken_spec.rb
- spec/rela/conde_spec.rb
- spec/rela/conj2_spec.rb
- spec/rela/def_relation_spec.rb
- spec/rela/disj2_spec.rb
- spec/rela/fresh_spec.rb
- spec/rela/unify_spec.rb
- spec/spec_helper.rb
- spec/support/factory_atomic.rb
- spec/support/factory_composite.rb
- spec/support/factory_methods.rb
homepage: https://github.com/famished-tiger/mini_kraken
licenses:
- MIT
metadata: {}
post_install_message: 
rdoc_options:
- --charset=UTF-8 --exclude="examples|spec"
require_paths:
- lib
required_ruby_version: !ruby/object:Gem::Requirement
  requirements:
  - - "~>"
    - !ruby/object:Gem::Version
      version: '2.4'
required_rubygems_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '0'
requirements: []
rubygems_version: 3.0.3
signing_key: 
specification_version: 4
summary: Implementation of Minikanren language in Ruby. WIP
test_files:
- spec/atomic/atomic_term_spec.rb
- spec/atomic/k_boolean_spec.rb
- spec/atomic/k_symbol_spec.rb
- spec/composite/cons_cell_spec.rb
- spec/composite/cons_cell_visitor_spec.rb
- spec/composite/list_spec.rb
- spec/core/any_value_spec.rb
- spec/core/arity_spec.rb
- spec/core/association_copy_spec.rb
- spec/core/association_spec.rb
- spec/core/blackboard_spec.rb
- spec/core/bookmark_spec.rb
- spec/core/context_spec.rb
- spec/core/core_spec.rb
- spec/core/duck_fiber_spec.rb
- spec/core/fail_spec.rb
- spec/core/goal_spec.rb
- spec/core/log_var_ref_spec.rb
- spec/core/log_var_spec.rb
- spec/core/nullary_relation_spec.rb
- spec/core/parametrized_tem_spec.rb
- spec/core/relation_spec.rb
- spec/core/scope_spec.rb
- spec/core/solver_adapter_spec.rb
- spec/core/specification_spec.rb
- spec/core/succeed_spec.rb
- spec/core/symbol_table_spec.rb
- spec/glue/dsl_chap1_spec.rb
- spec/glue/dsl_chap2_spec.rb
- spec/glue/run_star_expression_spec.rb
- spec/mini_kraken_spec.rb
- spec/rela/conde_spec.rb
- spec/rela/conj2_spec.rb
- spec/rela/def_relation_spec.rb
- spec/rela/disj2_spec.rb
- spec/rela/fresh_spec.rb
- spec/rela/unify_spec.rb