ruleby 0.9.b4 → 0.9.b7

data/benchmarks/model.rb

@@ -0,0 +1,36 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2007 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith
+#
+
+class Account
+  def initialize(status, title, account_id)
+    @status = status
+    @title = title
+    @account_id = account_id
+  end
+  
+  attr :status, true
+  attr :title, true
+  attr :account_id, true
+end
+
+class Address
+  def initialize(addr_id, city, state, zip)
+    @addr_id = addr_id
+    @city = city
+    @state = state
+    @zip = zip
+  end
+  
+  attr :addr_id, true
+  attr :city, true
+  attr :state, true
+  attr :zip, true
+end

data/examples/diagnosis.rb

@@ -0,0 +1,129 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2007 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith
+#
+
+$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
+require 'ruleby'
+
+class Patient
+  def initialize(name,fever,spots,rash,sore_throat,innoculated)
+    @name = name
+    @fever = fever
+    @spots= spots
+    @rash = rash
+    @sore_throat = sore_throat
+    @innoculated = innoculated
+  end  
+  attr:name, true
+  attr:fever, true
+  attr:spots, true
+  attr:rash, true
+  attr:sore_throat, true
+  attr:innoculated, true
+end
+
+class Diagnosis
+  def initialize(name,diagnosis)
+    @name=name
+    @diagnosis=diagnosis
+  end
+  attr:name,true
+  attr:diagnosis,true
+end
+
+class Treatment
+  def initialize(name,treatment)
+    @name=name
+    @treatment=treatment
+  end
+  attr:name,true
+  attr:treatment,true  
+end
+
+class DiagnosisRulebook < Ruleby::Rulebook
+  def rules
+    rule :Measles, {:priority => 100},
+      [Patient,:p,{m.name=>:n},m.fever==:high,m.spots==true,m.innoculated==true] do |v|
+        name = v[:n]
+        assert Diagnosis.new(name, :measles)
+        puts "Measles diagnosed for #{name}"  
+    end
+    
+    rule :Allergy1,
+      [Patient,:p, {m.name=>:n}, m.spots==true],
+      [:not, Diagnosis, m.name==b(:n), m.diagnosis==:measles] do |v|
+        name = v[:n]
+        assert Diagnosis.new(name, :allergy)
+        puts "Allergy diagnosed for #{name} from spots and lack of measles"
+    end
+    
+    rule :Allergy2,
+      [Patient,:p, {m.name=>:n}, m.rash==true] do |v|
+        name = v[:n]
+        assert Diagnosis.new(name, :allergy)
+        puts "Allergy diagnosed from rash for #{name}"
+    end     
+    
+    rule :Flu,
+      [Patient,:p, {m.name=>:n}, m.sore_throat==true, m.fever(&c{|f| f==:mild || f==:high})] do |v|
+        name = v[:n]
+        assert Diagnosis.new(name, :flu)
+        puts "Flu diagnosed for #{name}"
+    end     
+
+    rule :Penicillin,
+      [Diagnosis, :d, {m.name => :n}, m.diagnosis==:measles] do |v|
+        name = v[:n]
+        assert Treatment.new(name, :penicillin)
+        puts "Penicillin prescribed for #{name}"
+    end  
+    
+    rule :Allergy_pills,
+      [Diagnosis, :d, {m.name => :n}, m.diagnosis==:allergy] do |v|
+        name = v[:n]
+        assert Treatment.new(name, :allergy_shot)
+        puts "Allergy shot prescribed for #{name}"
+    end
+
+    rule :Bed_rest,
+      [Diagnosis, :d, {m.name => :n}, m.diagnosis==:flu] do |v|
+        name = v[:n]
+        assert Treatment.new(name, :bed_rest)
+        puts "Bed rest prescribed for #{name}"
+    end
+  end
+end
+
+include Ruleby
+
+engine :engine do |e|
+  
+  DiagnosisRulebook.new e do |r|
+    r.rules
+  end
+
+  e.assert Patient.new('Fred',:none,true,false,false,false)
+  e.assert Patient.new('Joe',:high,false,false,true,false)
+  e.assert Patient.new('Bob',:high,true,false,false,true)
+  e.assert Patient.new('Tom',:none,false,true,false,false)
+  
+  e.match
+
+# expect this output:
+#  Measles diagnosed for Bob
+#  Penicillin prescribed for Bob
+#  Allergy diagnosed from rash for Tom
+#  Allergy shot prescribed for Tom
+#  Flu diagnosed for Joe
+#  Bed rest prescribed for Joe
+#  Allergy diagnosed for Fred from spots and lack of measles
+#  Allergy shot prescribed for Fred
+
+end

