Satchmo is a theorem prover consisting of just a few short and simple Prolog

programs. It is based on a model-generation paradigm.

Similar questions and discussions