© 2005

Logic Programming with Prolog


Table of contents

  1. Front Matter
    Pages i-xiii
  2. Pages 1-12
  3. Pages 29-56
  4. Pages 69-83
  5. Pages 85-97
  6. Pages 119-136
  7. Pages 137-147
  8. Pages 149-166
  9. Back Matter
    Pages 167-223

About this book


Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence.

This book does not assume that the reader is an experienced programmer or has a background in Mathematics, Logic or Artificial Intelligence. It starts from scratch and aims to arrive at the point where quite powerful programs can be written in the language. It is intended both as a textbook for an introductory course and as a self-study book. On completion the reader will know enough to use Prolog in their own research or practical projects.

Each chapter has self-assessment exercises so that the reader may check their own progress. A glossary of the technical terms used completes the book.


Max Bramer is the Digital Professor of Information Technology at the University of Portsmouth, England. He has taught Prolog to undergraduate computer science students and used Prolog in his own work for many years.


Processing Programming Languages Prolog Rack artificial intelligence declarative programming logic logic programming programming

Authors and affiliations

  1. 1.Department of Computer Science and Software EngineeringUniversity of PortsmouthUK

Bibliographic information