data/examples/fibonacci_example1.rb

@@ -0,0 +1,44 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2007 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith
+#
+
+$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
+require 'ruleby'
+require 'fibonacci_rulebook'
+class Fibonacci
+  def initialize(sequence,value=-1)
+    @sequence = sequence
+    @value = value 
+  end
+  
+  attr_reader :sequence  
+  attr :value, true
+  
+  def to_s
+    return '['+super + " sequence=" + @sequence.to_s + ",value=" + @value.to_s + ']'
+  end
+end
+
+include Ruleby
+
+# This example is borrowed from the JBoss-Rule project.
+
+# FACTS
+fib1 = Fibonacci.new(150)
+
+t1 = Time.new
+engine :engine do |e|
+  FibonacciRulebookFerrari.new(e).rules
+  e.assert fib1
+  e.match   
+end
+t2 = Time.new
+diff = t2.to_f - t1.to_f
+puts diff.to_s

data/examples/fibonacci_example2.rb

@@ -0,0 +1,40 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2007 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith
+#
+
+$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
+require 'ruleby'
+require 'fibonacci_rulebook'
+class Fibonacci
+  def initialize(sequence,value=-1)
+    @sequence = sequence
+    @value = value 
+  end
+  
+  attr_reader :sequence  
+  attr :value, true
+  
+  def to_s
+    return super + "::sequence=" + @sequence.to_s + ",value=" + @value.to_s
+  end
+end
+
+include Ruleby
+
+# FACTS
+fib1 = Fibonacci.new(1,1)
+fib2 = Fibonacci.new(2,1)
+
+engine :engine do |e|  
+  FibonacciRulebook2.new(e).rules
+  e.assert fib1
+  e.assert fib2
+  e.match       
+end

data/examples/fibonacci_example3.rb

@@ -0,0 +1,78 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2007 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith
+#
+
+$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
+require 'ruleby'
+require 'rule_helper'
+class Fibonacci
+  def initialize(sequence,value=-1)
+    @sequence = sequence
+    @value = value 
+  end
+  
+  attr_reader :sequence  
+  attr :value, true
+  
+  def to_s
+    return super + "::sequence=" + @sequence.to_s + ",value=" + @value.to_s
+  end
+end
+
+include Ruleby::RuleHelper
+#RULES
+rules = []
+# Bootstrap1
+rules += rule  :Bootstrap1,  {:priority => 4},
+    [Fibonacci, :f, m.value == -1, m.sequence == 1 ] do |vars, engine|  
+      vars[:f].value = 1
+      engine.modify vars[:f]
+      puts vars[:f].sequence.to_s + ' == ' + vars[:f].value.to_s      
+  end  
+
+  # Recurse
+rules += rule :Recurse, {:priority => 3},
+    [Fibonacci, :f, m.value == -1] do |vars, engine|   
+      f2 = Fibonacci.new(vars[:f].sequence - 1)
+      engine.assert f2
+      puts 'recurse for ' + f2.sequence.to_s
+  end  
+
+  # Bootstrap2
+rules += rule :Bootstrap2, 
+    [Fibonacci, :f, m.value == -1 , m.sequence == 2] do |vars, engine|    
+      vars[:f].value = 1       
+      engine.modify vars[:f]
+      puts vars[:f].sequence.to_s + ' == ' + vars[:f].value.to_s
+  end
+
+  # Calculate
+rules += rule :Calculate,
+    [Fibonacci,:f1, m.value.not== -1, {m.sequence => :s1}],
+    [Fibonacci,:f2, m.value.not== -1, {m.sequence( :s1, &c{ |s2,s1| s2 == s1 + 1 } ) => :s2}],
+    [Fibonacci,:f3, m.value == -1, m.sequence(:s2, &c{ |s3,s2| s3 == s2 + 1 }) ] do |vars, engine|
+      vars[:f3].value = vars[:f1].value + vars[:f2].value
+      engine.modify vars[:f3]
+      engine.retract vars[:f1]
+      puts vars[:f3].sequence.to_s + ' == ' + vars[:f3].value.to_s
+  end
+
+# FACTS
+fib1 = Fibonacci.new(150)
+
+include Ruleby
+
+engine :engine do |e|  
+  rules.each do |r|
+    e.assert_rule r
+  end
+  e.assert fib1
+  e.match       
+end

