Presprover is available from
here
.
To try it, download
SWI-Prolog
>= 5.5.15 and execute
pl -s presprover.pl
A few example queries and results are
here
.
Possible variable names are x, y, z, x1, y1, z1, x11, x12, z35 etc.
Main page