Xref: utzoo comp.ai:6905 sci.logic:820
Path: utzoo!attcan!uunet!mcsun!ukc!cam-eng!cgm
From: cgm@eng.cam.ac.uk (Craig MacNish)
Newsgroups: comp.ai,sci.logic
Subject: wanted: consistency checking program
Keywords: logic consistency
Message-ID: <9273@rasp.eng.cam.ac.uk>
Date: 25 May 90 19:24:49 GMT
Sender: cgm@eng.cam.ac.uk
Lines: 10

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