Using Prolog on IT labs machines

Available Package

How to run Prolog

module load prolog/5; pl

References on SWI Prolog

• The SWI-Prolog Web page. You can download the software and manuals from there, and get additional info on Prolog, programs, applications, etc. Look at the SWI-Prolog interactive FAQ for information on how to start prolog, use GNUEmacs, use prolog on MS_Windows, common error messages, etc.

Books and Tutorials on Prolog

• An on-line short Prolog tutorial. It includes examples and a list of many of the system predicates.
• An on-line Prolog Tutorial by J.R. Fisher. It is more advanced than the previous one.
• Amzi! Logic Explorer offers a basic tutorial at http://www.amzi.com/AdventureInProlog/advfrtop.htm
• An on-line book on Logic, Programming and Prolog (2ed) by Ulf Nilsson and Jan Maluszynski
• A good textbook on Prolog is
  Ivan Bratko, "Prolog Programming for Artificial Intelligence - third edition", Addison-Wesley, 2001. The programs from the book are available at http://cwx.prenhall.com/bookbind/pubbooks/bratko3_ema/.
• A few basic hints on using prolog
• A very simple prolog program.
• Try the applet at http://www.cs.ubc.ca/labs/lci/CIspace/Version4/tree/. It lets you load a Prolog program, specify a goal, and shows you the proof step by step in a graphical way. The syntax is slightly simpler that usual Prolog.

Free implementations of Prolog

• You can get SWI Prolog (it runs under Linux, Unix, and Windows) from the SWI-Prolog Web page. SWI is the Prolog installed on the cs and itlabs machines.
• A lot of information and material on Prolog (including info on free Prolog implementations) can be found at http://www.comlab.ox.ac.uk/archive/logic-prog.html.
• Addtional information about implementations can be found in the Prolog FAQ at http://www.cs.kuleuven.ac.be/~remko/prolog/faq/