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 |
|---|---|
| Title | An introduction to logic programming through Prolog |
| Publisher | (formerly) Prentice-Hall |
| Year | 2008 |
| Keyword(s) | prolog logic programming |
| Homepage | https://spivey.oriel.ox.ac.uk/corner/An_introduction_to_logic_programming_through_Prolog |
| Direct Download | https://spivey.oriel.ox.ac.uk/wiki/files/logprog/logic.pdf (disclaimer) |
| Disclaimers |
|
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
- Consulting the frontmatter of the text.
- Consulting the homepage if one has been given.
- Using a search engine to find when, by whom and under which
conditions the item has first been made available.
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.