

Trace of two top level goal.  The first does not use a control rule
while the second does.



  Goal State:  (CLEAN SINK)

Prodigy: text

  The problem solving trace text is now off.

Prodigy: run


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

Goal State: (CLEAN SINK)
Start State: (EQUIP SINK)
             (EQUIP SPOON)
             (EQUIP STOVE)
             (EQUIP WORT-POT)
             (EQUIP KEG)
             (VEQUIP VAT1)
             (PLACE IN-VAT1)
             (PLACE IN-DRY-RACK)
             (PLACE IN-SINK)
             (PLACE ON-STOVE)
             (PLACE INVENTORY)
             (BEER-TYPE ALE)
             (MALT-TYPE BARLEY-MALT)
             (HOP-TYPE CHINOOK-HOPS)
             (YEAST-TYPE DRY-YEAST)
             (TBAR-TYPE TOASTED-BARLEY)
             (FLUID WATER)
             (FLUID WORT)
             (FIXED-FEATURE STOVE-ELEM1)
             (LAST-SCHEDULED KEG 0)
             (LAST-SCHEDULED VAT1 0)
             (LAST-SCHEDULED SINK 0)
             (LAST-SCHEDULED WORT-POT 0)
             (LAST-SCHEDULED STOVE-ELEM1 0)
             (LAST-SCHEDULED STOVE 0)
             (LAST-SCHEDULED SPOON 0)


******PORTION OF THE TRACE**********




      Alts: WASH-EQUIP SINK 2 1

   ...Done: WASH-EQUIP SINK 2 1

   N27 (CLEAN SINK)
   Alts: CLEAN-EQUIP SINK ON-STOVE

      N28 (AT SINK ON-STOVE)
      Alts: MOVE-OBJ SINK IN-SINK ON-STOVE [2-6]

   ...Done: MOVE-OBJ SINK IN-SINK ON-STOVE

   N29 (CLEAN SINK)
   Alts: CLEAN-EQUIP SINK ON-STOVE

      N30 (RINSE SINK)
      Alts: RINSE-EQUIP SINK <TIME-R> <PREV-TIME-R>

         N31 (AT SINK IN-SINK)
         Alts: MOVE-OBJ SINK ON-STOVE IN-SINK [2-6]

      ...Done: MOVE-OBJ SINK ON-STOVE IN-SINK

      N32  . . .
      World repeat detected with state: S13-13!
-------------------------------------------------



         N31 (AT SINK IN-SINK)
         Alts: [1] MOVE-OBJ SINK INVENTORY IN-SINK [3-6]

            N33 (AT SINK INVENTORY)
            Alts: MOVE-OBJ SINK ON-STOVE INVENTORY [2-6]

         ...Done: MOVE-OBJ SINK ON-STOVE INVENTORY

         N34 (AT SINK IN-SINK)
         Alts: MOVE-OBJ SINK INVENTORY IN-SINK

      ...Done: MOVE-OBJ SINK INVENTORY IN-SINK

      N35  . . .
      World repeat detected with state: S13-13!
-------------------------------------------------

            N33 (AT SINK INVENTORY)
            Alts: [1] MOVE-OBJ SINK INVENTORY INVENTORY [3-6]

               N36  . . .
               Goal Stack loop detected!
               Goal on Stack: (AT SINK INVENTORY)
-------------------------------------------------

            N33 (AT SINK INVENTORY)
            Alts: [1-2] MOVE-OBJ SINK IN-VAT1 INVENTORY [4-6]

               N37 (AT SINK IN-VAT1)
               Alts: MOVE-OBJ SINK ON-STOVE IN-VAT1 [2-5]

            ...Done: MOVE-OBJ SINK ON-STOVE IN-VAT1

            N38 (AT SINK INVENTORY)
            Alts: MOVE-OBJ SINK IN-VAT1 INVENTORY

         ...Done: MOVE-OBJ SINK IN-VAT1 INVENTORY

         N39 (AT SINK IN-SINK)
         Alts: MOVE-OBJ SINK INVENTORY IN-SINK

      ...Done: MOVE-OBJ SINK INVENTORY IN-SINK

      N40  . . .
      World repeat detected with state: S13-13!
-------------------------------------------------

               N37 (AT SINK IN-VAT1)
               Alts: [1] MOVE-OBJ SINK INVENTORY IN-VAT1 [3-5]

                  N41  . . .
                  Goal Stack loop detected!
                  Goal on Stack: (AT SINK INVENTORY)
-------------------------------------------------

               N37 (AT SINK IN-VAT1)
               Alts: [1-2] MOVE-OBJ SINK IN-VAT1 IN-VAT1 [4-5]

                  N42  . . .
                  Goal Stack loop detected!
                  Goal on Stack: (AT SINK IN-VAT1)
-------------------------------------------------



CPU time: 3.7 seconds
Number of Nodes: 277
Solution Length: 19
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
      MOVE-OBJ SINK IN-SINK ON-STOVE
      TURN-WATER-ON
      MOVE-OBJ SINK ON-STOVE IN-SINK
      INFER-IDLE SINK 3
      RINSE-EQUIP SINK 3 2
      MOVE-OBJ SINK IN-DRY-RACK ON-STOVE
      CLEAN-EQUIP SINK ON-STOVE










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



