Logikprogrammierung

Folien zur Vorlesung

Quellcode aus Norvig: Artificial Intelligence Programming

• prolog.lisp: Ein Prolog-Interpreter in Lisp. Die Datei lädt die drei nachfolgenden Lisp-Dateien nach. Passen Sie dazu den Pfadnamen (Variable *local-pathname*) in prolog.lisp an.
• unify.lisp: Unifikationsalgorithmus.
• patmatch.lisp: Pattern-Matching-Algorithmen
• auxfns.lisp: Hilfsfunktionen, die in den anderen Dateien verwendet werden.
• prolog1.dat: Einfache Prolog-Beispiele.
• prolog2.dat: Etwas komplexere Prolog-Demos.

Literatur

• Norvig, P., Artificial Intelligence Programming: Case Studies in Lisp, S. 349 ff., Morgan Kaufmann, 1992.

  Gut lesbare Einführung in die Logikprogrammierung mit Lisp.

• Abelson, H. & Sussman, G. J. mit Sussman, J., Struktur und Interpretation von Computerprogrammen, S. 403 ff., 2. Auflage, Springer, 1993.

  Verwendet einen alternativen Ansatz mit Datenströmen. Setzt die weitgehende Lektüre der vorherigen Kapitel voraus (mindestens die Abschnitte 1.1 und 3.4), nicht zuletzt da das verwendete Scheme trotz aller Nähe zu Lisp ein paar wesentliche Unterschiede aufweist. Insgesamt ist das Werk von Abelson/Sussman äußerst empfehlenswert.

• Schöning, U., Logik für Informatiker, S. 119 ff., 4. Auflage, Spektrum, Akad. Verl., 1995

  Behandelt die logischen Grundlagen der Logikprogrammierung.