It is a uuencoded compressed tar file which expands to a directory CRIP containing files which can be compiled under SICSTUS prolog 2.1 or almost any other Prolog system.

The following steps are necessary:

  1. Save implementation in crip.tar.Z.uue
  2. uudecode crip.tar.Z.uue
  3. uncompress crip.tar
  4. tar -xvf crip.tar

This will create a directory CRIP with the prolog source files and examples.

Please read the file 'README' for further remarks and instructions for using the program.

If you have any difficulties installing the program or any other questions concerning this implementation/proof method please contact me.

Roy Dyckhoff
St Andrews University