T-93.540 Logic Programming, autumn 2004

SWI-Prolog

1. SWI-Prolog in Linux?

It is recommended that the homeworks and the assignment are done in the spice series of FreeBSD -machines at the Niksula. See: equipment This is fairly new version of the Prolog. There is support for foreign language interface (plld which links code written in different languages) in case someone absolutely necessarily needs the interface.

2. SWI-Prolog in Unix?

SWI-Prolog is also available in Niksula in SUN computers named {hurricane, earthquake, typhoon, tidal-wave, draught, meteor-impact, solarflare, monsoon, tornado, brushfire, forestfire, tsunami, rainstorm, inundation, gale-winds, water-spout, deluge}@cs.hut.fi.

Here you need to use the:

use prolog

command to set the paths correctly or include the path in the pl system promt level call.

There is a foreign language interface for SWI-Prolog. See the reference manual for how it is coded. The tool that links the part is called plld.

3. How to start?

More information about SWI-Prolog is available in SWI-Prolog Reference Manual and SWI-Prolog in WWW.

Emacs interface for SWI-Prolog is available in ~t93540/prolog/pl-3.2.9/lisp.

4.Eclipse at Niksula

Eclipse has been installed in Niksula Sun Solaris machines. It can be found ~t93540/eclipse/bin/sparc_sunos5/eclipse