Wissensverarbeitung und Informationssysteme
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

Einfache Prolog Programme zum Testen

Prolog-Systeme

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

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.

SICStus Prolog
SICStus Prolog ist ein kommerzielles Prolog System.

Systeme zur Antwortmengenprogrammierung

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

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

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

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.


Home Mitarbeiter Research Lehre
Haiti Institut für Informatik Uni Potsdam

Mail to: Webmaster
Copyright © 2002 [ last modified: , Thomas Linke ]