====== Prolog ======


===== SICStus-Prolog =====

[[http://www.sics.se/isl/sicstuswww/site/|SICStus-Prolog]]
ist eine Prolog-Implementierung, für die eine Campus-Lizenz
und Studierendenlizenzen existieren. Die aktuelle Implementierung
kann mit ''/opt/sicstus/bin/sicstus'' aufgerufen werden, aber
am einfachsten sollte man das Verzeichnis

''/opt/sicstus/bin''

in seinen Pfad aufnehmen. Eine ältere Implementierung ist unter dem
Pfad ''/opt/sicstus/sicstus3/bin'' verfügbar.

===== SWI-Prolog =====

[[http://www.swi-prolog.org/|SWI-Prolog]] ist eine frei verfügbare
Prolog-Implementierung, die in vielen Linux-Distributionen mitgeliefert
wird. Unter ''/opt/swiprolog'' sind verschiedene Versionen abgelegt.
Zur Benutzung der neuesten Version sollte man

''/opt/swiprolog/bin''

in seinen Pfad aufnehmen. Dann kann man das System mit ''swipl'' starten.