ruleby 0.3 → 0.4

data/examples/example_hello.rb

@@ -1,46 +0,0 @@
-# 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 |e,v|
-      puts v[:m].message
-      v[:m].message = "Goodbye world"
-      v[:m].status = :GOODBYE
-      e.modify v[:m]
-    end
-    
-    rule [Message, :m, m.status == :GOODBYE] do |e,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

data/examples/example_politician.rb

@@ -1,97 +0,0 @@
-# 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 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
-
-# NOTE this example demonstrates the BlueSteel (block based) DSL syntax
-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 do |e,vars|
-        e.assert Hope.new
-      end
-    end
-    
-    rule :Hope_Lives do |r|
-      r.when do |has|
-        has.h Hope
-      end
-      r.then 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 '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 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
-
-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

data/examples/example_ticket.rb

@@ -1,113 +0,0 @@
-# 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 Customer
-  def initialize(name,subscription)
-    @name = name
-    @subscription = subscription
-  end
-  attr_reader :name,:subscription
-  def to_s
-    return '[Customer ' + @name.to_s + ' : ' + @subscription.to_s + ']';
-  end
-end
-
-class Ticket
-  def initialize(customer)
-    @customer = customer
-    @status = :New
-  end
-  attr :status, true
-  attr_reader :customer
-  def to_s
-    return '[Ticket ' + @customer.to_s + ' : ' + @status.to_s + ']';
-  end
-end
-
-# This example is used in JBoss-Rules to demonstrate durations and the use of
-# custom DSL.  We are simply using it here to demonstrate another example.
-class TroubleTicketRulebook < Rulebook
-  def rules
-  
-    # 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
-    
-    # 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
-    
-    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
-    
-    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
-    
-    rule :Escalate,
-      'Customer as :c', 
-      'Ticket as :ticket where #customer == #:c #&& #status == :Escalate' do |e,vars|
-        puts 'Email : ' + vars[:ticket].to_s    
-    end
-    
-    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
-
-# FACTS
-
-a = Customer.new('A', 'Gold')
-b = Customer.new('B', 'Platinum')
-c = Customer.new('C', 'Silver')
-d = Customer.new('D', 'Silver')
-
-t1 = Ticket.new(a)
-t2 = Ticket.new(b)
-t3 = Ticket.new(c)
-t4 = Ticket.new(d)
-
-engine :engine do |e|
-  TroubleTicketRulebook.new(e).rules
-  e.assert a
-  e.assert b
-  e.assert c
-  e.assert d
-  e.assert t1
-  e.assert t2
-  e.assert t3
-  e.assert t4
-  e.match     
-end

data/examples/fibonacci_example1.rb

@@ -1,44 +0,0 @@
-# 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

@@ -1,40 +0,0 @@
-# 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_rulebook.rb

@@ -1,84 +0,0 @@
-# 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 |e, vars|
-        e.retract vars[:f1]
-        e.retract vars[:f3]
-        if(vars[:f2].sequence == MAX_SEQUENCE)
-          e.retract vars[:f2]
-        else      
-          f3 = Fibonacci.new(vars[:f2].sequence + 1, vars[:f1].value + vars[:f2].value)
-          e.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 |e, vars| 
-        f3 = Fibonacci.new(vars[:f2].sequence + 1, -1)
-        e.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 |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, {: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, 
-      [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,
-      [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
-  end
-end

data/examples/test_self_reference.rb

@@ -1,77 +0,0 @@
-# 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 SelfRefRulebook < Rulebook
-  def rules    
-    rule :LeTigreTest,
-      'For each Message as :m where #message as :x #&& #status == #:x' do |r,v|
-        puts 'Success'
-    end
-    
-    rule :LeTigreTest,
-      [Message, :m, {m.message => :x}, m.status == b(:x)] do |r,v|
-        puts 'Success'
-    end
-    
-    rule :BlueSteelTest do |r|
-      r.when do |has|
-        has.m Message
-        has.m.message :x
-        has.m.status = :x, :%
-      end
-      r.then do |e,vars|
-        puts 'Success'
-      end
-    end     
-    
-    # NOTE references the self class binding is not allowed yet
-    
-#    rule 'LeTigreTest',
-#      'exists? Message as :m where #status == #:m.message' do |r,v|
-#        puts 'Success'
-#    end
-
-#    rule 'LeTigreTest',
-#      [Message, :m, m.status(:m, &c{|s,m| s == m.message})] do |r,v|
-#        puts 'Success'
-#    end
-
-#    rule :BlueSteelTest do |r|
-#      r.when do |has|
-#        has.m Message
-#        has.m.status :m do |s,m| s == m.message end
-#      end
-#      r.then do |e,vars|
-#        puts 'Success'
-#      end
-#    end     
-  end
-end
-
-engine :engine do |e|
-  SelfRefRulebook.new(e).rules
-  e.assert Message.new(:HELLO, :HELLO)
-  e.match     
-end