ruleby 0.2 → 0.3

data/examples/example_hello.rb

@@ -1,6 +1,18 @@
+# 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'
+
+include Ruleby
 
 class Message
   def initialize(status,message)
@@ -13,33 +25,19 @@ 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
+    rule [Message, :m, m.status == :HELLO] do |e,v|
+      puts v[:m].message
+      v[:m].message = "Goodbye world"
+      v[:m].status = :GOODBYE
+      e.modify v[:m]
     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
+    rule [Message, :m, m.status == :GOODBYE] do |e,v| 
+      puts v[:m].message 
     end       
   end
 end
 
-include Ruleby
 
 engine :engine do |e|
   HelloWorldRulebook.new(e).rules

data/examples/example_politician.rb

@@ -1,6 +1,18 @@
+# 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'
+
+include Ruleby
 
 class Politician
   def initialize(name,honest)
@@ -16,23 +28,24 @@ end
 class Hope  
 end
 
+# NOTE this example demonstrates the BlueSteel (block based) DSL syntax
 class PoliticianRulebook < Rulebook
-  def rules
-    rule 'We have an honest Politician' do |r|
+  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|
+      r.then do |e,vars|
         e.assert Hope.new
       end
     end
     
-    rule 'Hope Lives' do |r|
+    rule :Hope_Lives do |r|
       r.when do |has|
         has.h Hope
       end
-      r.then = action do |e,vars|
+      r.then do |e,vars|
         puts 'Hurrah!!! Democracy Lives'
       end
       r.priority = 10
@@ -46,20 +59,20 @@ class PoliticianRulebook < Rulebook
 #      r.when = pattern do |p|
 #        p.not :h, Hope
 #      end      
-#      r.then = action 'Hope is Dead' do |r,vars|
+#      r.then '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|
+    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|
+      r.then do |e,vars|
         puts 'I am an evil corporation and I have corrupted ' + vars[:p].name
         vars[:p].honest = false
         e.modify vars[:p]
@@ -69,8 +82,6 @@ class PoliticianRulebook < Rulebook
   end
 end
 
-include Ruleby
-
 p1 = Politician.new('blair', true)
 p2 = Politician.new('bush', true)
 p3 = Politician.new('chirac', true)

data/examples/example_ticket.rb

@@ -1,11 +1,18 @@
+# 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'
 
-# NOTE : before we can get this example working we need to figure out exactly 
-# what the conflict resolution strategy should be.  When we implement the 
-# default strategy as we understand it (from various literature) this example
-# does not work (nor should it).  But this example works in drools as is.  Why?
+include Ruleby
 
 class Customer
   def initialize(name,subscription)
@@ -21,7 +28,7 @@ end
 class Ticket
   def initialize(customer)
     @customer = customer
-    @status = 'New'
+    @status = :New
   end
   attr :status, true
   attr_reader :customer
@@ -31,107 +38,55 @@ class Ticket
 end
 
 # This example is used in JBoss-Rules to demonstrate durations and the use of
-# custom DSL.  We are simply using here to demonstrate another example.
+# custom DSL.  We are simply using it here to demonstrate another example.
 class TroubleTicketRulebook < Rulebook
   def rules
-    rule 'New Ticket' do |r|
-      r.when do |has|
-        has.customer Customer
-        has.ticket Ticket
-        has.ticket.customer = :customer, :%
-        has.ticket.status = 'New'
-      end
-      
-      r.then = action do |e,vars|
+  
+    # This is uses the letigre syntax... but we can mix and match syntaxes in 
+    # the same rule set.
+    rule :New_Ticket, {:priority => 10}, # :duration => 10},
+      'Customer as :c', 
+      'Ticket as :ticket where #customer == #:c #&& #status == :New' do |e,vars|
         puts 'New : ' + vars[:ticket].to_s
-      end
-      
-      r.priority = 10  
-      #r.duration = 10
     end
     
-    rule 'Silver Priority' do |r|
-      r.when do |has|
-        has.customer Customer
-        has.customer.subscription = 'Silver'
-        
-        has.ticket Ticket
-        has.ticket.customer = :customer, :%
-        has.ticket.status = 'New'
-      end
-      
-      r.then = action do |e,vars|
-        vars[:ticket].status = 'Escalate'
+    # Now we are using the ferrari syntax.  The rule method can detect which 
+    # syntax we are using, and compile accordingly.
+    rule :Silver_Priority, #{:duration => 3000},
+      [Customer, :customer, m.subscription == 'Silver'],
+      [Ticket,:ticket, m.customer == b(:customer), m.status == :New] do |e,vars|
+        vars[:ticket].status = :Escalate
         e.modify vars[:ticket]
