As the metalevel problem M is no d i f f e r e n t from any other problem, the basic procedure outl i ned above, or some v a r i a t i o n of i t , can be used to generate a so l u t i on to M, and hence to P. However, in almost a l l cases we can expect the metal e v e l problem to be commutative — tha t i s , i f f o r a given s ta te there ex i s t s a number of possib le successors, and one...
