STRIPSWORLD is a domain modeled after that used for the STRIPS problem 
solver.  The problem solver guides a robot through rooms (which may contain
boxes that can be pushed by the robot).


The EXTENDED-STRIPS domain is an extension of the Stripsworld domain 
where doors can be locked and there are keys for the locks. 


The MULTIROBOT domain serves as a testbed for multi-agent planning.
Essentially, it is the Stripsworld domain with more than one robot so that 
enabling robots to cooperatively solve problems. 


The BLOCKSWORLD consists of a table and several building blocks. 
A mechanical robot arm stacks or  unstacks these blocks as specified in 
the problems to be solved. 


The EXTENDED-BW domain is an enhanced version of blocksworld that deals
with the weight and location of the blocks. 


The GRIDWORLD is a three dimensional version of blocksworld.


The EIGHTPUZZLE domain solves the classic eight tile problem where eight
tiles, arranged in a three by three matrix, are moved by sliding them into
desired positions. 

                                                2 2 2
In the GRAMMAR domain, prodigy parses a simple a b c  grammar using rules 
from left-associative parsing theory. 


The JUPITER domain allows Prodigy to interact with a simulated world.  Here, 
Prodigy controls a probe that rearranges its environment by navigating to 
to either avoid or contact objects in located in three dimensional space. 
Prodigy's interface to the World Modeler's Simulation supports a panorama 
of sensor/effector capabilities. 


LOGIC is a domain to perform derivations in propositional calculus.


In the MATRIX-ALGEBRA domain Prodigy performs Gaussian elimination.


R1 is a simplified version of the R1/XCON unibus configuration domain. 
In this domain Prodigy allocates and assembles circuit boards, cables,
backplanes, and boxes, to build viable computer hardware configurations
that fulfill requisitioned specifications. 


The chinese ROCKET domain provides a logistics testbed for nonlinear
planning.


SCHEDWORLD is a machine shop scheduling domain.  Objects are scheduled
to be operated upon by idle machines on the shop floor with restrictions
on time and state of the objects (for example some machines cannot handle
hot objects) so PRODIGY finds an acceptable sequence of machines to 
perform the required operations on an object. 


In the TELESCOPE domain Prodigy constructs primary telecope mirrors by
subjecting pieces of wood and glass to operations such as cleaning, grinding,
polishing, and aluminization.  Incomplete versions of the domain were used as
a testbed for Learning by Experimentation.

The classic MONKEY-BANANA domain has three different varities.  The default
(to eat a banana), a more complicated version of the default, and a version
that can only be solved by a non-linear planner (not by this planner)
because it requires goal interleaving.