-      end
-      #r.duration = 3000
     end
     
-    rule 'Gold Priority' do |r|
-      r.when do |has|
-        has.customer Customer
-        has.customer.subscription = 'Gold' 
-        
-        has.ticket Ticket
-        has.ticket.customer = :customer, :%
-        has.ticket.status = 'New' 
-      end
-      
-      r.then = action do |e,vars|
-        vars[:ticket].status = 'Escalate'
+    rule :Gold_Priority, #{:duration => 1000},
+      [Customer, :customer, m.subscription == 'Gold'],
+      [Ticket,:ticket, m.customer == b(:customer), m.status == :New] do |e,vars|
+        vars[:ticket].status = :Escalate
         e.modify vars[:ticket]
-      end
-      #r.duration = 1000
     end
     
-    rule 'Platinum Priority' do |r|
-      r.when do |has|
-        has.customer Customer
-        has.customer.subscription = 'Platinum' 
-        
-        has.ticket Ticket
-        has.ticket.customer = :customer, :%
-        has.ticket.status = 'New' 
-      end
-      
-      r.then = action do |e,vars|
-        vars[:ticket].status = 'Escalate'
+    rule :Platinum_Priority,
+      [Customer, :customer, m.subscription == 'Platinum'],
+      [Ticket,:ticket, m.customer == b(:customer), m.status == :New] do |e,vars|
+        vars[:ticket].status = :Escalate
         e.modify vars[:ticket]
-      end
     end
     
-    rule 'Escalate' do |r|
-      r.when do |has|
-        has.customer Customer
-        
-        has.ticket Ticket
-        has.ticket.customer = :customer, :%
-        has.ticket.status = 'Escalate'
-      end
-      
-      r.then = action do |e,vars|
+    rule :Escalate,
+      'Customer as :c', 
+      'Ticket as :ticket where #customer == #:c #&& #status == :Escalate' do |e,vars|
         puts 'Email : ' + vars[:ticket].to_s    
-      end
     end
     
-    rule 'Done' do |r|
-      r.when do |has|
-        has.customer Customer
-        
-        has.ticket Ticket
-        has.ticket.customer = :customer, :%
-        has.ticket.status = 'Done' 
-      end
-      
-      r.then = action do |e,vars|
+    rule :Done,
+      'Customer as :c', 
+      'Ticket as :ticket where #customer == #:c #&& #status == :Done' do |e,vars|
         puts 'Done : ' + vars[:ticket].to_s 
-      end
     end
   end
 end
 
-include Ruleby
-
 # FACTS
 
 a = Customer.new('A', 'Gold')

data/examples/fibonacci_example1.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
+#
+
 $LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
 require 'ruleby'
 require 'fibonacci_rulebook'
@@ -20,11 +31,11 @@ include Ruleby
 # This example is borrowed from the JBoss-Rule project.
 
 # FACTS
-fib1 = Fibonacci.new(8)
+fib1 = Fibonacci.new(150)
 
 t1 = Time.new
 engine :engine do |e|
-  FibonacciRulebook1.new(e).rules
+  FibonacciRulebookFerrari.new(e).rules
   e.assert fib1
   e.match       
 end

data/examples/fibonacci_example2.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
+#
+
 $LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
 require 'ruleby'
 require 'fibonacci_rulebook'

data/examples/fibonacci_rulebook.rb

@@ -1,26 +1,27 @@
+# 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 'rulebook'
+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' do |r|
-                                
-      r.when do |has|
-        has.f1 Fibonacci
-        has.f1.value.not = -1 
-        has.f1.sequence :s1
-                
-        has.f2 Fibonacci
-        has.f2.value.not = -1 
-        has.f2.sequence :s2
-        has.f2.sequence :s1 do |s, s1| s == (s1 + 1) end
-        
-        has.f3 Fibonacci
-        has.f3.value = -1         
-        has.f3.sequence :s2 do |s, s2| s == (s2 + 1) end
-      end
-    
-      r.then do |e, vars|
+    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 |e, vars|
         e.retract vars[:f1]
         e.retract vars[:f3]
         if(vars[:f2].sequence == MAX_SEQUENCE)
@@ -29,109 +30,55 @@ class FibonacciRulebook2 < Rulebook
           f3 = Fibonacci.new(vars[:f2].sequence + 1, vars[:f1].value + vars[:f2].value)
           e.assert f3
           puts "#{f3.sequence} == #{f3.value}"
-        end
-      end
-      
-      r.priority = 2               
+        end                 
     end    
   