Goal State: (BREW-BEER <BEER>)
Start State: (EQUIP SINK)
             (EQUIP SPOON)
             (EQUIP STOVE)
             (EQUIP WORT-POT)
             (EQUIP KEG)
             (VEQUIP VAT1)
             (PLACE IN-VAT1)
             (PLACE IN-DRY-RACK)
             (PLACE IN-SINK)
             (PLACE ON-STOVE)
             (PLACE INVENTORY)
             (BEER-TYPE ALE)
             (MALT-TYPE BARLEY-MALT)
             (HOP-TYPE CHINOOK-HOPS)
             (YEAST-TYPE DRY-YEAST)
             (TBAR-TYPE TOASTED-BARLEY)
             (FLUID WATER)
             (FLUID WORT)
             (FIXED-FEATURE STOVE-ELEM1)
             (LAST-SCHEDULED KEG 0)
             (LAST-SCHEDULED VAT1 0)
             (LAST-SCHEDULED SINK 0)
             (LAST-SCHEDULED WORT-POT 0)
             (LAST-SCHEDULED STOVE-ELEM1 0)
             (LAST-SCHEDULED STOVE 0)
             (LAST-SCHEDULED SPOON 0)


*********PORTION OF THE TRACE********


            ...Done: INFER-IDLE SINK 4

            N49 (CHLORINE WORT-POT)
            Alts: CHLORINE-EQUIP WORT-POT 4 3

         ...Done: CHLORINE-EQUIP WORT-POT 4 3

         N50 (PURIFY WORT-POT)
         Alts: SANITIZE-EQUIP WORT-POT ON-STOVE

            N51 (AT WORT-POT ON-STOVE)
            Alts: MOVE-OBJ WORT-POT IN-SINK ON-STOVE [2-5]

         ...Done: MOVE-OBJ WORT-POT IN-SINK ON-STOVE

         N52 (PURIFY WORT-POT)
         Alts: SANITIZE-EQUIP WORT-POT ON-STOVE






            N53 (RINSE WORT-POT)
            Alts: RINSE-EQUIP WORT-POT <TIME-R> <PREV-TIME-R>

               N54 (AT WORT-POT IN-SINK)
               Alts: MOVE-OBJ WORT-POT ON-STOVE IN-SINK [2-5]

            ...Done: MOVE-OBJ WORT-POT ON-STOVE IN-SINK

            N55  . . .
            World repeat detected with state: S23-23!
-------------------------------------------------

               N54 (AT WORT-POT IN-SINK)
               Alts: [1] MOVE-OBJ WORT-POT INVENTORY IN-SINK [3-5]

                  N56 (AT WORT-POT INVENTORY)
                  Alts: MOVE-OBJ WORT-POT ON-STOVE INVENTORY [2-6]

               ...Done: MOVE-OBJ WORT-POT ON-STOVE INVENTORY

               N57 (AT WORT-POT IN-SINK)
               Alts: MOVE-OBJ WORT-POT INVENTORY IN-SINK

            ...Done: MOVE-OBJ WORT-POT INVENTORY IN-SINK

            N58  . . .
            World repeat detected with state: S23-23!
-------------------------------------------------

                  N56 (AT WORT-POT INVENTORY)
                  Alts: [1] MOVE-OBJ WORT-POT INVENTORY INVENTORY [3-6]

                     N59  . . .
                     Goal Stack loop detected!
                     Goal on Stack: (AT WORT-POT INVENTORY)
-------------------------------------------------

                  N56 (AT WORT-POT INVENTORY)
                  Alts: [1-2] MOVE-OBJ WORT-POT IN-VAT1 INVENTORY [4-6]

                     N60 (AT WORT-POT IN-VAT1)
                     Alts: MOVE-OBJ WORT-POT ON-STOVE IN-VAT1 [2-5]

                  ...Done: MOVE-OBJ WORT-POT ON-STOVE IN-VAT1

                  N61 (AT WORT-POT INVENTORY)
                  Alts: MOVE-OBJ WORT-POT IN-VAT1 INVENTORY

               ...Done: MOVE-OBJ WORT-POT IN-VAT1 INVENTORY

               N62 (AT WORT-POT IN-SINK)
               Alts: MOVE-OBJ WORT-POT INVENTORY IN-SINK

            ...Done: MOVE-OBJ WORT-POT INVENTORY IN-SINK

            N63  . . .
            World repeat detected with state: S23-23!
-------------------------------------------------

                     N60 (AT WORT-POT IN-VAT1)
                     Alts: [1] MOVE-OBJ WORT-POT INVENTORY IN-VAT1 [3-5]

                        N64  . . .
                        Goal Stack loop detected!
                        Goal on Stack: (AT WORT-POT INVENTORY)
-------------------------------------------------

                     N60 (AT WORT-POT IN-VAT1)
                     Alts: [1-2] MOVE-OBJ WORT-POT IN-VAT1 IN-VAT1 [4-5]

                        N65  . . .
                        Goal Stack loop detected!




CPU time: 19.7 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
      ADDING-INGREDIENT BARLEY-MALT WORT-POT
      STIRRING WORT-POT
      ADDING-INGREDIENT TOASTED-BARLEY WORT-POT
      STIRRING 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
      ADDING-INGREDIENT DRY-YEAST VAT1
      BREW-BEER ALE VAT1 DRY-YEAST
