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