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
• Local copy of the SWI Prolog manual, version 9.0.4 (January 2023), pdf (Online).
• 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.