SGP

1. Download sgp.tar.Z and uncompress it on your favorite UNIX workstation.
   • You can uncompress it by doing:

     % uncompress sgp.tar.Z
     

     which will leave sgp.tar.

   • Then you can "untar" it by doing:

     % tar xvf sgp.tar
     

     This will create a sgp directory and associated subdirectories.

2. Locate and launch Lisp.

3. Load the SGP bootstrapping functions.

   USER(1): (load "loader.lisp")
   USER(2): (load-gp)
   USER(3): (in-package 'sgp)
   

4. Load and run one of the sample domains (bomb-in-the-toilet):

   SGP(4): (load "domains/bt.lisp")
   SGP(5): (plan 'bt-2sa)
   

   Have a look at the results.

5. More info: SGP Home Page