Find file
bf8e780 Oct 4, 2013
153 lines (113 sloc) 4.89 KB

Prolog Books, Tutorials and Implementations

Copied and updated from (with clicky links)

Prolog subredit

Introduction to Prolog Videos

Learn Prolog Now!

Patrick Blackburn, Johan Bos, and Kristina Striegnitz

Prolog Wiki Book

Prolog Programming in Depth

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

Natural Language Processing for Prolog Programmers

Michael A. Covington

prolog :- tutorial.

John R. Fisher

Prolog Books & Tutorials


Guide to Prolog Programming

Roman Bártak

Prolog for Software Engineering

Peter B. Reintjes

P-99: Ninety-Nine Prolog Problems

Werner Hett

Prolog Programming A First Course

Paul Brna

Introduction to Prolog for Mathematicians

Jocelyn Paine

Free Prolog Books

Prolog Books

John Fletcher

Frequently Asked Questions - comp.lang.prolog

Public-domain Prolog library

Jocelyn Paine

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

Computing with Logic: Logic Programming with Prolog

(!) David Maier and David S. Warren

Artificial Intelligence through Prolog

Neil C. Rowe

Simply Logical: Intelligent Reasoning by Example

Peter Flach

Prolog Programming for Artificial Intelligence

Ivan Bratko

The Art of Prolog: Advanced Programming Techniques

Leon Sterling and Ehud Shapiro

The Craft of Prolog

Richard A. O'Keefe

Logic for Problem Solving

Robert Kowalski

Prolog: The ISO Standard

J.P.E. Hodgson

Prolog Standards Documents

Roger Scowen

Warren's Abstract Machine: A Tutorial Reconstruction

Hassan Aït-Kaci

Algorithm = Logic + Control

Robert Kowalski

Prolog mode for (X)Emacs

Stefan Bruda

Natural Language Processing Techniques in Prolog

Patrick Blackburn and Kristina Striegnitz

Open source Prolog implementations

More Prolog links