Skip to main content
SpringerLink
Log in

Theorie der logischen Programmierung

Eine elementare Einführung

  • Textbook
  • © 1992

Overview

Authors:
  1. Peter H. Schmitt

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

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Springer-Lehrbuch (SLB)

  • 667 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

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

    Peter H. Schmitt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation