      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 WORT-POT
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.5 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 WORT-POT
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.3 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.2 seconds
Number of Nodes: 100
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 WORT-POT
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.3 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 WORT-POT
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.2 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.4 seconds
Number of Nodes: 110
Solution Length: 50
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      CLEAN-EQUIP WORT-POT ON-STOVE
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 18.5 seconds
Number of Nodes: 1,251
Solution Length: 52
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      CLEAN-EQUIP WORT-POT ON-STOVE
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-VAT1
      MOVE-OBJ WORT-POT IN-VAT1 INVENTORY
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      SANITIZE-EQUIP WORT-POT ON-STOVE
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.2 seconds
Number of Nodes: 110
Solution Length: 50
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      CLEAN-EQUIP WORT-POT ON-STOVE
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domian


Sorry, I didn't understand that,
try saying it in another way


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.


 Syntax error detected in rhs of control rule: PREFER-SINK-WHEN-PURIFYING
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.4 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)Error: Wrong number of args passed to CURRENT-OP
[1] <cl> :reset

<cl> (prodigy)


PRODIGY 2.11   (The Prodigy Project, September 25, 1990)
Mail questions and remarks to prodigy@CS.CMU.EDU


Welcome to   P R O D I G Y ...


Current Domain:   brew.
Current Problem:  brew.
Active Switches:  none.

Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.4 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.3 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.3 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.3 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

WARNING: candidate-bindings not allowed on LHS of Select Bindings Rule MOVE-FROM-INVENTORY-TO-SINK.
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.4 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule MOVE-FROM-INVENTORY-TO-SINK-BINDINGS
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.3 seconds
Number of Nodes: 108
Solution Length: 49
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule MOVE-FROM-INVENTORY-TO-SINK-BINDINGS
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.3 seconds
Number of Nodes: 104
Solution Length: 47
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule MOVE-FROM-INVENTORY-TO-SINK-BINDINGS
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  clean            ss.lisp~         s2.lisp~         s1               
  chlorine.lisp~   ss               s2               brew.lisp~       
  brew             s.lisp~          s1.lisp~         s                
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.2 seconds
Number of Nodes: 104
Solution Length: 47
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.

 WARNING: No priority given for preference rule PREFER-SINK-WHEN-PURIFYING
          Assigning this rule priority 0
 WARNING: No priority given for preference rule IF-NEED-HOT-THEN-CHOOSE-BOIL
          Assigning this rule priority 0
 WARNING: No priority given for preference rule MOVE-FROM-INVENTORY-TO-SINK-BINDINGS
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK
          Assigning this rule priority 0
 WARNING: No priority given for preference rule PREFER-SINK-WHEN-CLEANING
          Assigning this rule priority 0

Prodigy: prob


  The problems for Brew are...

  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  wortProc         ss.lisp~         s1.lisp~         
  clean            ss               s1               
  

  Enter a problem: wortProc

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/wortProc.lisp.

 Syntax error detected in goal statement
 Error type: Not a correct atomic formula: 
 ((AND (CLEAN SPOON) (WORT-PROCESS ALE)))

Prodigy: prob


  The problems for Brew are...

  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  wortProc         ss.lisp~         s1.lisp~         
  clean            ss               s1               
  

  Enter a problem: wortProc

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/wortProc.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (CLEAN SPOON) (WORT-PROCESS ALE))

CPU time: 2.8 seconds
Number of Nodes: 110
Solution Length: 51
Operator Sequence: 

      INFER-AT-INVENTORY SPOON
      MOVE-OBJ SPOON INVENTORY IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP SPOON 1 0
      MOVE-OBJ SPOON IN-DRY-RACK IN-SINK
      INFER-DIRTY SPOON
      INFER-IDLE SINK 2
      WASH-EQUIP SPOON 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP SPOON 3 2
      MOVE-OBJ SPOON IN-DRY-RACK IN-SINK
      CLEAN-EQUIP SPOON IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY IN-SINK
      TURN-WATER-ON
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS


Prodigy: prob


  The problems for Brew are...

  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  wortProc         ss.lisp~         s1.lisp~         
  clean            ss               s1               
  

  Enter a problem: chlorine

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/chlorine.lisp.

 Syntax error detected in goal statement
 Error type: Unknown predicate in atomic formula: 
 (WASH KEG)

Prodigy: prob


  The problems for Brew are...

  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  wortProc         ss.lisp~         s1.lisp~         
  clean            ss               s1               
  

  Enter a problem: chlorine

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/chlorine.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (CHLORINE SPOON) (SOAP KEG))

Node cutoff reached: N2500. EXECUTION TERMINATED!

