Using Prolog on IT labs machines

Available Package

Prolog is available on all the machines in ITLabs.

How to run Prolog

module load prolog/5; pl You need to type in the command module load prolog/5 only the first time you want to use prolog in each login. If you prefer, you can make this step automatic by adding the module prolog to the list of modules that are added to you path when you login. This is done by modifying the module command line in your .cshrc file.

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/

Copyright: © 1998-2002 by the Regents of the University of Minnesota
Department of Computer Science and Engineering. All rights reserved.
Comments to: Maria Gini
The University of Minnesota is an equal opportunity educator and employer.