rulengine 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: ac1223e45604022c8d2c4543211308ab3ab84998
+  data.tar.gz: abbf7be2163d7929b9afaab5ead586872e5e7de7
+SHA512:
+  metadata.gz: f418ae646a14e4a1f91259cf773c497a23dfa830a57c97602721d6b59b738b44703deef3aebc2eb1608a65f1c13258fc905295845fbd8392c263ff8ef894a553
+  data.tar.gz: dc65edc1231b5f717522b094b9510956a43e928b43434cac5c9534b59be774e4478a7ba045a3b4752233fa1b2efa7c1b7784a1409fb189b8ea471064386e2168

data/.gitignore

@@ -0,0 +1,13 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+
+# rspec failure tracking
+.rspec_status
+rulengine*.gem

data/.rspec

@@ -0,0 +1,2 @@
+--format documentation
+--color

data/.travis.yml

@@ -0,0 +1,5 @@
+sudo: false
+language: ruby
+rvm:
+  - 2.4.0
+before_install: gem install bundler -v 1.15.4

data/Gemfile

@@ -0,0 +1,6 @@
+source "https://rubygems.org"
+
+git_source(:github) {|repo_name| "https://github.com/#{repo_name}" }
+
+# Specify your gem's dependencies in rulengine.gemspec
+gemspec

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2017 TODO: Write your name
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,58 @@
+# Rulengine
+
+## Why
+
+MIT license. Work problem
+
+"Facts" change every time, rules don't. No need to optimize facts
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'rulengine'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install rulengine
+
+Until it is moved to a generator, you will need to call this to setup the DB:
+```
+Rulengine::Engine.build_db
+```
+
+## Usage example
+
+```
+require 'rulengine'
+Rulengine::Rule.connection
+
+add_b = Rulengine::Rule.new given: ['a'], action: {'add': ['b']}
+add_b.save!
+remove_b = Rulengine::Rule.new given: ['a'], action: {'remove': ['b']}
+remove_b.save!
+
+Rulengine::Rule.find_conflicts
+```
+
+## Development
+
+TODO: Move specs over
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/rulengine.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](http://opensource.org/licenses/MIT).

data/Rakefile

@@ -0,0 +1,7 @@
+require "bundler/gem_tasks"
+# require "rspec/core/rake_task"
+
+# RSpec::Core::RakeTask.new(:spec)
+Dir.glob('tasks/**/*.rake').each(&method(:import))
+
+task :default => :spec

data/bin/console

@@ -0,0 +1,14 @@
+#!/usr/bin/env ruby
+
+require "bundler/setup"
+require "rulengine"
+
+# You can add fixtures and/or initialization code here to make experimenting
+# with your gem easier. You can also use a different console, if you like.
+
+# (If you use this, don't forget to add pry to your Gemfile!)
+# require "pry"
+# Pry.start
+
+require "irb"
+IRB.start(__FILE__)

data/bin/setup

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+IFS=$'\n\t'
+set -vx
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/lib/rulengine.rb

@@ -0,0 +1,46 @@
+require "active_record"
+
+require "rulengine/version"
+
+# Move?
+require "rulengine/rule"
+require "rulengine/state"
+
+module Rulengine
+	class Engine 
+
+    # TODO
+    def self.build_db
+      ActiveRecord::Schema.define do
+        unless ActiveRecord::Base.connection.tables.include? 'rules'
+          create_table :rules do |t|
+            t.json :given # Turns this an its negative into a separate 'fact' class
+            t.json :unless_given # Same as "and not given"
+            t.json :action # switch to foreign key? Model name? (inherited)
+
+            t.timestamps
+          end
+        end
+
+        unless ActiveRecord::Base.connection.tables.include? 'states'
+          create_table :states do |t|
+            t.json :data
+            t.timestamps
+          end
+        end
+      end
+    end
+
+		def initialize
+			puts "init rulengine"
+      build_db
+		end
+
+		def self.a
+			puts 'a'
+			'a'
+		end
+		
+	end
+end
+

data/lib/rulengine/rule.rb

@@ -0,0 +1,100 @@
+require "active_record"
+require "set"
+
+
+ActiveRecord::Base.establish_connection(
+  adapter:  'postgresql', # or 'postgresql' or 'sqlite3'
+  database: 'pfb',
+  username: 'pfb',
+  password: '',
+  host:     'localhost'
+)
+
+ActiveRecord::Base.connection
+
+
+module Rulengine
+  class Rule < ActiveRecord::Base
+    InvalidRuleSet = Class.new StandardError
+
+    def self.list_all_combinations
+      # Shortcut, can be greatly optimized
+      left = Rulengine::Rule.all.pluck(:given, :unless_given).flatten.to_set
+      right = Rulengine::Rule.all.pluck(:action).map(&:values).flatten.to_set
+      vars = left + right - [nil]
+      # For optimization, remove to_a (less readable)
+      (1..vars.count).flat_map{ |size| vars.to_a.combination(size).to_a }
+
+    end
+
+  
+    def self.find_conflicts # Don't pass data, generate it!
+      list_all_combinations.each do |data|
+        puts "Testing combination: #{data}"
+        data = apply_all_rules(data)
+        apply_all_rules(data)
+      end
+      # data = apply_all_rules(data)
+      # apply_all_rules(data)
+    end
+
+    def self.apply_all_rules(data, run_count=1)
+      # Run twice ensures there are no deep circular conflicts
+      data = data.to_set
+      state_history = Set.new([data])
+
+      # run_count = (run_twice && 2) || 1
+      (1..run_count).each do |_|
+        Rulengine::Rule.all.each do |rule|
+          # orig_state = self #.deep_copy
+          data_was = data
+          data = rule.apply_to(data)
+          if data_was != data
+            if state_history.include? data.to_set
+              raise InvalidRuleSet, [rule, state_history, ]# "Breaking input: #{state_history.first}"]
+            end
+            state_history.add data.to_set
+          end
+        end
+      end
+
+      # puts state_history
+      data
+    end
+
+
+    # Not_given refers to something that MUST NOT be given
+    def apply_to(data)
+      # data = data.data if data.is_a? State
+      data = data.to_set unless data.is_a? Set
+      if applies?(data)
+
+        # Refactor action into classes with `perform`
+        action.each do |k, v|
+          if k.eql? 'add'
+            data += (v || [])
+          elsif k.eql? 'remove'
+            data -= (v || [])
+          else
+            puts k, v
+            raise NotImplementedError
+          end
+        end
+        # self.save!
+      end
+
+      data
+    end
+
+    def applies?(data)
+      if unless_given
+        return false if (data & unless_given).present?
+      end
+      if given
+        return false unless given.to_set.subset? data
+      end
+
+      true
+    end
+  end
+end

data/lib/rulengine/state.rb

@@ -0,0 +1,31 @@
+require "active_record"
+
+ActiveRecord::Base.establish_connection(
+  adapter:  'postgresql', # or 'postgresql' or 'sqlite3'
+  database: 'pfb',
+  username: 'pfb',
+  password: '',
+  host:     'localhost'
+)
+
+# ActiveRecord::Base.connection
+
+module Rulengine
+  class State < ActiveRecord::Base
+    BadInput = Class.new StandardError
+
+    def apply_rule(rule)
+      raise BadInput unless rule.is_a? Rulengine::Rule
+      self.data = Rulengine::Rule.first.apply_to(data.to_set)
+    end
+
+    def to_set
+      @data_set ||= data.to_set
+    end
+
+    def data=(value)
+      super(value)
+      @data_set = nil # Clear cached data set
+    end
+  end
+end

data/lib/rulengine/version.rb

@@ -0,0 +1,3 @@
+module Rulengine
+  VERSION = "0.1.0"
+end

data/rulengine.gemspec

@@ -0,0 +1,40 @@
+# coding: utf-8
+lib = File.expand_path("../lib", __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "rulengine/version"
+
+Gem::Specification.new do |spec|
+  spec.name          = "rulengine"
+  spec.version       = Rulengine::VERSION
+  spec.authors       = ["Pierre-Francoys Brousseau"]
+  spec.email         = ["pierre@francoys.com"]
+
+  spec.summary       = %q{A Rule Engine that can apply rules tell when rules will conflict.}
+  spec.description   = %q{Not only can this rule engine tell when rules conflict but it can be expanded in many ways, including as an automatic theorem solver}
+  spec.homepage      = "https://github.com/pfbrousseau/rulengine" # "http://rulengine.francoys.com"
+  spec.license       = "MIT"
+
+  # Prevent pushing this gem to RubyGems.org. To allow pushes either set the 'allowed_push_host'
+  # to allow pushing to a single host or delete this section to allow pushing to any host.
+  if spec.respond_to?(:metadata)
+    spec.metadata["allowed_push_host"] = "https://rubygems.org"
+  else
+    raise "RubyGems 2.0 or newer is required to protect against " \
+      "public gem pushes."
+  end
+
+  spec.files         = `git ls-files -z`.split("\x0").reject do |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_development_dependency "bundler", "~> 1.15"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec", "~> 3.0"
+
+  spec.add_dependency "activerecord", "~> 5.0"
+  # spec.add_dependency "sqlite3" # pg?
+  spec.add_dependency "pg"
+end

data/tasks/rspec.rake

@@ -0,0 +1,3 @@
+require 'rspec/core/rake_task'
+
+RSpec::Core::RakeTask.new(:spec)

metadata

@@ -0,0 +1,131 @@
+--- !ruby/object:Gem::Specification
+name: rulengine
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Pierre-Francoys Brousseau
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2017-09-05 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.15'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.15'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.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'
+- !ruby/object:Gem::Dependency
+  name: activerecord
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.0'
+- !ruby/object:Gem::Dependency
+  name: pg
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: Not only can this rule engine tell when rules conflict but it can be
+  expanded in many ways, including as an automatic theorem solver
+email:
+- pierre@francoys.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- lib/rulengine.rb
+- lib/rulengine/rule.rb
+- lib/rulengine/state.rb
+- lib/rulengine/version.rb
+- rulengine.gemspec
+- tasks/rspec.rake
+homepage: https://github.com/pfbrousseau/rulengine
+licenses:
+- MIT
+metadata:
+  allowed_push_host: https://rubygems.org
+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: []
+rubyforge_project: 
+rubygems_version: 2.6.13
+signing_key: 
+specification_version: 4
+summary: A Rule Engine that can apply rules tell when rules will conflict.
+test_files: []