-    rule 'Build' do |r|
-      
-      r.when do |has|
-        has.f Fibonacci
-        has.f.value.not = -1 
-        has.f.sequence :s1
-        
-        has.f2 Fibonacci
-        has.f2.value.not = -1 
-        has.f2.sequence :s1 do |s, s1| s == (s1 + 1) end
-      end
-      
-      r.then do |e, vars| 
+    rule :Build, {:priority => 1},
+      'Fibonacci as :f1 where #value != -1 #&& #sequence as :s1',
+      'Fibonacci as :f2 where #value != -1 #&& #sequence == #:s1 + 1' do |e, vars| 
         f3 = Fibonacci.new(vars[:f2].sequence + 1, -1)
         e.assert f3
-      end                                  
-      
-      r.priority = 1
     end
   end
 end
 
-class FibonacciRulebook1 < Rulebook
-
+# NOTE
+# In this class we demonstrate the Ferrari DSL syntax.  
+class FibonacciRulebookFerrari < Rulebook
   def rules
    # Bootstrap1
-   rule  'Bootstrap1' do |r|  
-     r.when do |has|
-         has.f Fibonacci
-         has.f.value = -1 
-         has.f.sequence = 1 
-     end
-     
-     r.then do |e,vars|  
-       vars[:f].value = 1
-       e.modify vars[:f]
-       puts vars[:f].sequence.to_s + ' == ' + vars[:f].value.to_s
-     end     
-   
-     r.priority = 4        
-   end  
+    rule  :Bootstrap1,  {:priority => 4},
+      [Fibonacci, :f, m.value == -1, m.sequence == 1 ] do |e,vars|  
+        vars[:f].value = 1
+        e.modify vars[:f]
+        puts vars[:f].sequence.to_s + ' == ' + vars[:f].value.to_s      
+    end  
  
-   # Recurse
-   rule 'Recurse' do |r|  
-     r.when do |has|
-       has.f Fibonacci
-       has.f.value = -1 
-     end
-    
-     r.then do |e,vars|   
-       f2 = Fibonacci.new(vars[:f].sequence - 1)
-       e.assert f2
-       puts 'recurse for ' + f2.sequence.to_s
-     end
-     r.priority = 3
-   end  
+    # Recurse
+    rule :Recurse, {:priority => 3},
+      [Fibonacci, :f, m.value == -1] do |e,vars|   
+        f2 = Fibonacci.new(vars[:f].sequence - 1)
+        e.assert f2
+        puts 'recurse for ' + f2.sequence.to_s
+    end  
   
-   # Bootstrap2
-   rule 'Bootstrap2' do |r| 
-     r.when do |has|
-        has.f9 Fibonacci
-        has.f9.value = -1 
-        has.f9.sequence = 2
-     end
-     r.then do |e,vars|    
-       vars[:f9].value = 1       
-       e.modify  vars[:f9]
-       puts vars[:f9].sequence.to_s + ' == ' + vars[:f9].value.to_s
-     end
-     r.priority = 0
-   end
+    # Bootstrap2
+    rule :Bootstrap2, 
+      [Fibonacci, :f, m.value == -1 , m.sequence == 2] do |e,vars|    
+        vars[:f].value = 1       
+        e.modify vars[:f]
+        puts vars[:f].sequence.to_s + ' == ' + vars[:f].value.to_s
+    end
   
-   # Calculate
-   rule 'Calculate' do |r| 
-     r.when do |has|
-       has.f1 Fibonacci
-       has.f1.value.not = -1 
-       has.f1.sequence :s1
-     
-       has.f2 Fibonacci
-       has.f2.value.not = -1        
-       has.f2.sequence :s2
-       has.f2.sequence.references :s1
-       has.f2.sequence do |s2, s1| s2 == (s1 + 1) end
-       
-       has.f3 Fibonacci
-       has.f3.value = -1 
-       has.f3.sequence.references :s2
-       has.f3.sequence do |sequence, s2| sequence == (s2 + 1) 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 |e,vars|
+        vars[:f3].value = vars[:f1].value + vars[:f2].value
+        e.modify vars[:f3]
+        e.retract vars[:f1]
+        puts vars[:f3].sequence.to_s + ' == ' + vars[:f3].value.to_s
     end
-     r.then do |e,vars|
-       vars[:f3].value = vars[:f1].value + vars[:f2].value
-       e.modify vars[:f3]
-       e.retract vars[:f1]
-       puts vars[:f3].sequence.to_s + ' == ' + vars[:f3].value.to_s
-     end
-     r.priority = 0
-   end
- end
- end
+  end
+end