Prolog

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.