ruleby 0.3 → 0.4

data/benchmarks/miss_manners/model.rb

@@ -1,193 +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
-#
-
-module MissManners
-
-  class Chosen
-    def initialize(id,guestName,hobby)
-      @id = id
-      @guestName = guestName
-      @hobby = hobby
-    end
-    attr_reader :id, :guestName, :hobby
-    def to_s
-      "{Chosen id=#{@id}, name=#{@guestName}, hobbies=#{@hobby}}"
-    end
-  end
-  
-  class Context
-    START_UP      = 0
-    ASSIGN_SEATS  = 1
-    MAKE_PATH     = 2
-    CHECK_DONE    = 3
-    PRINT_RESULTS = 4
-    STATE_STRINGS = ["START_UP","ASSIGN_SEATS","MAKE_PATH","CHECK_DONE","PRINT_RESULTS"]
-    def initialize(state)
-      if state == :start
-        @state = START_UP
-      else
-        raise "Context #{state.to_s} does not exist for Context Enum"
-      end
-    end
-    attr :state, true
-    def string_value
-      return STATE_STRINGS[@state]
-    end
-    def is_state(state)
-      return @state == state
-    end
-    def to_s
-      return "[Context state=" + string_value.to_s + "]";
-    end
-  end
-  
-  class Count
-    def initialize(value)
-      @value = value
-    end
-    attr :value, true
-    def ==(object)
-      if object.object_id == self.object_id
-        return true
-      elsif object == nil || !(object.kind_of?(Count))
-        return false
-      end
-      return @value == object.value;
-    end
-    def to_s
-      return "[Count value=#{@value.to_s}]"
-    end
-    def to_hash
-      return value.to_hash
-    end
-  end
-  
-  class Guest
-    def initialize(name,sex,hobby)
-      @name = name
-      @sex = sex
-      @hobby = hobby
-    end
-    attr_reader :name,:sex,:hobby
-    def to_s
-      return "[Guest name=" + @name.to_s + ", sex=" + @sex.to_s + ", hobbies=" + @hobby.to_s + "]";
-    end
-  end
-  
-  class Hobby
-    @stringH1 = "h1"
-    @stringH2 = "h2"
-    @stringH3 = "h3"
-    @stringH4 = "h4"
-    @stringH5 = "h5"
-    HOBBY_STRINGS = [@stringH1,@stringH2,@stringH3,@stringH4,@stringH5]  
-    def initialize(hobby)
-      @hobbyIndex = hobby-1
-      @hobby = HOBBY_STRINGS[@hobbyIndex]
-    end
-    H1 = Hobby.new(1)
-    H2 = Hobby.new(2)
-    H3 = Hobby.new(3)
-    H4 = Hobby.new(4)
-    H5 = Hobby.new(5)
-    attr_reader :hobby
-    def resolve(hobby)
-      if @stringH1 == hobby 
-        return H1
-      elsif @stringH2 == hobby 
-        return H2
-      elsif @stringH3 == hobby 
-        return H3
-      elsif @stringH4 == hobby 
-        return H4
-      elsif @stringH5 == hobby  
-        return H5
-      else 
-        raise "Hobby '" + @hobby.to_s + "' does not exist for Hobby Enum" 
-      end
-    end
-    def to_hash
-      return @hobbyIndex.to_hash
-    end
-    def to_s
-      return @hobby
-    end
-  end
-  
-  class LastSeat
-    def initialize(seat)
-      @seat = seat
-    end
-    attr_reader :seat
-    def to_s
-      return "[LastSeat seat=#{@seat.to_s}]"
-    end
-  end
-  
-  class Path
-    def initialize(id,seat,guestName)
-      @id = id
-      @guestName = guestName
-      @seat = seat
-    end
-    attr_reader :id, :guestName, :seat
-    def to_s
-      "[Path id=#{@id.to_s}, name=#{@guestName.to_s}, seat=#{@seat.to_s}]"
-    end
-  end
-  
-  class Seating
-    def initialize(id,pid,path,leftSeat,leftGuestName,rightSeat,rightGuestName)
-      @id = id
-      @pid = pid
-      @path = path
-      @leftSeat = leftSeat
-      @leftGuestName = leftGuestName
-      @rightSeat = rightSeat
-      @rightGuestName = rightGuestName
-    end
-    attr :path, true
-    attr_reader :id,:pid,:leftSeat,:leftGuestName,:rightSeat,:rightGuestName
-    def to_s
-      return "[Seating id=#{@id.to_s} , pid=#{pid.to_s} , pathDone=#{@path.to_s} , leftSeat=#{@leftSeat.to_s}, leftGuestName=#{@leftGuestName.to_s}, rightSeat=#{@rightSeat.to_s}, rightGuestName=#{@rightGuestName.to_s}]";
-    end
-  end
-  
-  class Sex  
-    STRING_M = 'm'
-    STRING_F = 'f'
-    SEX_LIST = [ STRING_M, STRING_F ]
-    def initialize(sex)
-      @sex = sex
-    end
-    M = Sex.new( 0 )
-    F = Sex.new( 1 )
-    def sex
-      return SEX_LIST[sex]
-    end
-    def resolve(sex) 
-      if STRING_M == sex 
-        return M
-      elsif STRING_F == sex 
-        return F
-      else 
-        raise "Sex '#{@sex.to_s}' does not exist for Sex Enum" 
-      end
-    end
-    def to_s
-      return @sex.to_s
-    end
-    def to_hash
-      return @sex.to_hash
-    end
-  end
-
-end

data/benchmarks/miss_manners/rules.rb

@@ -1,104 +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 'model'
-
-module MissManners
-
-class MannersRulebook < Ruleby::Rulebook
-  def rules
-    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        
-        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
-    
-    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               
-        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
-    
-    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
-    
-    # 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]        
-        vars[:context].state = Context::CHECK_DONE
-        e.modify vars[:context]
-        puts "path Done : #{vars[:seating]}"
-    end
-    
-    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
-    
-    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
-    
-    rule :allDone,
-      [Context,:context,m.state == Context::PRINT_RESULTS] do |e,vars|
-        puts 'All done'
-    end
-  end
-end
-
-end

data/benchmarks/model.rb

@@ -1,36 +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
-#
-
-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,117 +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'
-
-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 < Ruleby::Rulebook
-  def rules
-    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
-    
-    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
-    
-    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     
-    
-    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     
-
-    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  
-    
-    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
-
-    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
-
-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