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:
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.
St Andrews University