Logische und Funktionale Programmierung
Vieweg & Teubner (Verlag)
978-3-528-05127-3 (ISBN)
Ulrich Furbach ist Professor für Künstliche Intelligenz an der Universität Koblenz-Landau. Seine Forschungsgebiete umfassen Automatisches Schließen, Agenten und Robotik sowie Frage-Antwort-Systeme. Er ist an der TU München habilitiert, an der Uni der Bundeswehr promoviert und ist Gründer und Gesellschafter des KI-Unternehmens wizAI.
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.
| Erscheint lt. Verlag | 1.1.1991 |
|---|---|
| Reihe/Serie | Künstliche Intelligenz |
| Zusatzinfo | IV, 159 S. 1 Abb. |
| Verlagsort | Wiesbaden |
| Sprache | deutsch |
| Maße | 170 x 244 mm |
| Gewicht | 293 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Software Entwicklung | |
| Schlagworte | Entwicklung • Funktionale Programmierung • Funktionen • Informatik • Programmierung |
| ISBN-10 | 3-528-05127-2 / 3528051272 |
| ISBN-13 | 978-3-528-05127-3 / 9783528051273 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
