Implementation

One approach to implementation would be to write a design specification based on the discussion in the last chapter and write a corresponding program. Instead of this, the planner has been implemented as a Prolog program, which serves as a directly executable specification. Each of the modules described in the last chapter has a direct representation in Prolog. A description of the program is given in the appendix.