Nächste Seite: Einleitung Aufwärts: Deklarative Programmierung Vorlesung Wintersemester Vorherige Seite: Traversieren

Logisches Programmieren

Unterabschnitte

Einleitung
Implementierung (Motivation)
Syntax
Denotationale Semantik
Operationale Semantik
Beispiele
Implementierung
Substitutionen (Definition)
Substitutionen: Produkt
Substitutionen: Ordnung
Unifikation--Definition
Unifikation--Algorithmus
Unifikation--Komplexität
Suche in Haskell
Ein einfacher Prolog-Interpreter
Global eindeutige Namen
Monaden-Transformator StateT
Ideales und Reales Prolog
Erweiterungen
Modus-Deklarationen für Prädikate
Verwendung von Modi

Johannes Waldmann 2011-01-18