Logische und Funktionale Programmierung

Inhaltsverzeichnis

• 0 Einführung.
• 1 Hornklausellogik als Programmiersprache.
• 1.1 Die Sprache der Hornklauseln: Syntax und Semantik von HCL.
• 1.2 Behandlung der Gleichheit.
• 1.3 HCL-Programme mit Gleichheit.
• 2 Die Kombination von HCL und funktionalen Sprachen.
• 2.1 Formale Spezifikation der Kombination.
• 2.2 Erweiterte Unifikation.
• 2.3 Erweiterte Resolution.
• 2.4 Korrektheit.
• 2.5 Vollständigkeit.
• 2.6 Beispiele aus der Literatur.
• 3 Das FHCL-Programmiersystem.
• 3.1 Die Sprache.
• 3.2 Erweiterte Unifikation und Resolution in FHCL.
• 3.3 Inverse Funktionen.
• 3.4 Systemumgebung.
• 3.5 Ein FHCL-Beispiel.
• 4 Parallelisierung von HCL.
• 4.1 ODER-Parallelität.
• 4.2 FHCL auf Mehrprozessorsystemen.
• 5 Termersetzungssysteme im FHCL-Schema.
• 5.1 Termersetzungssysteme als funktionale Sprache.
• 5.2 Von Hornklausellogik zu Termersetzungssystemen.
• 5.3 Einordnung ins FHCL-Schema und Diskussion.
• 6 Sortierte Hornklauseln.
• 6.1 Mehrsortigkeit.
• 6.2 Sortenhierarchien.
• 6.3 Syntaktischer Zucker.
• 6.4 Attribute und Vererbung.
• 6.5 Gleichungen vs. Relativierung.
• 7 Eine Anwendung: Smoothsort.
• 7.1 Transformationelle Programmentwicklung.
• 7.2 Entwicklung von Smoothsort.
• 7.3 Lehren daraus.
• 8 Zusammenfassung.
• 9 Anhang.
• Literatur.
• Sachwortverzeichnis.