A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, documentation.
Authored by
at
, Added: Mar 8, 2004
http://www.uni-koblenz.de/ag-ki/Implementierungen/Protein/
