Essentials of logic programming
By: Christopher John Hogger.
Series: Graduate texts in computer science ;
Publisher: Clarendon Press; Oxford University Press; Oxford University Press, USA
Published: 1990
Place of publication: Oxford; New York
Language: eng
Format: paperback
Number of pages: 299
Subjects: Logic programming.
Notes: Includes index.
Table of contents: title: Preface
pagenum: v; title: Acknowledgments
pagenum: viii; title: Background
pagenum: 1; title: Overview
pagenum: 11; title: First-order logic
pagenum: 20; title: Clausal-form logic
pagenum: 36; title: Problem solving
pagenum: 52; title: The Herbrand domain
pagenum: 64; title: Resolution
pagenum: 73; title: Programming with SLD-resolution
pagenum: 90; title: Semantics of definite programs
pagenum: 129; title: Transforming and completing programs
pagenum: 155; title: Programming with finite failure
pagenum: 185; title: Verifying programs
pagenum: 215; title: Answers to exercises
pagenum: 228; title: Index
pagenum: 292