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
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 30, 2024 | 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

Check nearby libraries

Buy this book

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
Library Thing
7817260
Goodreads
4730771

Work Identifiers

Work ID
OL4446383W

Source records

Better World Books record
Library of Congress MARC record
Better World Books record
Promise Item
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 30, 2024 Edited by MARC Bot import existing book
May 3, 2023 Edited by ImportBot import existing book
January 17, 2023 Edited by ImportBot import existing book
November 11, 2020 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record