prolog

Wissensverarbeitung und Informationssysteme

Grundlagen der Programmierung in Prolog
und
Informationen zu den am Institut verfübaren Prolog-Systemen

Thomas Linke
Zu den Lehrveranstaltungen

Folien zur Prolog-Einführung

als Postscript-Datei oder als pdf-Datei

Einfache Prolog Programme zum Testen

familie.pl

Prolog-Systeme

SWI-Prolog

SWI-Prolog ist ein (für wissenschaftliche Zwecke) freies Prolog-System.

Homepage SWI-Prolog
download SWI-Prolog für Linux, Windows 95/98/ME/NT/2000/XP und für MacOS X
download w32pl345.exe
Online-Manual
Download SWI-Manual
Hier gibt es einen SWI-Prolog-Editor für Windows
SWI-Prolog wird durch den Befehl pl aufgerufen

Eclipse Prolog

Eclipse (ECRC Common Logic Programming System) Prolog ist ein für wissenschaftliche Zwecke freies Prolog-System, welches nur mit Lizenz als Software verfügbar ist.

Homepage Eclipse
Eclipse Online-Dokumentation
Eclipse wird durch den Befehl eclipse aufgerufen

SICStus Prolog

SICStus Prolog ist ein kommerzielles Prolog System.

Homepage SICStus
SICStus Online-Dokumentation
SICStus wird durch den Befehl sicstus aufgerufen

Systeme zur Antwortmengenprogrammierung

dlv

dlv ist ein System zur Antwortmengenberechnung für disjunktive logische Programme, welches an der TU-Wien entwickelt wurde.

Homepage DLV
Online-Manual
Aufruf durch dlv <file>
weitere Optionen werden durch dlv -h angezeigt

smodels

smodels ist ein System zur Berechnung von Antwortmengen für logische Programme, das an der TU-Helsinki entwickelt wurde. Es wird zusammen mit dem Parser lparse benutzt (s.u.).

Homepage smodels
lparse User's Manual download
Gemeinsame Anwendung von lparse und smodels durch lparse < file | smodels
weitere Optionen werden durch smodels -h bzw. lparse -h angezeigt

nomore

nomore ist ein experimentelles System zur Antwormengenberechnung, das an der Universität Potsdam unter Eclipse Prolog entwickelt wird.

Homepage nomore

Setzen der Umgebungsvariablen auf den Sun Rays

Folgende Pfade müssen zusätzlich gesetzt werden um die beschriebenen Systeme benutzen zu können (Hosts: delenn/winter/alexander):

# Beispiel fuer Umgebungsvariablen in [t]csh
setenv PROLOG /opt/local/Prolog
set path = ( $PROLOG/bin $path)
setenv LD_LIBRARY_PATH $PROLOG/lib:$LD_LIBRARY_PATH
setenv MANPATH $PROLOG/man:$MANPATH

# Eclipse
set path = ( /opt/local/Prolog/Eclipse5.7/bin/sparc_sunos5 $path)

Literatur

K. Apt and R. Bol.: Logic programming and negation: A survey.
Journal of Logic Programming, 19/20:9-71, 1994.
K. Apt.: From Logic Programming to Prolog.
Prentice Hall, 1997.
I. Bratko.: Prolog Programming for Artificial Intelligence.
Addison-Wesley, 1990.
W. Clocksin and C. Mellish.: Programming in Prolog.
Springer Verlag, Berlin, Heidelberg, New York, 1981.
M. Hanus.: Problemlösen mit PROLOG.
Teubner, 1986.
J. Lloyd.: Foundations of Logic Programming.
Symbolic Computation. Springer Verlag, 2nd edition, 1987.
Y. Shoham.: Artificial Intelligence Techniques in Prolog.
Morgan Kaufmann, 1994.