Prolog Information
- A guide by
Aaron Hein on how to set up SWI-Prolog on the Mac
- An
example driver and makefile for a Prolog program, by Aaron Hein
- Basics of Prolog: lecture notes used
on 2010-11-10.
- SWI
Prolog home page, including information on how to obtain compilers for
various operating systems
- Local copy of the
SWI Prolog manual, version
5.6.39 (August 2007), pdf
- Local copy of the SWI Prolog manual, version
5.10.2 (October 2010), pdf
- Local copy of the SWI Prolog manual,
version 7.2.3 (August 2015), pdf
- Local copy of the SWI Prolog manual,
version 8.4.3 (August 2022), pdf
- The Mercury
Project home page. Mercury is a logic programming language that does
not include the procedural features of Prolog, such as cuts. There is a
compiler that produce IL code (where IL is the intermediate language used by
Microsoft's .NET Common Language Runtime) and insures interoperability
in the .NET common runtime runtime environment.
-
A paper on P#, a concurrent Prolog for the .NET framework, by Jonathan
Cook
- Knight's moves relation, represented in Prolog
extensionally and intensionally
- Family relations, delete, sort
- Jan Wielemaker's dissertation (pdf, 2009).
Dr. Wielemaker is the implementor of SWI-Prolog. He still maintains and
improves it.
- Coding Guidelines for Prolog,
by Michael Covington et al. (local copy, see ArXiV version, see
document for full reference).
-
Adam Lally and Paul Fodor.
"Natural Language Processing With Prolog in the IBM Watson System."
Association for Logic Programming Newsletter, March 31, 2011 (Accessed on
August 31, 2017)
(local copy in pdf).
- "ALAIN COLMERAUER L'AVENTURE PROLOG": a
movie on the history of Prolog and its developer, by Colette Colmeraur (in French with
English subtitles), released in 2022 on the occasion of Prolog's 50th anniversary.