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.
Read More
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.
Read Less
Add this copy of From Logic to Logic Programming (Foundations of to cart. $27.00, very good condition, Sold by My Dead Aunt's Books rated 5.0 out of 5 stars, ships from Hyattsville, MD, UNITED STATES, published 1994 by Mit Pr.
Add this copy of From Logic to Logic Programming (Foundations of to cart. $83.28, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Mit Pr.
