Logic with PROLOG

by Peter Gibbins

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

• Format: Paperback
• Language: English
• ISBN: 0198596596
• ISBN13: 9780198596592
• Release Date: December 1988
• Publisher: Oxford University Press, USA
• Length: 336 Pages
• Weight: 0.98 lbs.
• Dimensions: 0.7" x 5.5" x 8.5"