/resolution-theorem-prover

Proves the Sentences (LOGIC Formulae) given in Clausal Form

Primary LanguageCommon LispGNU General Public License v3.0GPL-3.0

resolution-theorem-prover

Proves the Sentences (LOGIC Formulae) given in Clausal Form