Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 5 Stimmen.
Introduction to Logic Programming
Die 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. Dieses Buch führt in die Theorie der logischen Programmierung, die aktuelle Technologie und populäre Anwendungen ein.
In diesem Band verfolgen wir einen innovativen, modelltheoretischen Ansatz zur logischen Programmierung. Wir beginnen mit dem grundlegenden Begriff der Datensätze, d. h. der Mengen von Grundatomen. Ausgehend von diesem grundlegenden Begriff führen wir Sichten ein, d. h. virtuelle Relationen; und wir definieren klassische logische Programme als Mengen von Sichtdefinitionen, 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 führen wir Aktionen ein, d. h. Hinzufügungen und Löschungen von Grundatomen; und wir definieren dynamische Logikprogramme als Mengen von Aktionsdefinitionen.
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.
"Dies ist ein Buch für das 21. Jahrhundert: Es präsentiert eine elegante und innovative Perspektive auf die logische Programmierung. Im Gegensatz zu anderen Texten nimmt es Datensätze als grundlegenden Begriff und überbrückt damit die Kluft zwischen Programmiersprachen und Wissensrepräsentationssprachen; und es behandelt Aktualisierungen gleichberechtigt mit Datensätzen, was zu einer soliden und praktischen Behandlung von Aktion und Veränderung führt." - Bob Kowalski, emeritierter Professor, Imperial College London.
"In einer Welt, in der Deep Learning und Python in aller Munde sind, ist dieses Buch eine bemerkenswerte Entwicklung. Es führt den Leser in die Grundlagen der traditionellen Logikprogrammierung ein und verdeutlicht die Vorteile des Einsatzes dieser Technologie zur Erstellung lauffähiger Spezifikationen für komplexe Systeme." - Son Cao Tran, Professor für Computerwissenschaften, New Mexico State University.
"Ausgezeichnete Einführung in die Grundlagen der logischen Programmierung. Das Buch ist gut geschrieben und gut gegliedert. Die Konzepte werden klar erklärt und die allmählich ansteigende Komplexität der Übungen sorgt dafür, dass man einfache Begriffe schnell verstehen kann, bevor man zu schwierigeren Ideen übergeht." - George Younger, Student, Universität Stanford.
| ISBN: | 9781681737249 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Seitenzahl: | 219 |
Derzeit verfügbar, auf Lager.