CPU time: 61.1 seconds
Number of Nodes: 2,500


Prodigy: prob


  The problems for Brew are...

  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  wortProc         ss.lisp~         s1.lisp~         
  clean            ss               s1               
  

  Enter a problem: wash

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/wash.lisp.

 Syntax error detected in goal statement
 Error type: Unknown predicate in atomic formula: 
 (WASH SINK)

Prodigy: prob


  The problems for Brew are...

  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  wortProc         ss.lisp~         s1.lisp~         
  clean            ss               s1               
  

  Enter a problem: wash

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/wash.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (SOAP SINK)

CPU time: 0.4 seconds
Number of Nodes: 22
Solution Length: 10
Operator Sequence: 

      INFER-AT-INVENTORY SINK
      MOVE-OBJ SINK INVENTORY IN-SINK
      INFER-DIRTY SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP SINK 1 0
      MOVE-OBJ SINK IN-DRY-RACK IN-SINK
      INFER-IDLE SINK 2
      WASH-EQUIP SINK 2 1


Prodigy: prob


  The problems for Brew are...

  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  wortProc         ss.lisp~         s1.lisp~         
  clean            ss               s1               
  

  Enter a problem: clean

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/clean.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (CLEAN SINK)

CPU time: 0.7 seconds
Number of Nodes: 32
Solution Length: 15
Operator Sequence: 

      INFER-AT-INVENTORY SINK
      MOVE-OBJ SINK INVENTORY IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP SINK 1 0
      MOVE-OBJ SINK IN-DRY-RACK IN-SINK
      INFER-DIRTY SINK
      INFER-IDLE SINK 2
      WASH-EQUIP SINK 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP SINK 3 2
      MOVE-OBJ SINK IN-DRY-RACK IN-SINK
      CLEAN-EQUIP SINK IN-SINK


Prodigy: prob


  The problems for Brew are...

  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  wortProc         ss.lisp~         s1.lisp~         
  clean            ss               s1               
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 2.3 seconds
Number of Nodes: 104
Solution Length: 47
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      CLEAN-EQUIP WORT-POT IN-SINK
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-SINK
      SANITIZE-EQUIP WORT-POT IN-SINK
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT SPOON
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 SPOON
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: prob


  The problems for Brew are...

  rinse.lisp~      wortProc         ss.lisp~         s1.lisp~         
  rinse            clean            ss               s1               
  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  

  Enter a problem: rinse

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/rinse.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (RINSE SINK)

CPU time: 0.3 seconds
Number of Nodes: 14
Solution Length: 6
Operator Sequence: 

      INFER-AT-INVENTORY SINK
      MOVE-OBJ SINK INVENTORY IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP SINK 1 0


Prodigy: domain


  The available domains are...


  brw      hanoi    Blocks   brew     
  

  Select a domain: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/startup.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/functions.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/domain.lisp.
; Loading /user3/class/csci/c473/c473ax/my-domains/brew/sc-rules.lisp.


Prodigy: prob


  The problems for Brew are...

  rinse.lisp~      wortProc         ss.lisp~         s1.lisp~         
  rinse            clean            ss               s1               
  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  

  Enter a problem: wortProc

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/wortProc.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (CLEAN SPOON) (WORT-PROCESS ALE))

CPU time: 18.7 seconds
Number of Nodes: 1,366
Solution Length: 58
Operator Sequence: 

      INFER-AT-INVENTORY SPOON
      MOVE-OBJ SPOON INVENTORY ON-STOVE
      MOVE-OBJ SPOON ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP SPOON 1 0
      MOVE-OBJ SPOON IN-DRY-RACK ON-STOVE
      MOVE-OBJ SPOON ON-STOVE IN-SINK
      INFER-DIRTY SPOON
      INFER-IDLE SINK 2
      WASH-EQUIP SPOON 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP SPOON 3 2
      MOVE-OBJ SPOON IN-DRY-RACK ON-STOVE
      CLEAN-EQUIP SPOON ON-STOVE
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      TURN-WATER-ON
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-DIRTY WORT-POT
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      CLEAN-EQUIP WORT-POT ON-STOVE
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-VAT1
      MOVE-OBJ WORT-POT IN-VAT1 INVENTORY
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      SANITIZE-EQUIP WORT-POT ON-STOVE
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS


Prodigy: prob


  The problems for Brew are...

  rinse.lisp~      wortProc         ss.lisp~         s1.lisp~         
  rinse            clean            ss               s1               
  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  

  Enter a problem: wash

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/wash.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (SOAP SINK)

