ruleby 0.2 → 0.3

data/lib/rulebook.rb

@@ -1,285 +1,102 @@
-require 'ruleby'
-
-class Rulebook
-  include Ruleby
-  def initialize(engine)
-    @engine = engine
-  end
-
-  attr_reader :engine
-
-  def rule(name, &block)
-    r = Core::Rule.new name
-    yield r if block_given?
-    @engine.assert_rule r
-    r
-  end
-  
-  def action(&block)
-    return Core::Action.new(&block)
-  end
-  
-end
+# 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: Matt Smith, Joe Kutner
+#
 
-class WhenBuilder < Rulebook
-  def initialize()
-    @pattern_hash = Hash.new
-    @pattern_keys = []
-  end
-  
-  def method_missing(method_id, *args, &block)
-    method = method_id.to_sym
-    wi = nil
-    if @pattern_hash.key? method
-      wi = @pattern_hash[method]
-    elsif :not == method
-      @pattern_keys.push method
-      return self
-    else
-      wi = WhenInternal.new method, args[0]
-      @pattern_hash[method] = wi
-      @pattern_keys.push method
-    end
-    return wi
-  end
-  def pattern
-    operands = []
-    nt = false
-    @pattern_keys.each do |key|
-      if :not != key
-        wi = @pattern_hash[key]
-        tag = wi.tag
-        type = wi.type
-        atoms = wi.to_atoms
-        p = nil
-        if nt
-          p = Core::NotPattern.new(tag, type, atoms)
-          nt = false
-        else
-          p = Core::ObjectPattern.new(tag, type, atoms)
-        end
-        operands = operands + [p]
-      else
-        nt = true
-      end
-    end
-    return and_pattern(operands)
-  end
-end
+require 'ruleby'
+require 'dsl/ferrari'
+require 'dsl/letigre'
+require 'dsl/steel'
 
-class WhenInternal
-  public_instance_methods.each do |m|
-    a = [:method_missing, :new, :public_instance_methods, :__send__, :__id__]
-    undef_method m.to_sym unless a.include? m.to_sym
-  end
-  
-  attr_reader :tag, :type
-  def initialize(tag, type)
-    @tag = tag
-    @type = type
-    @builder = WhenPropertyBuilder.new self
-  end
-  
-  def to_atoms
-    atoms = []
-    tags = [@tag]
-    @builder.property_hash.each_value do |wp|
-      tags.push wp.tag if wp.tag
-    end
-    @builder.property_keys.each do |key|
-      wp = @builder.property_hash[key]
-      atoms = atoms + [wp.to_atom(tags)]
+module Ruleby
+  class Rulebook
+    include Ruleby
+    def initialize(engine)
+      @engine = engine
     end
-    return atoms
-  end
   
-  def &
-    return self
-  end
+    attr_reader :engine
   
-  def method_missing(method_id, *args, &block)
-    m = method_id.to_s
-    suffix = m.to_s[-1..-1]
-    if suffix == '='
-      new_m = m[0,m.size-1]
-      if args[0].class == Array && args[0].size > 1 && args[0][1] == :% 
-        wp = @builder.create new_m do |x,y| x == y end
-        wp.references args[0][0]
-        return wp
-      else
-        wp = @builder.create new_m do |x| x == args[0] end
-        return wp
+    def rule(*args, &block)
+      unless args.empty?
+        name = args[0].kind_of?(Symbol) ? args.shift : GeneratedTag.new
       end
-    else
-      wp = @builder.create(m, &block)
-      if args.size > 0 && args[0]
-        if block_given?
-          wp.references args[0]
+    
+      if args.empty?
+        # use steel DSL
+        r = Steel::RulebookHelper.new @engine
+        r.rule name, &block
+      else
+        i = args[0].kind_of?(Hash) ? 1 : 0
+        if args[i].kind_of? Array
+          # use ferrari DSL
+          r = Ferrari::RulebookHelper.new @engine
+          r.rule name, *args, &block
+        elsif args[i].kind_of? String
+          # use letigre DSL
+          r = LeTigre::RulebookHelper.new @engine
+          r.rule name, *args, &block
         else
-          wp.tag = args[0]
+          raise 'Rule format not recognized.'
         end
       end
