Presents the latest material on the main points of interest in the construction of logic programs--from program synthesis and derivation to the semantic analysis of logic programs. Addresses problems users might encounter in the complicated process of writing a logic program. Numerous examples illustrate the theories in application. Tutorial chapters, introducing the subject, make the book more accessible and a wealth of exercises facilitate understanding.
Read More
Presents the latest material on the main points of interest in the construction of logic programs--from program synthesis and derivation to the semantic analysis of logic programs. Addresses problems users might encounter in the complicated process of writing a logic program. Numerous examples illustrate the theories in application. Tutorial chapters, introducing the subject, make the book more accessible and a wealth of exercises facilitate understanding.
Read Less
Add this copy of Constructing Logic Programs (Wiley Professional to cart. $42.17, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by Wiley.