ruleby 0.2 → 0.3

data/benchmarks/basic_rules.rb

@@ -0,0 +1,66 @@
+# 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 'model'
+
+include Ruleby
+
+class TestRulebook < Rulebook
+  def rules(n)
+    (0..n).each do |index|
+      rule "Rule-#{index}".to_sym do |r|
+        r.when do |has|
+          has.a Account 
+          has.a.status = 'standard'
+          has.a.title = 'mr'
+          has.a.account_id = "acc#{index}"
+        end
+        
+        r.then do |e,vars|
+#          puts "rule #{index} fired"
+        end
+      end
+    end
+  end
+end
+
+def run_benchmark(rules, facts)
+  puts "running benchmark for: #{rules} rules and #{facts} facts"
+  
+  t1 = Time.new
+  engine :engine do |e|   
+    TestRulebook.new(e).rules(rules)
+    
+    t2 = Time.new
+    diff = t2.to_f - t1.to_f
+    puts 'time to create rule set: ' + diff.to_s
+    for k in (0..facts)
+      e.assert Account.new('standard', 'mr', ('acc'+k.to_s))
+    end
+  
+    t3 = Time.new
+    diff = t3.to_f - t2.to_f
+    puts 'time to assert facts: ' + diff.to_s
+    e.match     
+  
+    t4 = Time.new
+    diff = t4.to_f - t3.to_f
+    puts 'time to run agenda: ' + diff.to_s
+  end
+end
+
+run_benchmark(5, 500)
+puts '-------'
+run_benchmark(50, 500)
+puts '-------'
+run_benchmark(500, 500)

data/benchmarks/joined_rules.rb

@@ -0,0 +1,73 @@
+# 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 'model'
+
+include Ruleby
+
+class TestRulebook < Rulebook
+  def rules(n)
+    (0..n).each do |index|
+      rule "Rule-#{index}".to_sym do |r|
+        r.when do |has|
+          has.a Account 
+          has.a.status = 'standard'
+          has.a.account_id :id
+          
+          has.addr Address
+          has.addr.addr_id = :id, :%
+          has.addr.city = 'Foobar'
+          has.addr.state = 'FB' 
+          has.addr.zip = '12345'
+        end
+        
+        r.then do |e,vars|
+#          puts "rule #{index} fired"
+        end
+      end
+    end
+  end
+end
+
+def run_benchmark(rules,facts)
+  puts "running benchmark for: #{rules} rules and #{facts} facts"
+
+  t1 = Time.new
+  engine :engine do |e|   
+    TestRulebook.new(e).rules(rules)
+    
+    t2 = Time.new
+    diff = t2.to_f - t1.to_f
+    puts 'time to create rule set: ' + diff.to_s
+    
+    
+    for k in (0..facts)
+      e.assert Account.new('standard', nil, "acc#{k}")
+      e.assert Address.new("acc#{k}",'Foobar', 'FB', '12345')
+    end
+  
+    t3 = Time.new
+    diff = t3.to_f - t2.to_f
+    puts 'time to assert facts: ' + diff.to_s
+  
+    e.match     
+  
+    t4 = Time.new
+    diff = t4.to_f - t3.to_f
+    puts 'time to run agenda: ' + diff.to_s
+  end
+end
+
+run_benchmark(5, 50)
+puts '-------'
+run_benchmark(50, 50)

data/benchmarks/miss_manners/data.rb

@@ -1,3 +1,14 @@
+# 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
+#
+
 module MissManners
   class MannersData    
     def initialize

data/benchmarks/miss_manners/miss_manners.rb

@@ -1,6 +1,16 @@
+# 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 'rulebook'
 require 'model'
 require 'data'
 require 'rules'

data/benchmarks/miss_manners/model.rb

@@ -1,3 +1,14 @@
+# 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
+#
+
 module MissManners
 
   class Chosen

data/benchmarks/miss_manners/rules.rb

@@ -1,163 +1,102 @@
+# 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 'model'
 
 module MissManners
 
-class MannersRulebook < Rulebook
+class MannersRulebook < Ruleby::Rulebook
   def rules