-      return wp       
-    end     
-  end
-end
-  
-class WhenPropertyBuilder
-  attr_reader:property_hash
-  attr_reader:property_keys
-  
-  def initialize(parent)
-    @parent = parent
-    @property_hash = Hash.new
-    @property_keys = []
-  end
-  
-  def create(method_id,&block)
-    method = method_id.to_sym
-    wp = nil
-    if @property_hash.key? method
-      wp = @property_hash[method]
-    else
-      wp = WhenProperty.new @parent, method do |p| true end
-      @property_hash[method] = wp
-      @property_keys.push method
     end
-    if block_given?
-      wp.block = block
-    end
-    return wp
-  end
-end
-  
-class WhenProperty
-  attr_accessor :block
-  def initialize(parent,name, &block)
-   @tag = nil
-   @name = name
-   @references = nil
-   @block = block
-   @parent = parent
-  end
-  attr:tag,true
-  attr:type,true
-  attr:value,true
-  
-  def &
-    return @parent
-  end
-  
-  def bind(n)
-    @tag = n
-  end
-  
-  def not=(value,ref=nil)
-    if ref && ref == :%
-      raise 'Using \'not=\' for references is not yet supported'
-      set_block do |x,y| x != y end
-      references value
-    else        
-      set_block do |s| s != value end
+    
+    def m
+      Ruleby::Ferrari::MethodBuilder.new
     end
     
-  end
-  def set_block(&block)
-    @block = block
-  end
-  private:set_block
-  
-  def references(refs)
-    @references = refs
-  end
-  
-  def to_atom(pattern_tags)
-    unless @tag
-      @tag = GeneratedTag.new
+    def method
+      m
     end
-    if @references
-      @references = [@references] unless @references.kind_of?(Array)
-      i = includes_how_many(@references, pattern_tags)
-      if i == 0
-        return Core::ReferenceAtom.new(@tag, @name, @references, &@block)
-      elsif i == @references.size
-        return Core::SelfReferenceAtom.new(@tag, @name, @references, &@block)
-      else
-        raise 'Referencing self AND other patterns in the same atom is not yet supported'
-      end
-    else  
-      return Core::PropertyAtom.new(@tag, @name, &@block)
+    
+    def b(variable_name)
+      Ruleby::Ferrari::BindingBuilder.new(variable_name)
     end
-  end
-  
-  private
-  def includes_how_many(list1, list2)
-    i = 0
-    list2.each do |a|
-      i += 1 if list1.include?(a)
+    
+    def binding(variable_name)
+      b
     end
-    return i
-  end
-end
-
-  
-       
-private
-
-def or_pattern(operands)
-  # TODO raise exception if referenceAtoms from the right do not
-  # have the values they referenece in the left
-  # TODO raise exception if there are repeated tags?
-  left = nil
-  operands.each do |operand|
-    if left.nil?
-      left = operand
-    else           
-      right = operand
-      left = Core::OrPattern.new(left, right)
+    
+    def c(&block)
+      return lambda(&block)
     end
-  end
-  left
-end
-
-def and_pattern(operands)
-  # TODO raise exception if referenceAtoms from the right do not
-  # have the values they referenece in the left
-  # TODO raise exception if there are repeated tags?
-  left = nil
-  operands.each do |operand|
-    if left.nil?
-      left = operand
-    else           
-      right = operand
-      left = Core::AndPattern.new(left, right)
+    
+    def condition(&block)
+      return lambda(&block)
     end
-  end
-  left
-end  
-
-class GeneratedTag
-
-  # this counter is incremented for each UniqueTag created, and is
-  # appended to the end of the unique_seed in order to create a 
-  # string that is unique for each instance of this class.
-  @@tag_counter = 0
-  
-  # every generated tag will be prefixed with this string
-  @@unique_seed = 'unique_seed'
-
-  def initialize()
-    @@tag_counter += 1
-    @tag = @@unique_seed + @@tag_counter.to_s
-  end
+  end  
   
-  attr_reader:tag_counter
-  attr_reader:unique_seed
-  attr_reader:tag
-  
-  def ==(ut)
-    return ut && ut.kind_of?(GeneratedTag) && @tag == ut.tag
-  end
+  class GeneratedTag  
+    # this counter is incremented for each UniqueTag created, and is
+    # appended to the end of the unique_seed in order to create a 
+    # string that is unique for each instance of this class.
+    @@tag_counter = 0
+    
+    # every generated tag will be prefixed with this string
+    @@unique_seed = 'unique_seed'
   
