Using Prolog on CSE labs machines

Available Package

Prolog is available on all the machines in CSE Labs. The default version is SWI-Prolog.

How to run Prolog

module load prolog; prolog You need to type in the command module load prolog 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. The site has documentation, tutorials, etc.

Books and Tutorials on Prolog

Amzi! Logic Explorer offers another 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. The current edition is the 4th edition. You can find a scan of the 3rd edition at http://www.slideshare.net/guest012a99e/ivan-bratko-prolog-programming-for-artificial-intelligence-3rd-edition
Try the applet at http://aispace.org/deduction/ It lets you load a Prolog program, specify a goal, and shows 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.

To get started

Definite Clause Grammars

Definite Clause Grammars (DCG) are an extension to Prolog that make it easy to implement formal grammars. A grammar written as DCG is directly executable in Prolog.

the classical paper on DCG is
F. Pereira and D. Warren "DCG for language analysis - a survey of the formalism and a comparison with Augmented Transition Networks", Artificial Intelligence, Vol 13, 1980, pp 231-278
Look at examples of DCGs for details.

Copyright: © 1998-2015 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.