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
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.
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.
