Einführung in die logische Programmierung

Bewertung:   (4,4 von 5)

Einführung in die logische Programmierung (Michael Genesereth)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 5 Stimmen.

Originaltitel:

Introduction to Logic Programming

Inhalt des Buches:

Dies ist eine Einführung in die Theorie der logischen Programmierung, die aktuelle Technologie und beliebte Anwendungen. Es handelt sich um einen innovativen, modelltheoretischen Ansatz zur logischen Programmierung.

Logische Programmierung ist eine Art der Programmierung, bei der Programme die Form von Sätzen in der Sprache der symbolischen Logik annehmen. Im Laufe der Jahre hat das Interesse an der Logikprogrammierung aufgrund von Anwendungen in deduktiven Datenbanken, automatisierten Arbeitsblättern, Unternehmensmanagement (Geschäftsregeln), Computational Law und allgemeinen Spielen zugenommen.

Das Buch beginnt mit dem grundlegenden Begriff der Datensätze, d. h. der Mengen von Grundatomen. Ausgehend von diesem grundlegenden Begriff werden dann Sichten, d. h. virtuelle Relationen, eingeführt und klassische Logikprogramme als Mengen von Sichtdefinitionen definiert, die in traditioneller Prolog-ähnlicher Notation geschrieben werden, deren Semantik jedoch in Form von Datensätzen und nicht in Form von Implementierungen angegeben wird. Dann werden Aktionen eingeführt, d. h. Hinzufügungen und Löschungen von Grundatomen, und dynamische Logikprogramme als Mengen von Aktionsdefinitionen definiert.

Zusätzlich zum gedruckten Buch gibt es eine Online-Version des Textes mit einem Interpreter und einem Compiler für die im Text verwendete Sprache sowie eine integrierte Entwicklungsumgebung für die Entwicklung und den Einsatz praktischer Logikprogramme.

Weitere Daten des Buches:

ISBN:9781681737225
Autor:
Verlag:
Einband:Taschenbuch
Seitenzahl:219

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Einführung in die logische Programmierung - Introduction to Logic Programming
Dies ist eine Einführung in die Theorie der logischen...
Einführung in die logische Programmierung - Introduction to Logic Programming
Einführung in die logische Programmierung - Introduction to Logic Programming
Die logische Programmierung ist eine Art der Programmierung, bei der...
Einführung in die logische Programmierung - Introduction to Logic Programming

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)