mort666-wongi-engine 0.2.9

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 12af94d3d41d654a50765629e1e9d5e00ac16191
+  data.tar.gz: cba9301423232c6e383123dedd2a13df65d72217
+SHA512:
+  metadata.gz: e08fdafc7be2abd537ac06953594ec8880a4e1be39a95c87678897ee44e5229ea9f9de7e706b1acaeb85494faec9f4c46624659702a83dccdc45b442f1ca5928
+  data.tar.gz: c2844b38099dec1ac0f3654e5d8ecc7103237a59a2b4cd8a6d786194747de0446cc92f3187c449858b85acffc30d44bd61155fb14224ae927ed71f05780da526

data/.gitignore

@@ -0,0 +1,20 @@
+*.gem
+*.rbc
+.bundle
+.config
+.yardoc
+.rspec
+.rvmrc
+Gemfile.lock
+InstalledFiles
+_yardoc
+coverage
+doc/
+lib/bundler/man
+pkg
+rdoc
+spec/reports
+test/tmp
+test/version_tmp
+tmp
+.ruby-version

data/.hgignore

@@ -0,0 +1,6 @@
+syntax: glob
+*.DS_Store
+Gemfile.lock
+.rspec
+.ruby-version
+

data/.hgtags

@@ -0,0 +1,13 @@
+b1dfd471a2a9e4a57f0e4932ac184faa5d6fa5b5 v0.1.0.alpha1
+cf7d0e690fb65541b19074e132813c79a36d12c5 v0.1.0
+accab6252d5746dafe847935ad55f8500594d0cc v0.1.1
+0000000000000000000000000000000000000000 v0.1.1
+80964eb067a8445980b27e871731ff1274bd7be2 v0.2.1
+808537c4e3a2defd382fd8f0a662f8850c70aa1f v0.2.2
+b8b5d5ac7b39ce11d9bb86e61fcb04b227aca02d v0.2.7
+2b0925ffd7d5c9acc48ffd873abff9a3b6ed66c3 v0.2.8
+2b0925ffd7d5c9acc48ffd873abff9a3b6ed66c3 v0.2.8
+5692396d6db5ab9a9b1d26a0f41686124f87de62 v0.2.8
+a2f9d52603db027baced51f673daf46b8fe8745a v0.2.9
+a2f9d52603db027baced51f673daf46b8fe8745a v0.2.9
+da4529420721bdd153839261e624b3738e7355e9 v0.2.9

data/.ruby-gemset

@@ -0,0 +1 @@
+wongi-engine

data/.travis.yml

@@ -0,0 +1,19 @@
+language: ruby
+rvm:
+- 2.1.10
+- 2.2.6
+- 2.3.3
+- 2.4.0
+- jruby-9.0
+sudo: false
+notifications:
+  hipchat:
+    rooms:
+      secure: OwpsmGlIxlSbLUWVZZI+xBErDkFc5XO2vmjs+ddQkNiL1E9N5SG35x75113S6EZ3qhqeNMPFBfZYDqem6jkhNOWsmH3EIH+QT1lWxnosrr0LgyJpvFosvjQaryvqJHVhT5tdBqzaWEYB6ObRLOUt7A5YrbtWHyTScB6ThpXCiR4=
+  webhooks:
+    urls:
+      - secure: Xm+R/3O6iG2sDbfrR8D5Y9AYJkB7DDjLBcKZEn+xaTVjuX/XFLF7p+v9n9v7Qs/v0VtU75pVX4Z++OmNJZJzJKB3Owgb4c1rMOGmctza2JPL+1yovmhpG0/S0hjMkO5g4CsAKKcQoaDXNrubUVHpEchLPP/aCx7/F4twCan9bfc=
+    on_success: always
+    on_failure: always
+    on_start: false
+

data/CHANGELOG.md

