一個小學題目的解: 規則引擎Drools實現

同學幫他侄兒問我一個問題：
資源：
1、小明的錢可以購買50瓶汽水。
2、老闆搞促銷，兩個空汽水瓶子可以換一瓶汽水。

問：小明最多能喝多少瓶汽水？

開始還楞了一下， 現在的小學題目還真不簡單。不過馬上給出答案：
先是50瓶，然後用50個空瓶換來25瓶，喝完後用25個空瓶換12瓶再多個空瓶，
喝完後用13個空瓶換6瓶，然後是7個空瓶換3瓶，然後是4個空瓶換2瓶，
然後是2個空瓶換1瓶，最後問老闆借1個空瓶，再用2個空瓶換1瓶，
剩下來那個空瓶還給老闆。所以喝到50+25+12+6+3+2+1+1=100

不過最近在學習規則引擎， 自然就想到了怎麼用規則引擎來實現。
我的想法是：
1: 假設汽水一元一瓶， 則小明最初由50元。
2: 如果兜裡有超過一元錢， 則買一瓶汽水喝， 此時：
錢減少一元，同時擁有的空瓶增加一個。
3: 如果擁有至少兩個空瓶， 則兩個空瓶賣給老闆， 兜裡的錢加一。
根據如上想法， 有了如下Drool的實現。

java檔案SodaWater.java：

2. package org.drools.examples;
4. import java.io.InputStreamReader;
5. import java.io.Reader;
7. import org.drools.FactHandle;
8. import org.drools.RuleBase;
9. import org.drools.RuleBaseFactory;
10. import org.drools.StatefulSession;
11. import org.drools.WorkingMemory;
12. import org.drools.compiler.PackageBuilder;
13. import org.drools.rule.Package;
15. public class SodaWater
16. {
17.     public static final void main(String[] args) throws Exception {
18.         final PackageBuilder builder = new PackageBuilder();
19.         builder.addPackageFromDrl( new InputStreamReader( SodaWater.class.getResourceAsStream( "SodaWater.drl" ) ) );
21.         final RuleBase ruleBase = RuleBaseFactory.newRuleBase();
22.         ruleBase.addPackage( builder.getPackage() );
24.         final StatefulSession session = ruleBase.newStatefulSession();
26.         Customer customer = new Customer( "XiaoMing", 50);
27.         session.insert(customer);
28.         session.fireAllRules();
29.     }
30.     
31.     public static class Customer
32.     {
33.         private String name;
34.         
35.         private int money;
36.         
37.         private int drinkSum;
38.         
39.         private int blankCup;
40.         
41.         public Customer(String name, int money)
42.         {
43.             this.name = name;
44.             this.money = money;
45.             this.drinkSum = 0;
46.             this.blankCup = 0;
47.         }        
49.         public int getMoney()
50.         {
51.             return money;
52.         }
53.         
54.         public void setMoney(int money)
55.         {
56.             this.money = money;
57.         }
58.         
59.         public int getBlankCup()
60.         {
61.             return blankCup;
62.         }
64.         public void setBlankCup(int blankCup)
65.         {
66.             this.blankCup = blankCup;
67.         }
69.         public int getDrinkSum()
70.         {
71.             return drinkSum;
72.         }
74.         public void setDrinkSum(int drinkSum)
75.         {
76.             this.drinkSum = drinkSum;
77.         }
79.         public String getName()
80.         {
81.             return name;
82.         }
84.         public void setName(String name)
85.         {
86.             this.name = name;
87.         }       
88.         
89.     }
90. }

rule檔案：

2. package org.drools.examples
4. dialect "mvel"
6. import org.drools.examples.SodaWater.Customer
7.  
9. rule "buy a soda water and drink"
10.     when
11.         $c : Customer(money > 0, $m:money, $b:blankCup, $d:drinkSum)
12.     then
13.         $c.money = $m - 1;
14.         $c.blankCup = $b + 1;
15.         $c.drinkSum = $d + 1;
16.         System.out.println( "Customer " + $c.name + " now buy a soda water and drink: money=" + $c.money + " and blankCup=" + $c.blankCup);
17.         update($c);
18. end
20. rule "sale blank cup and get money"
21.     when
22.         $c : Customer(blankCup > 1, $b:blankCup, $m:money )
23.     then
24.         $c.blankCup = $b - 2;
25.         $c.money = $m + 1;
26.         System.out.println("Customer " + $c.name + " now sale 2 cups and get money: money=" + $c.money + ", blankCup=" + $c.blankCup);
27.         update($c);
28. end
30. rule "finish drink"            
31.     no-loop true    
32.     dialect "java"
33.     when
34.         $c : Customer(blankCup < 2, money == 0)
35.     then
36.         System.out.println( "Customer " + $c.getName() + " finished drink, and drink number is " + $c.getDrinkSum() + " blankCup=" + $c.getBlankCup());
37. end

運行結果如下：
Customer XiaoMing now buy a soda water and drink: money=49 and blankCup=1
Customer XiaoMing now buy a soda water and drink: money=48 and blankCup=2
Customer XiaoMing now sale 2 cups and get money: money=49, blankCup=0
Customer XiaoMing now buy a soda water and drink: money=48 and blankCup=1
Customer XiaoMing now buy a soda water and drink: money=47 and blankCup=2

...

Customer XiaoMing now buy a soda water and drink: money=1 and blankCup=1
Customer XiaoMing now buy a soda water and drink: money=0 and blankCup=2
Customer XiaoMing now sale 2 cups and get money: money=1, blankCup=0
Customer XiaoMing now buy a soda water and drink: money=0 and blankCup=1
Customer XiaoMing finished drink, and drink number is 99 blankCup=1

不過小明最後手上還有最後一個瓶子， 電腦只能到此了。
向老闆借一個瓶子換一瓶汽水，喝完在還一個空瓶子，估計就是人類智慧來。

此程式需要drools的jar包，具體可見：

http://lcllcl987.javaeye.com/blog/254381