mort666-wongi-engine 0.2.9

data/spec/rule_specs/negative_rule_spec.rb

@@ -0,0 +1,105 @@
+require 'spec_helper'
+
+describe "negative rule" do
+
+  before :each do
+    @engine = Wongi::Engine.create
+  end
+
+  def engine
+    @engine
+  end
+
+  it "should not introduce variables" do
+
+    proc = lambda {
+
+      engine << rule('one-option') {
+        forall {
+          neg :Foo, :bar, :_
+        }
+        make {
+          action { |tokens|
+            raise "This should never get executed #{tokens}"
+          }
+        }
+      }
+
+    }
+
+    expect( &proc ).to raise_error( Wongi::Engine::DefinitionError )
+
+  end
+
+  specify "variable example 1" do
+
+    prod = engine << rule {
+      forall {
+        has :x, :y, :Z
+        neg :a, :b, :Z
+      }
+    }
+
+    engine << [:x, :y, 1]
+    expect( prod ).to have(1).tokens
+
+    engine << [:a, :b, 1]
+    expect( prod ).to have(0).tokens
+
+  end
+
+  specify "variable example 1" do
+
+    prod = engine << rule {
+      forall {
+        has :x, :y, :Z
+        neg :a, :b, :Z
+      }
+    }
+
+    engine << [:a, :b, 1]
+    engine << [:x, :y, 1]
+    expect( prod ).to have(0).tokens
+
+    engine.retract [:a, :b, 1]
+    expect( prod ).to have(1).tokens
+
+  end
+
+  # it "should not create infinite feedback loops by default" do
+
+  #   engine << rule('feedback') {
+  #     forall {
+  #       neg :a, :b, :_
+  #     }
+  #     make {
+  #       gen :a, :b, :c
+  #     }
+  #   }
+
+  #   engine.should have(1).facts
+
+  # end
+
+  it "should create infinite feedback loops with unsafe option" do
+
+    counter = 0
+    exception = Class.new( StandardError )
+
+    proc = lambda {
+      engine << rule('feedback') {
+        forall {
+          neg :a, :b, :_, unsafe: true
+        }
+        make {
+          action { counter += 1 ; if counter > 5 then raise exception.new end }
+          gen :a, :b, :c
+        }
+      }
+    }
+
+    expect( &proc ).to raise_error( exception )
+
+  end
+
+end

data/spec/ruleset_spec.rb

@@ -0,0 +1,54 @@
+require 'spec_helper'
+
+describe Wongi::Engine::Ruleset do
+
+  before :each do
+    Wongi::Engine::Ruleset.reset
+  end
+
+  context 'initially' do
+
+    it 'should have no rules' do
+      expect( Wongi::Engine::Ruleset.rulesets ).to be_empty
+    end
+
+  end
+
+  context 'when creating' do
+
+    it 'should not register itself when not given a name' do
+      ruleset = Wongi::Engine::Ruleset.new
+      expect( ruleset.name ).to be_nil
+      expect( Wongi::Engine::Ruleset.rulesets ).to be_empty
+    end
+
+    it 'should have a name' do
+      ruleset = Wongi::Engine::Ruleset.new 'testing-ruleset'
+      expect( ruleset.name ).to be == 'testing-ruleset'
+    end
+
+    it 'should register itself when given a name' do
+      ruleset = Wongi::Engine::Ruleset.new 'testing-ruleset'
+      expect( Wongi::Engine::Ruleset.rulesets ).not_to be_empty
+      expect( Wongi::Engine::Ruleset[ruleset.name] ).to be == ruleset
+    end
+
+  end
+
+  it 'should be able to clear registered rulesets' do
+    ruleset = Wongi::Engine::Ruleset.new 'testing-ruleset'
+    Wongi::Engine::Ruleset.reset
+    expect( Wongi::Engine::Ruleset.rulesets ).to be_empty
+  end
+
+  it 'should install creating rules into a rete' do
+    rete = double 'rete'
+
+    ruleset = Wongi::Engine::Ruleset.new
+    rule = ruleset.rule( 'test-rule' ) { }
+
+    expect( rete ).to receive(:<<).with(rule).once
+    ruleset.install rete
+  end
+
+end

data/spec/simple_action_spec.rb

@@ -0,0 +1,40 @@
+require 'spec_helper'
+
+describe Wongi::Engine::DSL::Action::SimpleAction do
+
+  before :each do
+    @rete = Wongi::Engine::Network.new
+  end
+
+  def rete
+    @rete
+  end
+
+  it 'should work with blocks' do
+
+    count = 0
+
+    rete.rule do
+      forall {
+        has 1, 2, :X
+      }
+      make {
+        action {
+          count += 1
+        }
+      }
+    end
+
+    expect(count).to eq(0)
+
+    rete << [1, 2, 3]
+
+    expect(count).to eq(1)
+
+    rete << [1, 2, 4]
+
+    expect(count).to eq(2)
+
+  end
+
+end

data/spec/spec_helper.rb

@@ -0,0 +1,3 @@
+require 'pry'
+require 'wongi-engine'
+require 'rspec/collection_matchers'

data/spec/wme_spec.rb

