Clausal Form Logic An Introduction to the Logic of Computer Programming

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.Richards, Thomas J. is the author of 'Clausal Form Logic An Introduction to the Logic of Computer Programming' with ISBN 9780201129205 and ISBN 0201129205.