Clausal Form Logic: An Introduction to the Logic of Computer Reasoning
Tom M. Richards · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1989
From the Publisher: This unique book provides a gentle introduction to an increasingly important type of formal logic called CLAUSAL FORM LOGIC (CFL). Having evolved out of human reasoning, CFL represents the ideal to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-know artificial intelligence language PROLOG.