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 & to cart. $29.00, fair condition, Sold by HaroldsBooks rated 5.0 out of 5 stars, ships from Corydon, IA, UNITED STATES, published 1988 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Acceptable/No Jacket. 0198596715 Ex-Library Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover is lightly rubbed and worn at corners. 321 pages.
Add this copy of Logic With Prolog (Oxford Applied Mathematics and to cart. $30.35, good condition, Sold by More Than Words rated 4.0 out of 5 stars, ships from Waltham, MA, UNITED STATES, published 1988 by Oxford University Press, USA.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Former Library book. All orders guaranteed and ship within 24 hours. Your purchase supports More Than Words, a nonprofit job training program for youth, empowering youth to take charge of their lives by taking charge of a business.
Add this copy of Logic With Prolog (Oxford Applied Mathematics and to cart. $49.70, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1988 by Oxford University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Logic With Prolog (Oxford Applied Mathematics & to cart. $69.35, fair condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1988 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. No dust jacket. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 650grams, ISBN: 0198596715.
