Mario Campos

Musings, with a hint of code.

An introduction to logic programming through Prolog

The book was originally published by Prentice-Hall in 1996, but is long out of print and the rights have been reverted to the author. It gives a simple introduction to the theory of logic programming, and also describes in detail an implementation of a small Prolog dialect called picoProlog by an interpreter written in Pascal.

Author(s)J. M. Spivey
TitleAn introduction to logic programming through Prolog
Publisher(formerly) Prentice-Hall
Year2008
Keyword(s)prolog logic programming
Homepagehttps://spivey.oriel.ox.ac.uk/corner/An_introduction_to_logic_programming_through_Prolog
Direct Downloadhttps://spivey.oriel.ox.ac.uk/wiki/files/logprog/logic.pdf (disclaimer)
Disclaimers
  • verify-copyright — We are not making legally binding statements on the copright status of the linked work. It is necessary that you verify the copyright status yourself, e.g. by consulting the frontmatter or the homepage.
  • publisher-formerly — The publisher given is the publisher of an earlier version. The version referenced has probably been modified compared with the version originally published by the given publisher.
  • direct-download — A direct download link is available, regardless it is strongly recommended that you verify the copyright status, e.g. by consulting the frontmatter or the homepage.

Dislaimers and Warnings

Verify the Copyright (verify-copyright)

We are not making any legally binding statements on the copyright status of the linked books/works. We strongly recommend that you verify the copyright status yourself. Possible approaches are

Given Publisher is Publisher of an Earlier Version (publisher-formerly)

This book/work was formerly published by the publisher we have referenced.The copy/version we reference, though, is not identical to the version originally published by the given publisher, but has been derived/developed from the originally published version. For more information you should refer to the homepage of the book/work.

Verify Copyright Despite Direct Download Link (direct-download)

We have given a direct download link to the book/work, since this is, to our understanding, permitted in this case. Regardless we strongly recommend that you do not just download from the provided link, but check the copyright status (what you are allowed to do with the book/work) on the homepage of the book/work.

Source: https://mario-campos.github.io/book/spivey2008/, 2022-03-26