@@ -0,0 +1,83 @@
+require 'spec_helper'
+
+describe Wongi::Engine::WME do
+
+  # def capitalizing_rete
+  #   rete = double 'rete'
+  #   expect( rete ).to receive(:import).with("b").and_return("B")
+  #   expect( rete ).to receive(:import).with("a").and_return("A")
+  #   expect( rete ).to receive(:import).with("c").and_return("C")
+  #   rete
+  # end
+
+  subject {
+    Wongi::Engine::WME.new "a", "b", "c"
+  }
+
+  context 'a new WME' do
+
+    it 'should initialize and expose members' do
+      expect( subject.subject ).to be == "a"
+      expect( subject.predicate ).to be == "b"
+      expect( subject.object ).to be == "c"
+    end
+
+    # it 'should use the rete to import members' do
+
+    #   rete = capitalizing_rete
+
+    #   wme = Wongi::Engine::WME.new "a", "b", "c", rete
+
+    #   expect( wme.subject ).to be == "A"
+    #   expect( wme.predicate ).to be == "B"
+    #   expect( wme.object ).to be == "C"
+
+    # end
+
+
+  it {
+    should be_manual
+  }
+
+  it {
+    should_not be_generated
+  }
+
+  end
+
+  # it 'should be able to import into rete' do
+
+  #   rete = capitalizing_rete
+
+  #   imported = subject.import_into rete
+
+  #   expect( imported.subject ).to be == "A"
+  #   expect( imported.predicate ).to be == "B"
+  #   expect( imported.object ).to be == "C"
+
+  # end
+
+  it 'should compare instances' do
+
+    wme1 = Wongi::Engine::WME.new "a", "b", "c"
+    wme2 = Wongi::Engine::WME.new "a", "b", "c"
+    wme3 = Wongi::Engine::WME.new "a", "b", "d"
+
+    expect( wme1 ).to be == wme2
+    expect( wme1 ).not_to be == wme3
+
+  end
+
+  it 'should not match against non-templates' do
+    expect { subject =~ [1, 2, 3] }.to raise_error( Wongi::Engine::Error )
+  end
+
+  it 'should match against templates' do
+    t1 = Wongi::Engine::Template.new "a", :_, :_
+    t2 = Wongi::Engine::Template.new "b", :_, :_
+
+    expect( subject ).to be =~ t1
+    expect( subject ).not_to be =~ t2
+  end
+
+end

data/wongi-engine.gemspec

@@ -0,0 +1,40 @@
+# -*- encoding: utf-8 -*-
+require File.expand_path('../lib/wongi-engine/version', __FILE__)
+
+module GemHelper
+  def self.git?
+    File.exists?(".git")
+  end
+
+  def self.hg?
+    File.exists?(".hg")
+  end
+end
+
+Gem::Specification.new do |gem|
+  gem.authors       = ["Valeri Sokolov"]
+  gem.email         = ["ulfurinn@ulfurinn.net"]
+  gem.description   = %q{A rule engine.}
+  gem.summary       = %q{A forward-chaining rule engine in pure Ruby.}
+  gem.homepage      = "https://github.com/ulfurinn/wongi-engine"
+  gem.licenses      = %w(MIT)
+
+  if GemHelper.git?
+    gem.files       = `git ls-files`.split($\)
+  elsif GemHelper.hg?
+    gem.files       = `hg st -cn`.split($\)
+  else
+    raise "cannot enumerate files: not a git or hg repository"
+  end
+  gem.executables   = gem.files.grep(%r{^bin/}).map{ |f| File.basename(f) }
+  gem.test_files    = gem.files.grep(%r{^(test|spec|features)/})
+  gem.name          = "mort666-wongi-engine"
+  gem.require_paths = ["lib"]
+  gem.version       = Wongi::Engine::VERSION
+
+  gem.add_development_dependency 'rake', '~> 10.0'
+  gem.add_development_dependency 'pry', '~> 0.10'
+  # gem.add_development_dependency 'pry-byebug', '~> 2.0'
+  gem.add_development_dependency 'rspec', '~> 3.1'
+  gem.add_development_dependency 'rspec-collection_matchers', '~> 1.1'
+end

metadata

