* (run))


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


Goal State: (is-telescope-mirror glass1)

Start State: (is-glass glass1)
             (is-solid glass1)
             (is-wood wood1)
             (is-planar glass1)

n1 (done)
Alts: *finish*
*** Checking for the precondition (is-concave glass1) 
***  of inference-rule is-telescope-mirror 
*** Internal State: n  Simulated World: n

*** Checking for the precondition (is-mirror glass1) 
***  of inference-rule is-telescope-mirror 
*** Internal State: n  Simulated World: n


   n2 (is-telescope-mirror glass1)
   Alts: is-telescope-mirror glass1
*** Checking for the precondition (is-solid glass1) 
***  of operator grind-concave 
*** Internal State: y  Simulated World: y

*** All preconditions checked,
*** trying to apply operator grind-concave 

*** Checking for the postcondition (is-concave glass1) 
***  of operator grind-concave 
*** Internal State: y  Simulated World: y

*** Checking for the postcondition ((is-polished glass1)) 
***  of operator grind-concave 
*** Internal State: n  Simulated World: n

*** Checking for the postcondition ((is-reflective glass1)) 
***  of operator grind-concave 
*** Internal State: n  Simulated World: n

*** Checking for the postcondition ((is-planar glass1)) 
***  of operator grind-concave 
*** Internal State: n  Simulated World: n

*** operator grind-concave succesfully applied 


      n3 (is-concave glass1)
      Alts: grind-concave glass1

   ...Done: grind-concave glass1
*** Checking for the precondition (is-concave glass1) 
***  of inference-rule is-telescope-mirror 
*** Internal State: y  Simulated World: y

*** Checking for the precondition (is-mirror glass1) 
***  of inference-rule is-telescope-mirror 
*** Internal State: n  Simulated World: n


   n4 (is-telescope-mirror glass1)
   Alts: is-telescope-mirror glass1
*** Checking for the precondition (is-polished glass1) 
***  of inference-rule is-mirror 
*** Internal State: n  Simulated World: n

*** Checking for the precondition (is-reflective glass1) 
***  of inference-rule is-mirror 
*** Internal State: n  Simulated World: n


      n5 (is-mirror glass1)
      Alts: is-mirror glass1
*** Checking for the precondition (is-clean glass1) 
***  of operator polish 
*** Internal State: n  Simulated World: n

*** Checking for the precondition (is-glass glass1) 
***  of operator polish 
*** Internal State: y  Simulated World: y

*** Checking for the precondition (~ (is-reflective glass1)) 
***  of operator polish 
*** Internal State: y  Simulated World: y


         n6 (is-polished glass1)
         Alts: polish glass1
*** Checking for the precondition (is-solid glass1) 
***  of operator clean 
*** Internal State: y  Simulated World: y

*** All preconditions checked,
*** trying to apply operator clean 

*** Checking for the postcondition (is-clean glass1) 
***  of operator clean 
*** Internal State: y  Simulated World: y

*** operator clean succesfully applied 


            n7 (is-clean glass1)
            Alts: clean glass1

         ...Done: clean glass1
*** Checking for the precondition (is-clean glass1) 
***  of operator polish 
*** Internal State: y  Simulated World: y

*** Checking for the precondition (is-glass glass1) 
***  of operator polish 
*** Internal State: y  Simulated World: y

*** Checking for the precondition (~ (is-reflective glass1)) 
***  of operator polish 
*** Internal State: y  Simulated World: y

*** All preconditions checked,
*** trying to apply operator polish 

*** Checking for the postcondition (is-polished glass1) 
***  of operator polish 
*** Internal State: y  Simulated World: y

*** operator polish succesfully applied 


         n8 (is-polished glass1)
         Alts: polish glass1

      ...Done: polish glass1
*** Checking for the precondition (is-polished glass1) 
***  of inference-rule is-mirror 
*** Internal State: y  Simulated World: y

*** Checking for the precondition (is-reflective glass1) 
***  of inference-rule is-mirror 
*** Internal State: n  Simulated World: n


      n9 (is-mirror glass1)
      Alts: is-mirror glass1
*** Checking for the precondition (is-clean glass1) 
***  of operator aluminize 
*** Internal State: y  Simulated World: y

*** Checking for the precondition (is-solid glass1) 
***  of operator aluminize 
*** Internal State: y  Simulated World: y

*** All preconditions checked,
*** trying to apply operator aluminize 

*** Checking for the postcondition (is-reflective glass1) 
***  of operator aluminize 
*** Internal State: y  Simulated World: y

*** Checking for the postcondition ((is-clean glass1)) 
***  of operator aluminize 
*** Internal State: n  Simulated World: n

*** operator aluminize succesfully applied 


         n10 (is-reflective glass1)
         Alts: aluminize glass1

      ...Done: aluminize glass1
*** Checking for the precondition (is-polished glass1) 
***  of inference-rule is-mirror 
*** Internal State: y  Simulated World: y

*** Checking for the precondition (is-reflective glass1) 
***  of inference-rule is-mirror 
*** Internal State: y  Simulated World: y

*** All preconditions checked,
*** trying to apply inference-rule is-mirror 

*** Checking for the postcondition (is-mirror glass1) 
***  of inference-rule is-mirror 
*** Internal State: y  Simulated World: y

*** inference-rule is-mirror succesfully applied 


      n11 (is-mirror glass1)
      Alts: is-mirror glass1

   ...Done: is-mirror glass1
*** Checking for the precondition (is-concave glass1) 
***  of inference-rule is-telescope-mirror 
*** Internal State: y  Simulated World: y

*** Checking for the precondition (is-mirror glass1) 
***  of inference-rule is-telescope-mirror 
*** Internal State: y  Simulated World: y

*** All preconditions checked,
*** trying to apply inference-rule is-telescope-mirror 

*** Checking for the postcondition (is-telescope-mirror glass1) 
***  of inference-rule is-telescope-mirror 
*** Internal State: y  Simulated World: y

*** inference-rule is-telescope-mirror succesfully applied 


   n12 (is-telescope-mirror glass1)
   Alts: is-telescope-mirror glass1

...Done: is-telescope-mirror glass1

n13 (done)
Alts: *finish*

 ...Done: *finish*


Completed Success

CPU time: 7 seconds
ALL-NODES: 14
Solution Length: 6
Operator Sequence: 

      grind-concave glass1
      clean glass1
      polish glass1
      aluminize glass1
n14
* (dribble))
