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.
- ISBN10 0471959960
- ISBN13 9780471959960
- Publish Date 16 August 1995 (first published 30 April 1990)
- Publish Status Out of Print
- Out of Print 18 February 2022
- Publish Country GB
- Publisher John Wiley and Sons Ltd
- Imprint John Wiley & Sons Ltd
- Edition 2nd Revised edition
- Format Hardcover
- Pages 364
- Language English