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