data/examples/fibonacci_rulebook.rb

@@ -0,0 +1,84 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2007 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith
+#
+
+require 'ruleby'
+
+include Ruleby
+
+# NOTE this example uses the LeTigre DSL syntax.  In addition, its semantics are
+# different from the other classes.
+class FibonacciRulebook2 < Rulebook
+  MAX_SEQUENCE = 100
+  def rules
+    rule :Calculate, {:priority => 2 },                               
+      'Fibonacci as :f1 where #value != -1 #&& #sequence as :s1',
+      'Fibonacci as :f2 where #value != -1 #&& #sequence == #:s1 + 1 as :s2',
+      'Fibonacci as :f3 where #value == -1 #&& #sequence == #:s2 + 1' do |vars|
+        retract vars[:f1]
+        retract vars[:f3]
+        if(vars[:f2].sequence == MAX_SEQUENCE)
+          retract vars[:f2]
+        else      
+          f3 = Fibonacci.new(vars[:f2].sequence + 1, vars[:f1].value + vars[:f2].value)
+          assert f3
+          puts "#{f3.sequence} == #{f3.value}"
+        end                 
+    end    
+  
+    rule :Build, {:priority => 1},
+      'Fibonacci as :f1 where #value != -1 #&& #sequence as :s1',
+      'Fibonacci as :f2 where #value != -1 #&& #sequence == #:s1 + 1' do |vars| 
+        f3 = Fibonacci.new(vars[:f2].sequence + 1, -1)
+        assert f3
+    end
+  end
+end
+
+# NOTE
+# In this class we demonstrate the Ferrari DSL syntax.  
+class FibonacciRulebookFerrari < Rulebook
+  def rules
+   # Bootstrap1
+    rule  :Bootstrap1,  {:priority => 4},
+      [Fibonacci, :f, m.value == -1, m.sequence == 1 ] do |vars|  
+        vars[:f].value = 1
+        modify vars[:f]
+        puts vars[:f].sequence.to_s + ' == ' + vars[:f].value.to_s      
+    end  
+ 
+    # Recurse
+    rule :Recurse, {:priority => 3},
+      [Fibonacci, :f, m.value == -1] do |vars|   
+        f2 = Fibonacci.new(vars[:f].sequence - 1)
+        assert f2
+        puts 'recurse for ' + f2.sequence.to_s
+    end  
+  
+    # Bootstrap2
+    rule :Bootstrap2, 
+      [Fibonacci, :f, m.value == -1 , m.sequence == 2] do |vars|    
+        vars[:f].value = 1       
+        modify vars[:f]
+        puts vars[:f].sequence.to_s + ' == ' + vars[:f].value.to_s
+    end
+  
+    # Calculate
+    rule :Calculate,
+      [Fibonacci,:f1, m.value.not== -1, {m.sequence => :s1}],
+      [Fibonacci,:f2, m.value.not== -1, {m.sequence( :s1, &c{ |s2,s1| s2 == s1 + 1 } ) => :s2}],
+      [Fibonacci,:f3, m.value == -1, m.sequence(:s2, &c{ |s3,s2| s3 == s2 + 1 }) ] do |vars|
+        vars[:f3].value = vars[:f1].value + vars[:f2].value
+        modify vars[:f3]
+        retract vars[:f1]
+        puts vars[:f3].sequence.to_s + ' == ' + vars[:f3].value.to_s
+    end
+  end
+end

data/examples/hello.rb

@@ -0,0 +1,45 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2007 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith
+#
+
+$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
+require 'ruleby'
+
+include Ruleby
+
+class Message
+  def initialize(status,message)
+    @status = status
+    @message = message
+  end
+  attr :status, true
+  attr :message, true
+end
+
+class HelloWorldRulebook < Rulebook
+  def rules
+    rule [Message, :m, m.status == :HELLO] do |v|
+      puts v[:m].message
+      v[:m].message = "Goodbye world"
+      v[:m].status = :GOODBYE
+      modify v[:m]
+    end
+    
+    rule [Message, :m, m.status == :GOODBYE] do |v| 
+      puts v[:m].message 
+    end       
+  end
+end
+
+engine :engine do |e|
+  HelloWorldRulebook.new(e).rules
+  e.assert Message.new(:HELLO, 'Hello World')
+  e.match
+end