|
In diesem Vortrag werden insbesondere die theoretischen Hintergründe der Logikprogrammierung - am Beispiel von Prolog - vorgestellt. Zunächst wird die prozedurale Interpretation erläutert. Sie befasst sich mit der Frage, wie Anfragen vom Prolog-System abgearbeitet werden. Hierzu wird Unifikation sowie SLD-Resolution und SLD-Bäume eingeführt. Desweiteren wird die deklarative Interpretation anhand des kleinsten Herbrand-Modells beschrieben, mit dessen Hilfe sich herleiten lässt, was semantisch aus einem Prolog-Programm gefolgert werden kann. Schliesslich folgt noch eine Einführung in einige Programmiertechniken Prologs, wie z.B. Listen, Arithmetik und Negation.
Literatur
|
|