* (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))