tensai-logic 0.1.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: a3d517ace3ab485484c60554172fba6deaaf0bdfb1c05890e1a037f74efe14cb
+  data.tar.gz: 71b98b45c8d346728f0980c42e7ea570ef77b460c6fb3e30c0078a113ee14023
+SHA512:
+  metadata.gz: 3ad51401b841a499cbec0e11b3ff1df4e11a33f3f0f12ab5bb0efeabb617e34a9f04def3adbe9475aaa5021986f3a382a2393843cad722ffb7f4c0ea2517c183
+  data.tar.gz: 0ae73fef220915259f0b666cc9dfb357602a7bf57b89872a78530433e5878a0a722d54f08a179ec5b10b7decb27b8cfc87cecb2678dd88f095b1fa05ed14764c

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/Gemfile

@@ -0,0 +1,16 @@
+source "https://rubygems.org"
+
+git_source(:github) {|repo_name| "https://github.com/#{repo_name}" }
+
+# Specify your gem's dependencies in tensai.gemspec
+gemspec
+
+group :development, :test do
+  gem 'rspec', '~> 3.0'
+  gem 'rubocop', '~> 0.74'
+  gem 'rubocop-rspec', '~> 1.35'
+  gem 'guard', '~> 2.15'
+  gem 'guard-rspec', '~> 4.7'
+  gem 'pry-byebug', '~> 3.7'
+  gem 'factory_bot', '~> 5.0'
+end

data/Gemfile.lock

@@ -0,0 +1,133 @@
+PATH
+  remote: .
+  specs:
+    tensai-logic (0.1.1)
+      tensai-core (~> 0.1.7)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    activesupport (6.0.0)
+      concurrent-ruby (~> 1.0, >= 1.0.2)
+      i18n (>= 0.7, < 2)
+      minitest (~> 5.1)
+      tzinfo (~> 1.1)
+      zeitwerk (~> 2.1, >= 2.1.8)
+    ast (2.4.0)
+    byebug (11.0.1)
+    coderay (1.1.2)
+    concurrent-ruby (1.1.5)
+    diff-lcs (1.3)
+    dry-configurable (0.8.3)
+      concurrent-ruby (~> 1.0)
+      dry-core (~> 0.4, >= 0.4.7)
+    dry-container (0.7.2)
+      concurrent-ruby (~> 1.0)
+      dry-configurable (~> 0.1, >= 0.1.3)
+    dry-core (0.4.9)
+      concurrent-ruby (~> 1.0)
+    dry-equalizer (0.2.2)
+    dry-inflector (0.1.2)
+    dry-logic (1.0.3)
+      concurrent-ruby (~> 1.0)
+      dry-core (~> 0.2)
+      dry-equalizer (~> 0.2)
+    dry-types (1.2.0)
+      concurrent-ruby (~> 1.0)
+      dry-container (~> 0.3)
+      dry-core (~> 0.4, >= 0.4.4)
+      dry-equalizer (~> 0.2, >= 0.2.2)
+      dry-inflector (~> 0.1, >= 0.1.2)
+      dry-logic (~> 1.0, >= 1.0.2)
+    factory_bot (5.1.1)
+      activesupport (>= 4.2.0)
+    ffi (1.11.1)
+    formatador (0.2.5)
+    guard (2.15.1)
+      formatador (>= 0.2.4)
+      listen (>= 2.7, < 4.0)
+      lumberjack (>= 1.0.12, < 2.0)
+      nenv (~> 0.1)
+      notiffany (~> 0.0)
+      pry (>= 0.9.12)
+      shellany (~> 0.0)
+      thor (>= 0.18.1)
+    guard-compat (1.2.1)
+    guard-rspec (4.7.3)
+      guard (~> 2.1)
+      guard-compat (~> 1.1)
+      rspec (>= 2.99.0, < 4.0)
+    i18n (1.7.0)
+      concurrent-ruby (~> 1.0)
+    jaro_winkler (1.5.3)
+    listen (3.2.0)
+      rb-fsevent (~> 0.10, >= 0.10.3)
+      rb-inotify (~> 0.9, >= 0.9.10)
+    lumberjack (1.0.13)
+    method_source (0.9.2)
+    minitest (5.12.2)
+    nenv (0.3.0)
+    notiffany (0.1.3)
+      nenv (~> 0.1)
+      shellany (~> 0.0)
+    parallel (1.17.0)
+    parser (2.6.5.0)
+      ast (~> 2.4.0)
+    pry (0.12.2)
+      coderay (~> 1.1.0)
+      method_source (~> 0.9.0)
+    pry-byebug (3.7.0)
+      byebug (~> 11.0)
+      pry (~> 0.10)
+    rainbow (3.0.0)
+    rb-fsevent (0.10.3)
+    rb-inotify (0.10.0)
+      ffi (~> 1.0)
+    rspec (3.8.0)
+      rspec-core (~> 3.8.0)
+      rspec-expectations (~> 3.8.0)
+      rspec-mocks (~> 3.8.0)
+    rspec-core (3.8.2)
+      rspec-support (~> 3.8.0)
+    rspec-expectations (3.8.5)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.8.0)
+    rspec-mocks (3.8.2)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.8.0)
+    rspec-support (3.8.3)
+    rubocop (0.75.0)
+      jaro_winkler (~> 1.5.1)
+      parallel (~> 1.10)
+      parser (>= 2.6)
+      rainbow (>= 2.2.2, < 4.0)
+      ruby-progressbar (~> 1.7)
+      unicode-display_width (>= 1.4.0, < 1.7)
+    rubocop-rspec (1.36.0)
+      rubocop (>= 0.68.1)
+    ruby-progressbar (1.10.1)
+    shellany (0.0.1)
+    tensai-core (0.1.7)
+      dry-types (~> 1.1)
+    thor (0.20.3)
+    thread_safe (0.3.6)
+    tzinfo (1.2.5)
+      thread_safe (~> 0.1)
+    unicode-display_width (1.6.0)
+    zeitwerk (2.1.10)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  factory_bot (~> 5.0)
+  guard (~> 2.15)
+  guard-rspec (~> 4.7)
+  pry-byebug (~> 3.7)
+  rspec (~> 3.0)
+  rubocop (~> 0.74)
+  rubocop-rspec (~> 1.35)
+  tensai-logic!
+
+BUNDLED WITH
+   2.0.1

