Simple instructions on using the program to compile an action domain
description to STRIPS-like systems and fully instantiated successor
state axioms.

1. Download SWI-Prolog 3.2.9 or 3.2.8 (It does not run on 3.3.x or later
   versions).
2. Load the program action.pl: 
   ?- [action].
3. Issue query: 
   ?- solve.
4. It will then prompt you for the input. Type the name of the file
   that contains the action domain description. For example, suppose that
   blocks.pl contains the action domain description for the blocks
   world, then you just type blocks or 'blocks' after the prompt and then
   hot the return key (don't forget to end it with a period):
     input: block.
   or
     input: 'block'.
   For this to work, your file needs to have 'pl' extension.
5. The program will output two files: yourfile-out.sht and
   yourfile-out.lng. The first file is in STRIPS-like format, and the
   second one contains fully instantiated successor state axioms for
   all actions. In reality, the first one is generated from the second
   one.

Comments to flin@cs.ust.hk
http://www.cs.ust.hk/~flin