Logic with Prolog

Name: Logic with Prolog
Availability: OutOfStock
ISBN: 9780198596592

ISBN-10: 0198596596

ISBN-13: 9780198596592

Edition: 1988

Authors: Peter Gibbins

List price: $35.00

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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,…

Book details

List price: $35.00
Copyright year: 1988
Publisher: Oxford University Press, Incorporated
Publication date: 12/8/1988
Binding: Paperback
Pages: 336
Size: 5.75" wide x 8.75" long x 1.00" tall
Weight: 0.946
Language: English

1. Why Logic Matters to Computing Science 2. Prolog, Pure and Impure 3. Elementary Mathematics in Prolog 4. Parsing with Prolog 5. Propositional Calculus: Syntax 6. Propositional Calculus: Semantics 7. Four Styles of Theorem-Proving 8. Propositional Calculus: The Resolution Principle 9. Propositional Calculus: Natural Deduction 10. Predicate Calculus: Syntax 11. Predicate Calculus: Semantics 12. Predicate Calculus: Resolution and Unification 13. Predicate Calculus: Natural Deduction 14. Toy Pascal in Prolog 15. Program Proving 16. The Logic of Prolog