CPU time: 0.5 seconds
Number of Nodes: 25
Solution Length: 11
Operator Sequence: 

      INFER-AT-INVENTORY SINK
      MOVE-OBJ SINK INVENTORY ON-STOVE
      MOVE-OBJ SINK ON-STOVE IN-SINK
      INFER-DIRTY SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP SINK 1 0
      MOVE-OBJ SINK IN-DRY-RACK IN-SINK
      INFER-IDLE SINK 2
      WASH-EQUIP SINK 2 1


Prodigy: prob


  The problems for Brew are...

  rinse.lisp~      wortProc         ss.lisp~         s1.lisp~         
  rinse            clean            ss               s1               
  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  

  Enter a problem: clean

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/clean.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (CLEAN SINK)

CPU time: 0.6 seconds
Number of Nodes: 37
Solution Length: 17
Operator Sequence: 

      INFER-AT-INVENTORY SINK
      MOVE-OBJ SINK INVENTORY ON-STOVE
      MOVE-OBJ SINK ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP SINK 1 0
      MOVE-OBJ SINK IN-DRY-RACK ON-STOVE
      MOVE-OBJ SINK ON-STOVE IN-SINK
      INFER-DIRTY SINK
      INFER-IDLE SINK 2
      WASH-EQUIP SINK 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP SINK 3 2
      MOVE-OBJ SINK IN-DRY-RACK ON-STOVE
      CLEAN-EQUIP SINK ON-STOVE


Prodigy: prob


  The problems for Brew are...

  rinse.lisp~      wortProc         ss.lisp~         s1.lisp~         
  rinse            clean            ss               s1               
  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  

  Enter a problem: brew

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/brew.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (BREW-BEER ALE)

CPU time: 17.9 seconds
Number of Nodes: 1,355
Solution Length: 52
Operator Sequence: 

      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP WORT-POT 1 0
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-DIRTY WORT-POT
      INFER-IDLE SINK 2
      WASH-EQUIP WORT-POT 2 1
      TURN-WATER-ON
      INFER-IDLE SINK 3
      RINSE-EQUIP WORT-POT 3 2
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      CLEAN-EQUIP WORT-POT ON-STOVE
      INFER-AT-INVENTORY WORT-POT
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      MOVE-OBJ WORT-POT ON-STOVE IN-SINK
      INFER-IDLE SINK 4
      CHLORINE-EQUIP WORT-POT 4 3
      TURN-WATER-ON
      INFER-IDLE SINK 5
      RINSE-EQUIP WORT-POT 5 4
      MOVE-OBJ WORT-POT IN-DRY-RACK IN-VAT1
      MOVE-OBJ WORT-POT IN-VAT1 INVENTORY
      MOVE-OBJ WORT-POT INVENTORY ON-STOVE
      SANITIZE-EQUIP WORT-POT ON-STOVE
      INFER-COLD-ELEMENT STOVE-ELEM1
      STOVE-ON STOVE-ELEM1
      INFER-EMPTY WORT-POT
      TURN-WATER-ON
      INFER-IDLE SINK 6
      ADD-WATER WORT-POT 6 5
      MOVE-OBJ WORT-POT IN-DRY-RACK ON-STOVE
      INFER-IDLE STOVE-ELEM1 7
      BOIL WATER WORT-POT STOVE-ELEM1 7 6
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING WORT-POT WORT-POT
      ADDING-INGREDIENT CHINOOK-HOPS WORT-POT
      WORT-PROCESS ALE BARLEY-MALT TOASTED-BARLEY CHINOOK-HOPS
      INFER-EMPTY VAT1
      TRANSFER-FLUID WORT WORT-POT VAT1
      INFER-IDLE VAT1 8
      VAT-FERMENTATION VAT1 WORT-POT 8 7
      STIRRING VAT1 WORT-POT
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST


Prodigy: prob


  The problems for Brew are...

  rinse.lisp~      wortProc         ss.lisp~         s1.lisp~         
  rinse            clean            ss               s1               
  wortProc.lisp~   wash.lisp~       s.lisp~          brew.lisp~       
  chlorine.lisp~   wash             s2.lisp~         s                
  chlorine         brew             s2               
  

  Enter a problem: rinse

; Loading /user3/class/csci/c473/c473ax/my-domains/brew/probs/rinse.lisp.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (RINSE SINK)

CPU time: 0.3 seconds
Number of Nodes: 17
Solution Length: 7
Operator Sequence: 

      INFER-AT-INVENTORY SINK
      MOVE-OBJ SINK INVENTORY ON-STOVE
      MOVE-OBJ SINK ON-STOVE IN-SINK
      INFER-WATER-RUNNING
      TURN-WATER-ON
      INFER-IDLE SINK 1
      RINSE-EQUIP SINK 1 0


Prodigy: 