Goodreads helps you keep track of books you want to read.
Start by marking “From Logic to Logic Programming” as Want to Read:
From Logic to Logic Programming
by Kees Doets
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and ...more
Published January 11th 1994 by Mit Press
To see what your friends thought of this book, please sign up.