This is an introduction to the essential ideas of formal logic and to the new field of logic programming which is beginning to make an impact on conventional software engineering. Logical concepts and how they may be implemented in the logic programming language PROLOG are emphasized. The author discusses parsers, pretty-printers, programming language interpreters, interactive proof-checkers and theorem-provers of various kinds and implements versions of PROLOG, in PROLOG. The book also deals with PROLOG as a programming ...
Read More
This is an introduction to the essential ideas of formal logic and to the new field of logic programming which is beginning to make an impact on conventional software engineering. Logical concepts and how they may be implemented in the logic programming language PROLOG are emphasized. The author discusses parsers, pretty-printers, programming language interpreters, interactive proof-checkers and theorem-provers of various kinds and implements versions of PROLOG, in PROLOG. The book also deals with PROLOG as a programming language. The core of the book examines the propositional and predicate calculi, which are treated conventionally, via natural deduction systems. The theory behind automatic theorem-proving is sketched. The logic of a specified small programming imperative language and the restricted logic of real PROLOG are also examined.
Read Less
Add this copy of Logic With Prolog (Oxford Applied Mathematics & to cart. $22.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 & to cart. $75.59, fair condition, Sold by Anybook rated 5.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.
