Prolog Information

• 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
• 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.
• 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.