9
Logische Programmierung in PROLOG
Der Interpreter der Programmiersprache PROLOG ist ein Theorembeweiser für Hornklauseln. Dieses Kapitel gibt eine Einführung in die logische Programmierung und illustriert diesen Progammierstil an technischen Anwendungsbeispielen.
9.1Einführung in die logische Programmierung
Auf die Motivation der Verwendung der Prädikatenlogik als Grundlage für eine Programmiersprache wurde im Abschnitt 7.4 ausführlich eingegangen. Dabei wurde gezeigt, dass sich das von J. A. ROBINSON 1965 entwickelte Resolutionsprinzip gut für eine rechentechnische Implementierung eignet. Die Problembeschreibung erfolgt durch prädikatenlogische Ausdrücke in Hornform
(9.1)
Der Theorembeweiser kann so implementiert werden, dass er auf eine ...
Get Künstliche Intelligenz für Ingenieure, 3rd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
