[sci.logic] wanted: consistency checking program

cgm@eng.cam.ac.uk (Craig MacNish) (05/26/90)

Before recrafting the wheel, I am wondering if anyone has an efficient
program (preferably in Lisp, Scheme, ...) which, when given an arbitrary 
finite theory in propositional (or first order) logic, will determine 
whether or not the theory is consistent.

Cheers,
Craig MacNish

Dept. Engineering
Cambridge University