ruleby 0.1 → 0.2

data/benchmarks/miss_manners/rules.rb

@@ -0,0 +1,165 @@
+require 'model'
+
+module MissManners
+
+class MannersRulebook < 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
+        
+        seating =  Seating.new(vars[:count].value,1,true,1,guestName,1,guestName)
+        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|         
+        rightSeat = vars[:seatingRightSeat]
+        seatId = vars[:seatingId]
+        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] )        
+
+  	    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|
+        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|
+        vars[:seating].path = true
+        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|
+        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|
+        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|
+        puts 'All done'
+      end
+    end
+  end
+end
+
+end

data/examples/example_diagnosis.rb

@@ -0,0 +1,155 @@
+$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
+require 'ruleby'
+require 'rulebook'
+
+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 < 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]
+        e.assert Diagnosis.new(name, :measles)
+        puts "Measles diagnosed for #{name}"
+      end      
+      r.priority = 100
+    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]
+        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]
+        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]
+        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]
+        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]
+        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]
+        e.assert Treatment.new(name, :bed_rest)
+        puts "Bed rest prescribed for #{name}"
+      end 
+    end
+  end
+end
+
+include Ruleby
+
+engine :engine do |e|
+  
+  DiagnosisRulebook.new(e).rules 
+
+  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
+
+end

data/examples/example_hello.rb

@@ -0,0 +1,48 @@
+$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
+require 'ruleby'
+require 'rulebook'
+
+class Message
+  def initialize(status,message)
+    @status = status
+    @message = message
+  end
+  attr :status, true
+  attr :message, true
+end
+
+class HelloWorldRulebook < Rulebook
+  def rules
+    rule 'HelloWorld' do |r|
+      r.when do |has|
+        has.m Message
+        has.m.status = :HELLO 
+      end
+      r.then = action do |e,vars|
+        puts vars[:m].message
+        e.retract vars[:m]
+        vars[:m].message = "Goodbye world"
+        vars[:m].status = :GOODBYE
+        e.assert vars[:m]
+      end
+    end
+    
+    rule 'Goodbye' do |r|
+      r.when do |has|
+        has.m Message
+        has.m.status = :GOODBYE 
+      end
+      r.then = action do |e,vars|
+        puts vars[:m].message
+      end
+    end       
+  end
+end
+
+include Ruleby
+
+engine :engine do |e|
+  HelloWorldRulebook.new(e).rules
+  e.assert Message.new(:HELLO, 'Hello World')
+  e.match     
+end

data/examples/example_politician.rb

@@ -0,0 +1,86 @@
+$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
+require 'ruleby'
+require 'rulebook'
+
+class Politician
+  def initialize(name,honest)
+    @name = name
+    @honest = honest
+  end
+  attr_accessor :name, :honest
+  def to_s
+    return "[#{@name.to_s},#{@honest.to_s}]"
+  end
+end
+
+class Hope  
+end
+
+class PoliticianRulebook < Rulebook
+  def rules
+    rule 'We have an honest Politician' do |r|
+      r.when do |has|
+        has.p Politician
+        has.p.honest = true
+      end
+      r.then = action  do |e,vars|
+        e.assert Hope.new
+      end
+    end
+    
+    rule 'Hope Lives' do |r|
+      r.when do |has|
+        has.h Hope
+      end
+      r.then = action do |e,vars|
+        puts 'Hurrah!!! Democracy Lives'
+      end
+      r.priority = 10
+    end
+    
+    # This example was taken from the JBoss-Rules project.  That example 
+    # demonstrates a feature that Ruleby does not support: logical assertions.
+    # The JBoss-Rules example, the following rule is fired as the last 
+    # activation (because Hope is retracted during fact maintenence).
+#    rule do |r|
+#      r.when = pattern do |p|
+#        p.not :h, Hope
+#      end      
+#      r.then = action 'Hope is Dead' do |r,vars|
+#        puts 'We are all Doomed!!! Democracy is Dead'
+#      end
+#      r.priority = -1
+#    end
+    
+    rule 'Corrupt the Honest' do |r|
+      r.when do |has|
+        has.p Politician
+        has.p.honest = true
+          
+        has.h Hope
+      end
+      r.then = action do |e,vars|
+        puts 'I am an evil corporation and I have corrupted ' + vars[:p].name
+        vars[:p].honest = false
+        e.modify vars[:p]
+      end
+      r.priority = 5
+    end
+  end
+end
+
+include Ruleby
+
+p1 = Politician.new('blair', true)
+p2 = Politician.new('bush', true)
+p3 = Politician.new('chirac', true)
+p4 = Politician.new('schroder', true)
+
+engine :engine do |e| 
+  PoliticianRulebook.new(e).rules
+  e.assert p1
+  e.assert p2
+  e.assert p3
+  e.assert p4
+  e.match
+end