Nächste Seite:
Einleitung
Aufwärts:
Deklarative Programmierung Vorlesung Wintersemester
Vorherige Seite:
XML-Serialisierung (II)
Logisches Programmieren
Unterabschnitte
Einleitung
Syntax
Denotationale Semantik
Operationale Semantik
Beispiele
Implementierung
Substitutionen (Definition)
Substitutionen (Produkt, Ordnung)
Unifikation--Definition
Unifikation--Algorithmus
Suche in Haskell
Ein einfacher Prolog-Interpreter
Ideales und Reales Prolog
Erweiterungen
Modus-Deklarationen für Prädikate
Verwendung von Modi
Johannes Waldmann 2010-01-25