
* (load "probs/istelmirr")

There are unknown predicates in *START-STATE*:
(~ ~ is-planar is-wood)
t
* (run)

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


Goal State: (is-telescope-mirror glass1)

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

n1 (done)
Alts: finish

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

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

   ...Done: grind-concave glass1

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

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

         n6 (is-polished glass1)
         Alts: polish glass1

            n7 (is-clean glass1)
            Alts: clean glass1

         ...Done: clean glass1

         n8 (is-polished glass1)
         Alts: polish glass1

      ...Done: polish glass1

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

         n10 (is-reflective glass1)
         Alts: aluminize glass1

      ...Done: aluminize glass1

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

   ...Done: is-mirror glass1

   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: 3 seconds
ALL-NODES: 14
Solution Length: 6
Operator Sequence: grind-concave glass1
                   clean glass1
                   polish glass1
                   aluminize glass1
NIL
* 
