Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous ...
Read More
Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises.
Read Less
Add this copy of Essentials of Logic Programming to cart. $64.66, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1991 by Clarendon Press.
Add this copy of Essentials of Logic Programming (Graduate Texts in to cart. $66.34, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1991 by Clarendon Press.
Add this copy of Essentials of Logic Programming to cart. $76.41, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1991 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 310 p. Graduate Texts in Computer Science, 1. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.