-  def to_s
-    return @tag.to_s
+    def initialize()
+      @@tag_counter += 1
+      @tag = @@unique_seed + @@tag_counter.to_s
+    end
+    
+    attr_reader:tag_counter
+    attr_reader:unique_seed
+    attr_reader:tag
+    
+    def ==(ut)
+      return ut && ut.kind_of?(GeneratedTag) && @tag == ut.tag
+    end
+    
+    def to_s
+      return @tag.to_s
+    end
   end
-end
+end

data/lib/ruleby.rb

@@ -1,4 +1,17 @@
+# 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 'core/engine'
+require 'rulebook'
+
 module Ruleby
   #helper classes for using ruleby go here
   def engine(name, &block)

metadata

@@ -1,10 +1,10 @@
 --- !ruby/object:Gem::Specification 
-rubygems_version: 0.9.3
+rubygems_version: 0.9.0
 specification_version: 1
 name: ruleby
 version: !ruby/object:Gem::Version 
-  version: "0.2"
-date: 2007-07-10 00:00:00 -05:00
+  version: "0.3"
+date: 2007-09-03 00:00:00 -05:00
 summary: the Rule Engine for Ruby
 require_paths: 
 - lib
@@ -29,29 +29,31 @@ post_install_message:
 authors: 
 - Joe Kutner, Matt Smith
 files: 
-- ./benchmarks/50_joined_rules.rb
-- ./benchmarks/50_rules.rb
-- ./benchmarks/5_joined_rules.rb
-- ./benchmarks/5_rules.rb
-- ./benchmarks/miss_manners/data.rb
+- ./lib/ruleby.rb
+- ./lib/rulebook.rb
+- ./lib/dsl/ferrari.rb
+- ./lib/dsl/letigre.rb
+- ./lib/dsl/steel.rb
+- ./lib/core/patterns.rb
+- ./lib/core/utils.rb
+- ./lib/core/atoms.rb
+- ./lib/core/engine.rb
+- ./lib/core/nodes.rb
+- ./benchmarks/model.rb
+- ./benchmarks/joined_rules.rb
+- ./benchmarks/basic_rules.rb
 - ./benchmarks/miss_manners/miss_manners.rb
 - ./benchmarks/miss_manners/model.rb
+- ./benchmarks/miss_manners/data.rb
 - ./benchmarks/miss_manners/rules.rb
-- ./examples/example_diagnosis.rb
-- ./examples/example_hello.rb
-- ./examples/example_politician.rb
-- ./examples/example_ticket.rb
 - ./examples/fibonacci_example1.rb
 - ./examples/fibonacci_example2.rb
+- ./examples/example_hello.rb
+- ./examples/example_ticket.rb
 - ./examples/fibonacci_rulebook.rb
+- ./examples/example_politician.rb
 - ./examples/test_self_reference.rb
-- ./lib/rulebook.rb
-- ./lib/ruleby.rb
-- ./lib/core/atoms.rb
-- ./lib/core/engine.rb
-- ./lib/core/nodes.rb
-- ./lib/core/patterns.rb
-- ./lib/core/utils.rb
+- ./examples/example_diagnosis.rb
 test_files: []
 
 rdoc_options: []

data/benchmarks/50_joined_rules.rb

@@ -1,78 +0,0 @@
-$LOAD_PATH << File.join(File.dirname(__FILE__), '../lib/')
-require 'ruleby'
-require 'rulebook'
-
-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
-
-class TestRulebook < Rulebook
-  def rules
-    (0..50).each do |index|
-      rule "Rule-#{index}" do |r|
-        r.when do |has|
-          has.a Account
-          has.a.status = 'standard' 
-            
-          has.addr Address
-          has.addr.addr_id = "acc#{index}" 
-          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
-
-include Ruleby
-
-t1 = Time.new
-engine :engine do |e|   
-  TestRulebook.new(e).rules
-  
-  t2 = Time.new
-  diff = t2.to_f - t1.to_f
-  puts 'time to create rule set: ' + diff.to_s
-  
-  e.assert Account.new('standard', nil, nil)
-  for k in (0..500)
-    e.assert Address.new(('acc'+k.to_s),'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 match rules: ' + diff.to_s
-end