-    rule 'assignFirstSeat' do |r|
-      r.when do |has|
-        has.context(Context).&.state = Context::START_UP          
-        has.guest Guest
-        has.count Count
-      end
-      
-      r.then = action do |e,vars|         
-        guestName = vars[:guest].name
-        
+    rule :assignFirstSeat, 
+      [Context,:context, m.state == Context::START_UP], 
+      [Guest,:guest],
+      [Count,:count] do |e,vars|         
+        guestName = vars[:guest].name        
         seating =  Seating.new(vars[:count].value,1,true,1,guestName,1,guestName)
-        e.assert seating
-        
+        e.assert seating        
         path = Path.new(vars[:count].value, 1, guestName)
         e.assert path
-
         e.retract vars[:count]
         vars[:count].value = vars[:count].value + 1         
         e.assert vars[:count]
-
 	      puts "assign first seat :  #{seating.to_s} : #{path.to_s}"
-
         vars[:context].state = Context::ASSIGN_SEATS        
         e.modify vars[:context]  
-      end
     end
     
-    rule 'findSeating' do |r|
-      r.when do |has|
-        has.context(Context).&.state(:state).&.state = Context::ASSIGN_SEATS 
-        
-        has.count(Count).&.value:countValue          
-                
-        has.s(Seating).&.id(:seatingId).&.pid(:seatingPid).&.rightSeat(:seatingRightSeat).&.rightGuestName:seatingRightGuestName 
-        has.s.path(:p).&.path = true
-        
-        has.g(Guest).&.name(:name).&.sex(:rightGuestSex).&.hobby(:rightGuestHobby)
-        has.g.name = :seatingRightGuestName, :%   
-        
-        has.lg(Guest).&.name(:leftGuestName).&.sex:sex
-        has.lg.hobby(:hobby).&.hobby = :rightGuestHobby, :%
-        has.lg.sex :rightGuestSex do |s,rgs| s != rgs end
-                
-        has.not.path(Path).&.id = :seatingId, :%
-        has.path.guestName = :leftGuestName, :%
-        
-        has.not.chosen Chosen 
-        has.chosen.id = :seatingId, :%
-        has.chosen.guestName = :leftGuestName, :%
-        has.chosen.hobby = :leftGuestHobby, :%
-      end
-      
-      r.then = action do |e,vars|         
+    rule :findSeating, 
+      [Context,:context, {m.state == Context::ASSIGN_SEATS => :state}],
+      [Count,:count, {m.value => :countValue}],       
+      [Seating,:seating, {m.path ==  true =>:p, m.id=>:seatingId, m.pid=>:seatingPid, m.rightSeat=>:seatingRightSeat,  m.rightGuestName=>:seatingRightGuestName}],
+      [Guest,:g, {m.name=>:name, m.sex=>:rightGuestSex, m.hobby=>:rightGuestHobby}, m.name == b(:seatingRightGuestName)],
+      [Guest,:lg, {m.name=>:leftGuestName, m.sex=>:sex, m.hobby == b(:rightGuestHobby) => :hobby}, m.sex(:rightGuestSex, &c{|s,rgs| s != rgs} )],         
+      [:~,Path, m.id == b(:seatingId), m.guestName == b(:leftGuestName)],
+      [:~,Chosen, m.id == b(:seatingId), m.guestName == b(:leftGuestName), m.hobby == b(:leftGuestHobby)] do |e,vars|         
         rightSeat = vars[:seatingRightSeat]
         seatId = vars[:seatingId]
-        countValue = vars[:count].value              
-        
+        countValue = vars[:count].value               
         seating = Seating.new(countValue,seatId,false,rightSeat,vars[:seatingRightGuestName],rightSeat+1,vars[:leftGuestName])        
         path = Path.new(countValue,rightSeat+1,vars[:leftGuestName])
-        chosen = Chosen.new(seatId, vars[:leftGuestName], vars[:rightGuestHobby] )        
-
+        chosen = Chosen.new(seatId, vars[:leftGuestName], vars[:rightGuestHobby] )     
   	    puts "find seating : #{seating} : #{path} : #{chosen}"
-        
   	    e.assert seating 
   	    e.assert path
   	    e.assert chosen
-
         vars[:count].value = countValue + 1
         e.modify vars[:count]
-
         vars[:context].state = Context::MAKE_PATH
         e.modify vars[:context]    
-      end
-      
     end
     
