The use of logic as the basis for program development is motivated by the possibilities it offers for achieving greater program correctness. PROLOG is a high-level programming language based on the concept of logic. This text offers a concise treatment of the theory of logic programming and a practical, problem-solving approach to its applications. It introduces major new developments in a continually evolving field, including topics such as concurrency, equational logic programming and constraint logic programming. The ...
Read More
The use of logic as the basis for program development is motivated by the possibilities it offers for achieving greater program correctness. PROLOG is a high-level programming language based on the concept of logic. This text offers a concise treatment of the theory of logic programming and a practical, problem-solving approach to its applications. It introduces major new developments in a continually evolving field, including topics such as concurrency, equational logic programming and constraint logic programming. The text has been revised to include a chapter on the negation problem, normal logic programs, completion semantics and SLDNF - resolution for Stratified Programs and Non-stratified Programs. Additional changes can be found within chapter 14, with its new focus on constraints; constraint domains and concurrent constraint programming.
Read Less
Add this copy of Logic, Programming and Prolog to cart. $11.99, good condition, Sold by Zoom Books Company rated 4.0 out of 5 stars, ships from Lynden, WA, UNITED STATES, published 1995 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Book is in good condition and may include underlining highlighting and minimal wear. The book can also include From the library of labels. May not contain miscellaneous items toys dvds etc. We offer 100% money back guarantee and 24 7 customer service.
Add this copy of Logic, Programming and Prolog to cart. $90.38, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1995 by Wiley.
