This book is an introduction to the essential ideas of formal logic and to the new field of logic programming, which is beginning to have an impact on the traditional area of conventional software engineering. Logical concepts and how they may be implemented in the logic programming language Prolog are emphasized. The authors discuss parsers, pretty-printers, programming language interpreters, interactive proof-checkers, theorem-provers of various kinds, and implements versions of Prolog. The early part of the book deals ...
Read More
This book is an introduction to the essential ideas of formal logic and to the new field of logic programming, which is beginning to have an impact on the traditional area of conventional software engineering. Logical concepts and how they may be implemented in the logic programming language Prolog are emphasized. The authors discuss parsers, pretty-printers, programming language interpreters, interactive proof-checkers, theorem-provers of various kinds, and implements versions of Prolog. The early part of the book deals with Prolog as a programming language, and how it can be used. The core of the book deals with the propositional and predicate calculi, which are treated conventionally, via natural deduction systems. The theory behind automatic theorem-proving is sketched. The last two chapters examine the logic of a specified small programming imperative language and the restricted logic of real Prolog. Philosophical questions are also considered.
Read Less
Add this copy of Logic With Prolog (Oxford Applied Mathematics and to cart. $31.56, good condition, Sold by Goodwill of Silicon Valley rated 5.0 out of 5 stars, ships from San Jose, CA, UNITED STATES, published 1988 by Oxford University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing page and cover creases as well as other types visible wear.
