An equational theorem prover based on PROLOG

It is a program that you can stuff a mathematical specification (in clausal logic with equality) and a hypothesis into, and which will then run forever. Very occasionally it will find a proof for the hypothesis!

There are run-time dependencies that need to be installed first. Why not use depothelper to install them all in one go?

Run-time dependencies:
Build-time dependencies:
gawk gcc make            
Operating System Architecture Package Type Package Size Date Archived View Contents? Download
HP-UX 11.00
32-bit PA-RISC 1.1Gzipped
Binary Depot
317 K17 Dec 1999YesHTTP FTP
HP-UX -Tarred/Gzipped
Source Code
600 K17 Dec 1999YesHTTP FTP