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.
