LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
Primary LanguagePrologOtherNOASSERTION