Goals
The goals are defined for a class as a predicate which is the desired state for that class.
The goal itself is simply an invariant? that is checked to find out whether it is satisfied or not at any given microworld world (state). By itself it does not say how the goal should be satisfied.
What can cause the goals to be satisfied are actions. In the Maze sample program for example, The find-goal goal of the Robot is satisfied via a certain sequence of move actions.
the satisfy command uses search of the tree of all possible worlds produced by defined actions of the objects in the microworld to find the right path from the current world to the goal world for an object.
Page last modified on September 16, 2008, at 12:24 AM
simplaPoweredBy
Set in config.php to your own copyright notice