Grundelemente von Prolog

Zusammenfassung

Prolog ist eine deskriptive Programmiersprache: wir brauchen das gegebene Problem nur zu “beschreiben”, nur die hierbei gültigen Fakten und Regeln, die Voraussetzungen, anzugeben. Prolog ist nicht — wie die konventionellen Programmiersprachen — präskriptiv: wir müssen nicht alle einzelnen Schritte, die zur Lösung des Problems durch den Computer erforderlich sind, vordenken und “vorschreiben”. Wir formulieren eine Problembeschreibung in der Sprache der Hornklauseln. Diese Klauseln bilden die Wissensbasis, das Programm — mehr nicht.