-    rule 'makePath' do |r|
-      r.when do |has|
-        has.context(Context).&.state(:s).&.state = Context::MAKE_PATH
-        
-        has.seating(Seating).&.id(:seatingId).&.pid:seatingPid
-        has.seating.path(:p).&.path = false
-        
-        has.path(Path).&.guestName(:pathGuestName).&.seat(:pathSeat)
-        has.path.id = :seatingPid, :%
-        
-        has.not.path2 Path
-        has.path2.id = :seatingId, :%
-        has.path2.guestName = :pathGuestName, :%
-      end
-      
-      r.then = action do |e,vars|
+    rule :makePath, 
+      [Context,:context, {m.state == Context::MAKE_PATH => :s}],
+      [Seating,:seating, {m.id=>:seatingId, m.pid=>:seatingPid, m.path == false =>:p}],
+      [Path,:path, {m.guestName=>:pathGuestName, m.seat=>:pathSeat}, m.id == b(:seatingPid)],
+      [:~,Path,m.id == b(:seatingId), m.guestName == b(:pathGuestName)] do |e,vars|
         path = Path.new(vars[:seatingId],vars[:pathSeat],vars[:pathGuestName])        
         e.assert path
         puts "make Path : #{path}"    
-      end
     end
     
-    rule 'pathDone' do |r|
-      r.when do |has|
-        has.context(Context).&.state = Context::MAKE_PATH         
-        has.seating(Seating).&.path = false
-      end
-      
-      r.then = action do |e,vars|
+    # NOTE We had to add this because Ruleby's conflict resolution strategy
+    # is not robust enough.  If it worked correctly, this priority would not 
+    # be nessecary because the 'make path' activations would have more
+    # recent facts supporting it.
+    rule :pathDone, {:priority => -5},
+      [Context,:context, m.state == Context::MAKE_PATH],
+      [Seating,:seating, m.path == false] do |e,vars|
         vars[:seating].path = true
-        e.modify vars[:seating]
-        
+        e.modify vars[:seating]        
         vars[:context].state = Context::CHECK_DONE
         e.modify vars[:context]
         puts "path Done : #{vars[:seating]}"
-      end
-      
-      # HACK We had to add this because Ruleby's conflict resolution strategy
-      # is not robust enough.  If it worked correctly, this priority would not 
-      # be nessecary because the 'make path' activations would have more
-      # recent facts supporting it.
-      r.priority = -5
     end
     
-    rule 'areWeDone' do |r|
-      r.when do |has|
-        has.context(Context).&.state = Context::CHECK_DONE        
-        has.ls(LastSeat).&.seat:lastSeat         
-        has.seating(Seating).&.rightSeat = :lastSeat, :%
-      end
-      
-      r.then = action do |e,vars|
+    rule :areWeDone,
+      [Context,:context, m.state == Context::CHECK_DONE],
+      [LastSeat,:ls, {m.seat => :lastSeat}],
+      [Seating,:seating, m.rightSeat == b(:lastSeat)] do |e,vars|
         vars[:context].state = Context::PRINT_RESULTS
         e.modify vars[:context]
-      end
     end
     
-    rule 'continue' do |r|
-      r.when do |has|
-        has.context Context
-        has.context.state = Context::CHECK_DONE
-      end      
-      r.then = action do |e,vars|
+    rule :continue, {:priority => -5},
+      [Context,:context,m.state == Context::CHECK_DONE] do |e,vars|
         vars[:context].state = Context::ASSIGN_SEATS
         e.modify vars[:context]
-      end      
-      r.priority = -5
     end
     
-    rule 'allDone' do |r|
-      r.when do |has|
-        has.c Context 
-        has.c.state = Context::PRINT_RESULTS 
-      end
-      
-      r.then = action do |e,vars|
+    rule :allDone,
+      [Context,:context,m.state == Context::PRINT_RESULTS] do |e,vars|
         puts 'All done'
-      end
     end
   end
 end

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/example_diagnosis.rb

@@ -1,6 +1,16 @@
+# 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 'rulebook'
 
 class Patient
   def initialize(name,fever,spots,rash,sore_throat,innoculated)
@@ -37,104 +47,56 @@ class Treatment
   attr:treatment,true  
 end
 
-class DiagnosisRulebook < Rulebook
+class DiagnosisRulebook < Ruleby::Rulebook
   def rules
