An edition of Essentials of logic programming
(1990)
Essentials of logic programming
by Christopher John Hogger
Share
×Close
Last edited by r. clayton
February 7, 2016 | History
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)
| February 7, 2016 | Edited by r. clayton | added description |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |