Prolog

Zusammenfassung

PROLOG ist eine deklarative Programmiersprache: der Benutzer formuliert sein Problem, er macht aber keine Angaben darüber, wie das Problem gelöst werden soll. Hierzu verfügt PROLOG über ein eingebautes Lösungsverfahren für Probleme, die nach gewissen Regeln formuliert sind. Zur Formulierung der Probleme darf man in PROLOG nur Relationen zwischen Objekten spezifizieren. Dabei können die Objekte atomar sein oder auch strukturiert, die Relationen können entweder primitiv sein oder mit Hilfe anderer Relationen definiert. Wenn PROLOG ein Problem löst, dann wird an Hand der vom Benutzer vorgegebenen Objekte und Relationen festgestellt, ob und zwischen welchen Objekte eine in Frage stehende Relation besteht.