Prolog Books, Tutorials and Implementations

Copied and updated from http://ideone.com/mKB5l (with clicky links)

Execute Prolog Online

• https://www.tutorialspoint.com/execute_prolog_online.php

Prolog subredit

• http://www.reddit.com/r/prolog/

Introduction to Prolog Videos

• https://www.youtube.com/watch?v=GHLfeGN5OMk

Learn Prolog Now!

Patrick Blackburn, Johan Bos, and Kristina Striegnitz

• http://www.learnprolognow.org/
• http://cs.union.edu/~striegnk/learn-prolog-now/html/

Prolog Wiki Book

• http://en.wikibooks.org/wiki/Prolog

Prolog Programming in Depth

Michael A. Covington, Donald Nute, and André Vellino

• http://www.covingtoninnovations.com/books.html#ppid

Natural Language Processing for Prolog Programmers

Michael A. Covington http://www.covingtoninnovations.com/books.html#nlp

prolog :- tutorial.

John R. Fisher

• http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html

Prolog Books & Tutorials

Amzi!

• http://www.amzi.com/articles/prolog_books_tutorials.htm

Guide to Prolog Programming

ROMAN BARTÁK

• https://kti.mff.cuni.cz/~bartak/prolog/

Prolog for Software Engineering

Peter B. Reintjes

• http://www.cs.auckland.ac.nz/~j-hamer/07.363/prolog-for-se.html

P-99: Ninety-Nine Prolog Problems

Werner Hett

• https://prof.ti.bfh.ch/hew1/informatik3/prolog/p-99/index.html

Prolog Programming A First Course

Paul Brna

• http://homepages.inf.ed.ac.uk/pbrna/prologbook/
• http://www.dmi.unisa.it/people/sessa/www/brna_prolog.pdf

Introduction to Prolog for Mathematicians

Jocelyn Paine

• http://www.j-paine.org/prolog/mathnotes/files/contents.html

Free Prolog Books

• http://www.freeprogrammingresources.com/prologbook.html

Prolog Books

John Fletcher

• http://www.binding-time.co.uk/prolog_books.html

Frequently Asked Questions - comp.lang.prolog

• http://www.logic.at/prolog/faq/faq.html

Public-domain Prolog library

Jocelyn Paine

• http://www.j-paine.org/prolog/library.html

Programming in Prolog

W.F. Clocksin and C.S. Mellish

Clause and Effect

(!) W.F. Clocksin

Logic, Programming and Prolog

Ulf Nilsson and Jan Maluszynski

• http://www.ida.liu.se/~ulfni/lpp/index.html

Computing with Logic: Logic Programming with Prolog

(!) David Maier and David S. Warren

Artificial Intelligence through Prolog

Neil C. Rowe

• http://faculty.nps.edu/ncrowe/book/book.html

Simply Logical: Intelligent Reasoning by Example

Peter Flach

• http://www.cs.bris.ac.uk/~flach/SimplyLogical.html
• http://www.cs.bris.ac.uk/~flach/SL/SL.pdf

Prolog Programming for Artificial Intelligence

Ivan Bratko

The Art of Prolog: Advanced Programming Techniques

Leon Sterling and Ehud Shapiro

• http://cdn.preterhuman.net/texts/computing/programming/Prolog/The%20Art%20of%20Prolog%20%202nd%20Ed%20-%20Leon%20Sterling%20,%20Ehud%20Shapiro.pdf

The Craft of Prolog

Richard A. O'Keefe

Logic for Problem Solving

Robert Kowalski

• http://www.doc.ic.ac.uk/~rak/index.html

Prolog: The ISO Standard

J.P.E. Hodgson

• http://pauillac.inria.fr/~deransar/prolog/index.html

Prolog Standards Documents

Roger Scowen

• http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/doc/standard/

Warren's Abstract Machine: A Tutorial Reconstruction

Hassan Aït-Kaci.

• https://github.com/a-yiorgos/wambook
• http://wambook.sourceforge.net/

Algorithm = Logic + Control

Robert Kowalski

• http://www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf

Prolog mode for (X)Emacs

Stefan Bruda

• http://turing.ubishops.ca/home/bruda/emacs-prolog/index.html

Natural Language Processing Techniques in Prolog

Patrick Blackburn and Kristina Striegnitz

• http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/

Open source Prolog implementations

• Warren Abstract Machine
  • http://stefan.buettcher.org/cs/wam/ - Java implementation of WAM
  • https://github.com/Trismegiste/WamBundle PHP (!) implementation of WAM
• JIT Prolog
  • Jitting Prolog for Fun and Profit - http://bergel.eu/download/Dyla2010/schneider-prolog-jit-final.pdf
  • http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html
• Prolog in Javascript
  • http://ioctl.org/logic/ - Javascript prolog, source code embedded in page
  • https://github.com/BijuGC/jsprolog - Easy to embed version of ioctl.org prolog
• Python Interpreter for Prolog
  • http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.1886&rep=rep1&type=pdf
  • http://www.stups.uni-duesseldorf.de/mediawiki/images/5/5f/Bolz2007-Bachelorarbeit.pdf
• Yield Prolog - a prolog-like technique implmeneted in languages with the yield statement
  • http://yieldprolog.sourceforge.net/

More Prolog links

• SWI Prolog. Both general and SWI-specific - http://www.swi-prolog.org/Links.html
• Amzi Prolog - http://www.amzi.com/articles/