Logische und funktionale Programmierung

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