This book is currently unavailable on Open Library, check out available alternatives.
An edition of Essentials of logic programming (1990)

Essentials of logic programming

by

Cover of: Essentials of logic programming by Christopher John Hogger, Christopher John Hogger
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

My Reading Lists:

Create a new list

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by ImportBot
October 3, 2025 | History
Edit
An edition of Essentials of logic programming (1990)

Essentials of logic programming

by

The theoretical and practical fundamentals of logic programming.

Publish Date
Publisher
Clarendon Press, Oxford University Press, Oxford University Press, USA
Language
English
Pages
299

Subjects

Logic programming Prolog logic
Edition Availability
Cover of: Essentials of logic programming
Essentials of logic programming
1990, Clarendon Press, Oxford University Press, Oxford University Press, USA
paperback in English

Add another edition?

Book Details

Table of Contents

Preface
Page v
Acknowledgments
Page viii
Background
Page 1
Overview
Page 11
First-order logic
Page 20
Clausal-form logic
Page 36
Problem solving
Page 52
The Herbrand domain
Page 64
Resolution
Page 73
Programming with SLD-resolution
Page 90
Semantics of definite programs
Page 129
Transforming and completing programs
Page 155
Programming with finite failure
Page 185
Verifying programs
Page 215
Answers to exercises
Page 228
Index
Page 292

Edition Notes

Includes index.

Published in
Oxford, New York
Series
Graduate texts in computer science ;

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.63 .H64 1990, QA76.63.H64 1990

The Physical Object

Format
paperback
Pagination
xi, 299 p. :
Number of pages
299
Weight
520 grams

Edition Identifiers

Open Library
OL1855936M
ISBN 10
0198538200, 0198538324
LCCN
90007847
OCLC/WorldCat
22209719
LibraryThing
7817260
Goodreads
4730771

Work Identifiers

Work ID
OL4446383W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS |

Wikipedia citation

Copy and paste this code into your Wikipedia page.

{{cite book|author=Christopher John Hogger |date=1990 |title=Essentials of logic programming |publication-place=Oxford |publisher=Clarendon Press |isbn=0-19-853820-0 |lccn=90007847 |oclc=22209719 |ol=1855936M}}