"Essentials of logic programming" - Information and Links:

Essentials of logic programming - Info and Reading Options

Book's cover
The cover of “Essentials of logic programming” - Open Library.

"Essentials of logic programming" was published by Clarendon Press in 1990 - Oxford, it has 299 pages and the language of the book is English.


“Essentials of logic programming” Metadata:

  • Title: ➤  Essentials of logic programming
  • Author:
  • Language: English
  • Number of Pages: 299
  • Publisher: Clarendon Press
  • Publish Date:
  • Publish Location: Oxford

“Essentials of logic programming” Subjects and Themes:

Edition Specifications:

  • Format: paperback
  • Weight: 520 grams
  • Pagination: xi, 299 p. :

Edition Identifiers:

AI-generated Review of “Essentials of logic programming”:


"Essentials of logic programming" Table Of Contents:

  • 1- Preface
  • 2- Acknowledgments
  • 3- Background
  • 4- Overview
  • 5- First-order logic
  • 6- Clausal-form logic
  • 7- Problem solving
  • 8- The Herbrand domain
  • 9- Resolution
  • 10- Programming with SLD-resolution
  • 11- Semantics of definite programs
  • 12- Transforming and completing programs
  • 13- Programming with finite failure
  • 14- Verifying programs
  • 15- Answers to exercises
  • 16- Index

Read “Essentials of logic programming”:

Read “Essentials of logic programming” by choosing from the options below.

Search for “Essentials of logic programming” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Essentials of logic programming” in Libraries Near You:

Read or borrow “Essentials of logic programming” from your local library.

Buy “Essentials of logic programming” online:

Shop for “Essentials of logic programming” on popular online marketplaces.