@@ -0,0 +1,212 @@
+--- !ruby/object:Gem::Specification
+name: mort666-wongi-engine
+version: !ruby/object:Gem::Version
+  version: 0.2.9
+platform: ruby
+authors:
+- Valeri Sokolov
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2017-01-18 00:00:00.000000000 Z
+dependencies:
+- !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: pry
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.10'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.10'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.1'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.1'
+- !ruby/object:Gem::Dependency
+  name: rspec-collection_matchers
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.1'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.1'
+description: A rule engine.
+email:
+- ulfurinn@ulfurinn.net
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".hgignore"
+- ".hgtags"
+- ".ruby-gemset"
+- ".travis.yml"
+- CHANGELOG.md
+- Gemfile
+- LICENSE
+- README.md
+- Rakefile
+- examples/ex01.rb
+- examples/ex02.rb
+- examples/graphviz.rb
+- examples/rdf.n3
+- examples/rdf.rb
+- examples/timeline.rb
+- lib/wongi-engine.rb
+- lib/wongi-engine/alpha_memory.rb
+- lib/wongi-engine/beta.rb
+- lib/wongi-engine/beta/assignment_node.rb
+- lib/wongi-engine/beta/beta_memory.rb
+- lib/wongi-engine/beta/beta_node.rb
+- lib/wongi-engine/beta/filter_node.rb
+- lib/wongi-engine/beta/join_node.rb
+- lib/wongi-engine/beta/ncc_node.rb
+- lib/wongi-engine/beta/ncc_partner.rb
+- lib/wongi-engine/beta/neg_node.rb
+- lib/wongi-engine/beta/optional_node.rb
+- lib/wongi-engine/beta/or_node.rb
+- lib/wongi-engine/beta/production_node.rb
+- lib/wongi-engine/compiler.rb
+- lib/wongi-engine/core_ext.rb
+- lib/wongi-engine/data_overlay.rb
+- lib/wongi-engine/dsl.rb
+- lib/wongi-engine/dsl/action/base.rb
+- lib/wongi-engine/dsl/action/error_generator.rb
+- lib/wongi-engine/dsl/action/simple_action.rb
+- lib/wongi-engine/dsl/action/simple_collector.rb
+- lib/wongi-engine/dsl/action/statement_generator.rb
+- lib/wongi-engine/dsl/action/trace_action.rb
+- lib/wongi-engine/dsl/any_rule.rb
+- lib/wongi-engine/dsl/assuming.rb
+- lib/wongi-engine/dsl/builder.rb
+- lib/wongi-engine/dsl/clause/assign.rb
+- lib/wongi-engine/dsl/clause/fact.rb
+- lib/wongi-engine/dsl/clause/gen.rb
+- lib/wongi-engine/dsl/clause/generic.rb
+- lib/wongi-engine/dsl/generated.rb
+- lib/wongi-engine/dsl/ncc_subrule.rb
+- lib/wongi-engine/dsl/query.rb
+- lib/wongi-engine/dsl/rule.rb
+- lib/wongi-engine/enumerators.rb
+- lib/wongi-engine/error.rb
+- lib/wongi-engine/filter.rb
+- lib/wongi-engine/filter/asserting_test.rb
+- lib/wongi-engine/filter/equality_test.rb
+- lib/wongi-engine/filter/filter_test.rb
+- lib/wongi-engine/filter/greater_than_test.rb
+- lib/wongi-engine/filter/inequality_test.rb
+- lib/wongi-engine/filter/less_than_test.rb
+- lib/wongi-engine/graph.rb
+- lib/wongi-engine/network.rb
+- lib/wongi-engine/network/collectable.rb
+- lib/wongi-engine/network/debug.rb
+- lib/wongi-engine/ruleset.rb
+- lib/wongi-engine/template.rb
+- lib/wongi-engine/token.rb
+- lib/wongi-engine/version.rb
+- lib/wongi-engine/wme.rb
+- lib/wongi-engine/wme_match_data.rb
+- spec/beta_node_spec.rb
+- spec/bug_specs/issue_4_spec.rb
+- spec/dataset_spec.rb
+- spec/dsl_spec.rb
+- spec/filter_specs/assert_test_spec.rb
+- spec/filter_specs/less_test_spec.rb
+- spec/generation_spec.rb
+- spec/high_level_spec.rb
+- spec/network_spec.rb
+- spec/overlay_spec.rb
+- spec/rule_specs/any_rule_spec.rb
+- spec/rule_specs/assign_spec.rb
+- spec/rule_specs/assuming_spec.rb
+- spec/rule_specs/maybe_rule_spec.rb
+- spec/rule_specs/ncc_spec.rb
+- spec/rule_specs/negative_rule_spec.rb
+- spec/ruleset_spec.rb
+- spec/simple_action_spec.rb
+- spec/spec_helper.rb
+- spec/wme_spec.rb
+- wongi-engine.gemspec
+homepage: https://github.com/ulfurinn/wongi-engine
+licenses:
+- MIT
+metadata: {}
+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.4.8
+signing_key: 
+specification_version: 4
+summary: A forward-chaining rule engine in pure Ruby.
+test_files:
+- spec/beta_node_spec.rb
+- spec/bug_specs/issue_4_spec.rb
+- spec/dataset_spec.rb
+- spec/dsl_spec.rb
+- spec/filter_specs/assert_test_spec.rb
+- spec/filter_specs/less_test_spec.rb
+- spec/generation_spec.rb
+- spec/high_level_spec.rb
+- spec/network_spec.rb
+- spec/overlay_spec.rb
+- spec/rule_specs/any_rule_spec.rb
+- spec/rule_specs/assign_spec.rb
+- spec/rule_specs/assuming_spec.rb
+- spec/rule_specs/maybe_rule_spec.rb
+- spec/rule_specs/ncc_spec.rb
+- spec/rule_specs/negative_rule_spec.rb
+- spec/ruleset_spec.rb
+- spec/simple_action_spec.rb
+- spec/spec_helper.rb
+- spec/wme_spec.rb
+has_rdoc: