An edition of Essentials of logic programming
(1990)
Essentials of logic programming
by Christopher John Hogger
Share
×Close
The theoretical and practical fundamentals of logic programming.
Check nearby libraries
Buy this book
Subjects
Logic programming, Prolog, logic| Edition | Availability |
|---|---|
1
Essentials of logic programming
1990, Clarendon Press, Oxford University Press, Oxford University Press, USA
paperback
in English
0198538200 9780198538202
|
aaaa
|
Book Details
Table of Contents
Preface
Acknowledgments
Background
Overview
First-order logic
Clausal-form logic
Problem solving
The Herbrand domain
Resolution
Programming with SLD-resolution
Semantics of definite programs
Transforming and completing programs
Programming with finite failure
Verifying programs
Answers to exercises
Index
Edition Notes
Includes index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 14 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 3, 2025 | Edited by ImportBot | import existing book |
| March 14, 2025 | Edited by MARC Bot | import existing book |
| July 30, 2024 | Edited by MARC Bot | import existing book |
| May 3, 2023 | Edited by ImportBot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |