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