Ebook: Logische und Funktionale Programmierung: Grundlagen einer Kombination

---

Content:
Front Matter....Pages i-5
Einf?hrung....Pages 6-11
Hornklausellogik als Programmiersprache....Pages 12-32
Die Kombination von HCL und funktionalen Sprachen....Pages 33-68
Das FHCL-Programmiersystem....Pages 69-86
Parallelisierung von HCL....Pages 87-95
Termersetzungssysteme im FHCL-Schema....Pages 96-110
Sortierte Hornklauseln....Pages 111-126
Eine Anwendung: Smoothsort....Pages 127-137
Zusammenfassung....Pages 138-139
Anhang....Pages 140-150
Back Matter....Pages 151-160

---

Content:
Front Matter....Pages i-5
Einf?hrung....Pages 6-11
Hornklausellogik als Programmiersprache....Pages 12-32
Die Kombination von HCL und funktionalen Sprachen....Pages 33-68
Das FHCL-Programmiersystem....Pages 69-86
Parallelisierung von HCL....Pages 87-95
Termersetzungssysteme im FHCL-Schema....Pages 96-110
Sortierte Hornklauseln....Pages 111-126
Eine Anwendung: Smoothsort....Pages 127-137
Zusammenfassung....Pages 138-139
Anhang....Pages 140-150
Back Matter....Pages 151-160
....