@@ -0,0 +1,106 @@
+# Changelog
+
+## 0.2.9
+
+* fixed a bug preventing variables being bound to `false` and `nil`
+
+## 0.2.8
+
+* fixed a namespacing bug affecting code not including the DSL module
+
+## 0.2.7
+
+* fixed an NCC deactivation bug
+
+## 0.2.6
+
+* fixed `Network#each`
+
+## 0.2.5
+
+* fixed some overlay-related memory leaks
+
+## 0.2.3
+
+* fixed the error collector
+
+## 0.2.2
+
+* fixed retention of WMEs added to an overlay
+
+## 0.2.1
+
+* data overlay fixes
+
+## 0.2.0
+
+* refactored compilation code
+* [data overlays](https://github.com/ulfurinn/wongi-engine/issues/45)
+* DSL methods are removed from `Object` and are available by including `Wongi::Engine::DSL` instead
+
+## 0.1.4
+
+* fixed a bug in evaluation of `assign` nodes
+
+## 0.1.0
+
+* massively rewritten rule activation; this simplifies development and debugging and opens the road for useful features such as fully reversible custom actions
+* **treat this as a major upgrade and test thoroughly**
+
+## 0.0.17
+
+* introduced the `assuming` matcher
+
+## 0.0.13
+
+* fixed a bug with recursive generations of multiple facts
+
+## 0.0.12
+
+* fixed another NCC bug
+
+## 0.0.11
+
+* fixed cleanup of invalidated NCC branches
+
+## 0.0.10
+
+* fixed interaction of filters and optional nodes
+
+## 0.0.9
+
+* fixed the definition of `asserted` (#16)
+
+## 0.0.8
+
+* preventing the feedback loop introduced in 0.0.7; experimental
+
+## 0.0.7
+
+* added a guard against introducing variables in neg clauses
+* fixed execution context of simple action block (#7)
+* fixed #4 once more, better
+* fixed a bug with OptionalNode (#12)
+* fixed behaviour of neg nodes; this will cause feedback loops when a gen action creates a fact that invalidates the action's condition
+
+## 0.0.6
+
+* fixed a bug caused by retracting facts from within a rule action (#4)
+
+## 0.0.5
+
+* fixed a bug with multiple `assert` tests following the same node (#2)
+
+## 0.0.4
+
+* reintegrated RDF support
+* collapsible filter matchers
+
+## 0.0.3
+
+* bug fixes
+* `assert`, `assign`
+
+## 0.0.1
+
+* initial repackaged release

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in wongi-engine.gemspec
+gemspec

data/LICENSE

@@ -0,0 +1,22 @@
+Copyright (c) 2012-2015 Valeri Sokolov <ulfurinn@ulfurinn.net>
+
+MIT License
+
+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,27 @@
+# Wongi::Engine
+
+[![Join the chat at https://gitter.im/ulfurinn/wongi-engine](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/ulfurinn/wongi-engine?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
+
+[![Build Status](https://travis-ci.org/ulfurinn/wongi-engine.svg?branch=master)](https://travis-ci.org/ulfurinn/wongi-engine) (MRI 1.9.3 to 2.3, Rubinius, JRuby)
+
+[Feature annoucements](https://github.com/ulfurinn/wongi-engine/issues?q=is%3Aopen+is%3Aissue+label%3Aannoucement)
+
+[Open discussions](https://github.com/ulfurinn/wongi-engine/issues?q=is%3Aopen+is%3Aissue+label%3Adiscussion)
+
+[Tutorial](http://ulfurinn.github.io/wongi-engine/)
+
+This library contains a rule engine written in Ruby. It's based on the [Rete algorithm](http://en.wikipedia.org/wiki/Rete_algorithm) and uses a DSL to express rules in a readable way.
+
+**Word of caution**: this is complex and fragile machinery, and there may be subtle bugs that are only revealed with nontrivial usage. Be conservative with upgrades, test your rules extensively, and please report any behaviour that is not consistent with your expectations.
+
+## Acknowledgements
+
+The Rete implementation in this library largely follows the outline presented in [\[Doorenbos, 1995\]](http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-113.pdf).
+
+## Contributing
+
+1. Fork it
+2. Create your feature branch (`git checkout -b my-new-feature`)
+3. Commit your changes (`git commit -am 'Added some feature'`)
+4. Push to the branch (`git push origin my-new-feature`)
+5. Create new Pull Request

data/Rakefile

@@ -0,0 +1,9 @@
+#!/usr/bin/env rake
+require "bundler/gem_tasks"
+
+require 'rspec/core/rake_task'
+
+RSpec::Core::RakeTask.new('spec')
+
+# If you want to make this the default task
+task :default => :spec

data/examples/ex01.rb

@@ -0,0 +1,23 @@
+include Wongi::Engine
+
+ds = Network.new
+
+ds << WME.new( "Alice", "friend", "Bob" )
+
+puts "Enumerate all:"
+
+ds.each do |wme|
+  puts wme
+end
+
+puts "Enumerate by pattern:"
+
+ds.each :_, "friend", :_ do |wme|
+  puts wme
+end
+
+puts "Mismatching pattern:"
+
+ds.each :_, "foe", :_ do |wme|
+  puts wme
+end

data/examples/ex02.rb

@@ -0,0 +1,37 @@
+include Wongi::Engine
+include Wongi::Engine::DSL
+
+ds = Network.new
+
+ds << ruleset {
+
+  name "Example"
+
+  rule "symmetric" do
+    forall {
+      has :P, "symmetric", true
+      has :A, :P, :B
+    }
+    make {
+      gen :B, :P, :A
+    }
+  end
+
+}
+
+puts "Installed ruleset"
+
+ds << WME.new( "friend", "symmetric", true )
+ds << WME.new( "Alice", "friend", "Bob" )
+
+puts "Asserted facts:"
+
+puts "Should print 3 facts:"
+puts ds.wmes.to_a
+
+
+ds.retract WME.new( "Alice", "friend", "Bob" )
+
+puts "Should print 1 fact:"
+puts ds.wmes.to_a
+

data/examples/graphviz.rb

@@ -0,0 +1,16 @@
+require 'wongi-engine'
+
+include Wongi::Engine
+include Wongi::Engine::DSL
+
+ds = Network.new
+ds << rule('demo') {
+  forall {
+    has 1, 2, 3
+    maybe 4, 5, 6
+  }
+}
+
+File.open "rete.dot", "w" do |io|
+  Graph.new( ds ).dot( io )
+end

data/examples/rdf.n3

@@ -0,0 +1,6 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix test: <http://test/> .
+
+test:b test:x [
+	test:z test:y
+] .

data/examples/rdf.rb

@@ -0,0 +1,14 @@
+require 'wongi-rdf'
+require 'wongi-engine'
+
+engine = Wongi::Engine.create
+engine.rdf!
+parser = Wongi::RDF::Parser.new
+parser.parse_file File.expand_path( "rdf.n3", File.dirname(__FILE__) ), engine
+
+engine.each do |wme|
+  puts wme
+end
+
+serializer = Wongi::RDF::Serializer.new engine
+puts serializer.serialize

data/examples/timeline.rb

@@ -0,0 +1,48 @@
+require 'wongi-engine'
+
+def sep
+  puts "---------------------------"
+end
+
+engine = Wongi::Engine.create
+
+engine.debug!
+
+engine.compile_alpha Wongi::Engine::Template.new( :_, :_, :_,  0 )
+engine.compile_alpha Wongi::Engine::Template.new( :_, :_, :_, -1 )
+engine.compile_alpha Wongi::Engine::Template.new( :_, :_, :_, -2 )
+engine.compile_alpha Wongi::Engine::Template.new( :_, :_, :_, -3 )
+engine.compile_alpha Wongi::Engine::Template.new( :_, :_, :_, -4 )
+engine.compile_alpha Wongi::Engine::Template.new( :_, :_, :_, -5 )
+
+engine.full_wme_dump
+
+sep
+
+engine << [1, 1, 1]
+engine.full_wme_dump
+engine.snapshot!
+
+sep
+
+engine << [2, 2, 2]
+engine.full_wme_dump
+engine.snapshot!
+
+sep
+
+engine << [3, 3, 3]
+engine.full_wme_dump
+engine.snapshot!
+
+sep
+
+engine << [4, 4, 4]
+engine.full_wme_dump
+engine.snapshot!
+
+sep
+
+engine << [5, 5, 5]
+engine.full_wme_dump
+engine.snapshot!

data/lib/wongi-engine.rb

@@ -0,0 +1,36 @@
+module Wongi
+  module Engine
+    
+    def self.create
+      Network.new
+    end
+
+  end
+
+  # pre-declare things to avoid undefined constants
+  module RDF
+
+    class Document; end
+    class Statement; end
+    class Node; end
+
+  end
+end
+
+require 'wongi-engine/version'
+require 'wongi-engine/core_ext'
+require 'wongi-engine/error'
+require 'wongi-engine/template'
+require 'wongi-engine/wme'
+require 'wongi-engine/wme_match_data'
+require 'wongi-engine/token'
+require 'wongi-engine/filter'
+require 'wongi-engine/alpha_memory'
+require 'wongi-engine/beta'
+require 'wongi-engine/dsl'
+require 'wongi-engine/ruleset'
+require 'wongi-engine/compiler'
+require 'wongi-engine/data_overlay'
+require 'wongi-engine/enumerators'
+require 'wongi-engine/network'
+require 'wongi-engine/graph'

data/lib/wongi-engine/alpha_memory.rb

@@ -0,0 +1,60 @@
+module Wongi::Engine
+
+  class AlphaMemory
+
+    attr_reader :betas, :template, :rete
+
+    def initialize template, rete = nil
+      @template = template
+      @rete = rete
+      @betas = []
+      @wmes = []
+      @frozen = false
+    end
+
+    def activate wme
+      wme.overlay.add_wme(wme, self)
+      # TODO: it used to activate before adding to the list. mandated by the original thesis. investigate. it appears to create duplicate tokens - needs a remedy in collecting nodes
+      betas.each do |beta|
+        beta.alpha_activate wme
+      end
+    end
+
+    def deactivate wme
+      wme.overlay.remove_wme(wme, self)
+      betas.each do |beta|
+        beta.alpha_deactivate wme
+      end
+    end
+
+    def snapshot! alpha
+      alpha.wmes.map( &:dup ).each do |wme|
+        activate wme
+      end
+    end
+
+    def inspect
+      "<Alpha #{__id__} template=#{template}>"
+    end
+
+    def to_s
+      inspect
+    end
+
+    def size
+      wmes.count
+    end
+
+    def wmes
+      Enumerator.new do |y|
+        rete.overlays.each do |overlay|
+          overlay.raw_wmes(self).dup.each do |wme|
+            y << wme
+          end
+        end
+      end
+    end
+
+  end
+
+end