data/Guardfile

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+guard :rspec, cmd: 'bundle exec rspec' do
+  require 'guard/rspec/dsl'
+  dsl = Guard::RSpec::Dsl.new(self)
+
+  rspec = dsl.rspec
+  watch(rspec.spec_helper) { rspec.spec_dir }
+  watch(rspec.spec_support) { rspec.spec_dir }
+  watch(rspec.spec_files)
+
+  # Ruby files
+  ruby = dsl.ruby
+  dsl.watch_spec_files_for(ruby.lib_files)
+end

data/lib/tensai/logic/entity.rb

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+require 'tensai/util/initializer'
+
+module Tensai
+  module Logic
+    #
+    # Entity
+    #
+    class Entity
+      include Util::Initializer.new(
+        name: Name
+      )
+
+      def inspect
+        "#{self.class.to_s.split('::').last}(#{name})"
+      end
+    end
+  end
+end

data/lib/tensai/logic/formula.rb

@@ -0,0 +1,10 @@
+# frozen_string_literal: true
+
+module Tensai
+  module Logic
+    #
+    # Formula
+    #
+    class Formula; end
+  end
+end

data/lib/tensai/logic/formulas/atom.rb

@@ -0,0 +1,30 @@
+# frozen_string_literal: true
+
+require 'tensai/types'
+require 'tensai/util/initializer'
+
+require_relative '../predicate'
+
+module Tensai
+  module Logic
+    module Formulas
+      #
+      # Atomic formula
+      #
+      class Atom
+        include Util::Initializer.new(
+          predicate: Tensai::Types::Instance(Predicate),
+          values: Tensai::Types::Hash
+        )
+
+        def after_initialize
+          raise ArgumentError, "Invalid values #{values} for predicate #{predicate}" unless predicate.accepts? values
+        end
+
+        def inspect
+          "(#{predicate.name} #{values.map { |name, value| "#{name}: #{value.inspect}" }.join(', ')})"
+        end
+      end
+    end
+  end
+end

data/lib/tensai/logic/formulas.rb

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+module Tensai
+  module Logic
+    #
+    # Formula
+    #
+    module Formulas; end
+  end
+end
+
+require_relative 'formulas/atom'

data/lib/tensai/logic/predicate.rb

@@ -0,0 +1,41 @@
+# frozen_string_literal: true
+
+require 'set'
+
+require 'tensai/types'
+require 'tensai/util/initializer'
+
+require_relative 'variable'
+
+module Tensai
+  module Logic
+    #
+    # Predicate
+    #
+    class Predicate
+      include Util::Initializer.new(
+        name: Name,
+        variables: Tensai::Types::Array.of(Tensai::Types::Instance(Variable))
+      )
+
+      def after_initialize
+        raise ArgumentError, 'All variable names must be unique' if variable_names.size < variables.size
+      end
+
+      def accepts?(values)
+        Set.new(values.keys) == variable_names &&
+          variables.all? { |v| v.accepts? values[v.name] }
+      end
+
+      def inspect
+        "(#{name} #{variables.map(&:inspect).join(' ')})"
+      end
+
+      private
+
+      def variable_names
+        @variable_names ||= Set.new(variables.map(&:name))
+      end
+    end
+  end
+end

data/lib/tensai/logic/variable.rb

@@ -0,0 +1,30 @@
+# frozen_string_literal: true
+
+require 'tensai/types'
+require 'tensai/util/initializer'
+
+require_relative 'entity'
+
+module Tensai
+  module Logic
+    #
+    # Variable
+    #
+    class Variable
+      include Util::Initializer.new(
+        name: Name,
+        type: Tensai::Types::Instance(Class).default { Entity }
+      )
+
+      def accepts?(value)
+        return value.type <= type if value.is_a? Variable
+
+        value.is_a? type
+      end
+
+      def inspect
+        "?#{name} - #{type.name.split('::').last}"
+      end
+    end
+  end
+end

data/lib/tensai/logic/version.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Tensai
+  module Logic
+    VERSION = '0.1.1'
+  end
+end

data/lib/tensai/logic.rb

@@ -0,0 +1,16 @@
+# frozen_string_literal: true
+
+require 'tensai/types'
+
+module Tensai
+  # Logic and Reasoning
+  module Logic
+    Name = Types::Strict::Symbol
+  end
+end
+
+require 'tensai/logic/entity'
+require 'tensai/logic/formula'
+require 'tensai/logic/formulas'
+require 'tensai/logic/predicate'
+require 'tensai/logic/variable'

data/tensai-logic.gemspec

@@ -0,0 +1,35 @@
+# frozen_string_literal: true
+
+lib = File.expand_path('lib', __dir__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'tensai/logic/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = 'tensai-logic'
+  spec.version       = Tensai::Logic::VERSION
+  spec.authors       = ['Kevin Fischer']
+  spec.email         = ['kfischer_okarin@yahoo.co.jp']
+
+  spec.summary       = 'Logic Framework'
+  spec.homepage      = 'https://github.com/kfischer-okarin/tensai'
+  spec.license       = 'MIT'
+
+  if spec.respond_to?(:metadata)
+    spec.metadata['homepage_uri'] = spec.homepage
+    spec.metadata['source_code_uri'] = 'https://github.com/kfischer-okarin/tensai/tree/master/logic'
+    # spec.metadata['changelog_uri'] = 'https://github.com/kfischer-okarin/tensai/CHANGELOG.md'
+  else
+    raise 'RubyGems 2.0 or newer is required to protect against public gem pushes.'
+  end
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files = Dir.chdir(File.expand_path(__dir__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = 'exe'
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ['lib']
+
+  spec.add_dependency 'tensai-core', '~> 0.1.7'
+end

metadata

@@ -0,0 +1,72 @@
+--- !ruby/object:Gem::Specification
+name: tensai-logic
+version: !ruby/object:Gem::Version
+  version: 0.1.1
+platform: ruby
+authors:
+- Kevin Fischer
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2019-10-11 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: tensai-core
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.7
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.7
+description: 
+email:
+- kfischer_okarin@yahoo.co.jp
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".rspec"
+- Gemfile
+- Gemfile.lock
+- Guardfile
+- lib/tensai/logic.rb
+- lib/tensai/logic/entity.rb
+- lib/tensai/logic/formula.rb
+- lib/tensai/logic/formulas.rb
+- lib/tensai/logic/formulas/atom.rb
+- lib/tensai/logic/predicate.rb
+- lib/tensai/logic/variable.rb
+- lib/tensai/logic/version.rb
+- tensai-logic.gemspec
+homepage: https://github.com/kfischer-okarin/tensai
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/kfischer-okarin/tensai
+  source_code_uri: https://github.com/kfischer-okarin/tensai/tree/master/logic
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.0.6
+signing_key: 
+specification_version: 4
+summary: Logic Framework
+test_files: []