Theorie der logischen Programmierung

1. Front Matter

   Pages i-xi

   PDF

2. Einleitung

   • Peter H. Schmitt

   Pages 1-15

3. Voraussetzungen

   • Peter H. Schmitt

   Pages 17-22

4. Der Prädikatenkalkül erster Stufe

   • Peter H. Schmitt

   Pages 23-39

5. Unifikation

   • Peter H. Schmitt

   Pages 41-58

6. Unifikationsalgorithmen

   • Peter H. Schmitt

   Pages 59-74

7. Resolutionskalküle

   • Peter H. Schmitt

   Pages 75-93

8. PROLOG-Situationen

   • Peter H. Schmitt

   Pages 95-122

9. Eigenschaften von Hornklauseln

   • Peter H. Schmitt

   Pages 123-134

10. Allgemeine PROLOG-Situationen

    • Peter H. Schmitt

    Pages 135-171

11. Dreiwertige Semantik für verallgemeinerte PROLOG-Situationen

    • Peter H. Schmitt

    Pages 173-200

12. PROLOG-Situationen mit Gleichheit

    • Peter H. Schmitt

    Pages 201-213

13. Logische Programme mit Randbedingungen

    • Peter H. Schmitt

    Pages 215-225

14. Back Matter

    Pages 226-246

    PDF

Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Möglichkeiten der logischen Programmierung vertraut. Die ausführliche Darstellung mit Übungsaufgaben und ausgewählten Lösungen setzt keine speziellen Vorkenntnisse in formaler Logik voraus. In der Einleitung werden die wichtigsten Probleme und Resultate der Theorie anhand von Beispielen anschaulich vorgestellt. Es ist ein besonderes Anliegen des Buches, zu zeigen, wie höhere Konzepte der mathematischen Logik, z.B. vollständige Theorien, dreiwertige Logik oder saturierte Strukturen, in natürlicher und verständlicher Weise sinnvoll eingesetzt werden können. Auch dem neuen Thema der logischen Programmierung mit Randbedingungen (constraints) ist ein Kapitel gewidmet. In allen Teilen des Buches wird Wert gelegt auf klare Darstellung, mathematische Präzision und vollständige, nachvollziehbare Beweise. Auf übertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingeführt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lektüre zu Vorlesungen als auch zum Selbststudium geeignet.

• Beweis
• Division
• Logik
• Programmieren
• Prolog
• Prädikate
• Prädikatenlogik
• Resolutionskalkül
• dreiwertige Logik
• logische Programmierung

• Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, Karlsruhe, Germany

  Peter H. Schmitt

Policies and ethics