-    rule 'Measles' do |r|
-      r.when do |exists|
-        exists.p(Patient).&.name:n
-        exists.p.fever=:high
-        exists.p.spots=true
-        exists.p.innoculated=true
-      end
-      r.then = action do |e,vars|
-        name = vars[:n]
+    rule :Measles, {:priority => 100},
+      [Patient,:p,{m.name=>:n},m.fever==:high,m.spots==true,m.innoculated==true] do |e,v|
+        name = v[:n]
         e.assert Diagnosis.new(name, :measles)
-        puts "Measles diagnosed for #{name}"
-      end      
-      r.priority = 100
+        puts "Measles diagnosed for #{name}"  
     end
     
-    rule 'Allergy1' do |r|
-      r.when do |exists|
-        exists.p Patient
-        exists.p.name:n
-        exists.p.spots=true
-        
-        exists.not.d Diagnosis
-        exists.d.name = :n, :%
-        exists.d.diagnosis = :measles
-      end
-      r.then = action do |e,vars|
-        name = vars[:n]
+    rule :Allergy1,
+      [Patient,:p, {m.name=>:n}, m.spots==true],
+      [:not, Diagnosis, m.name==b(:n), m.diagnosis==:measles] do |e,v|
+        name = v[:n]
         e.assert Diagnosis.new(name, :allergy)
         puts "Allergy diagnosed for #{name} from spots and lack of measles"
-      end    
     end
     
-    rule 'Allergy2' do |r|
-      r.when do |exists|
-        exists.p Patient
-        exists.p.name :n2
-        exists.p.rash = true
-      end
-      r.then = action  do |e,vars|
-        name = vars[:n2]
+    rule :Allergy2,
+      [Patient,:p, {m.name=>:n}, m.rash==true] do |e,v|
+        name = v[:n]
         e.assert Diagnosis.new(name, :allergy)
         puts "Allergy diagnosed from rash for #{name}"
-      end 
     end     
     
-    rule 'Flu' do |r|
-      r.when do |exists|
-        exists.p Patient
-        exists.p.name :n3
-        exists.p.sore_throat=true
-        exists.p.fever do |f| f == :mild || f == :high end
-      end
-      r.then = action do |e,vars|
-        name = vars[:n3]
+    rule :Flu,
+      [Patient,:p, {m.name=>:n}, m.sore_throat==true, m.fever(&c{|f| f==:mild || f==:high})] do |e,v|
+        name = v[:n]
         e.assert Diagnosis.new(name, :flu)
         puts "Flu diagnosed for #{name}"
-      end 
     end     
 
-    rule 'Penicillin' do |r|
-      r.when do |exists|
-        exists.d Diagnosis
-        exists.d.name :n4
-        exists.d.diagnosis = :measles 
-      end
-      r.then = action do |e,vars|
-        name = vars[:n4]
+    rule :Penicillin,
+      [Diagnosis, :d, {m.name => :n}, m.diagnosis==:measles] do |e,v|
+        name = v[:n]
         e.assert Treatment.new(name, :penicillin)
         puts "Penicillin prescribed for #{name}"
-      end 
     end  
     
-    rule 'Allergy_pills' do |r|
-      r.when do |exists|
-        exists.d Diagnosis
-        exists.d.name :n5
-        exists.d.diagnosis = :allergy 
-      end
-      r.then = action do |e,vars|
-        name = vars[:n5]
+    rule :Allergy_pills,
+      [Diagnosis, :d, {m.name => :n}, m.diagnosis==:allergy] do |e,v|
+        name = v[:n]
         e.assert Treatment.new(name, :allergy_shot)
         puts "Allergy shot prescribed for #{name}"
-      end 
     end
 
-    rule 'Bed_rest' do |r|
-      r.when do |exists|
-        exists.d Diagnosis
-        exists.d.name :n6
-        exists.d.diagnosis = :flu 
-      end
-      r.then = action do |e,vars|
-        name = vars[:n6]
+    rule :Bed_rest,
+      [Diagnosis, :d, {m.name => :n}, m.diagnosis==:flu] do |e,v|
+        name = v[:n]
         e.assert Treatment.new(name, :bed_rest)
         puts "Bed rest prescribed for #{name}"
-      end 
     end
   end
 end