Coder Wiki | Informationen

Prolog ("Programming in Logic") ist eine anfang der 1970er Jahre entwickelte Programmiersprache, die zur Familie der deklarativen Programmierung zählt. Sie ist eine Vertreterin der logischen Programmiersprachen. Ursprüngliche Prologvarianten arbeiten vollständig auf Basis des Edinburgh Standards, bei aktuelleren Versionen wird dies aber nicht mehr konsequent durchgehalten.

Man kann die Sprache als "Maschinensprache eines Logik-Prozessors" bezeichnen, da sie auf den mathematischen Grundlagen der Prädikatenlogik beruht. Ein Prolog-Programm ist eine Sammlung von so genannten Horn-Klauseln.

Ein Prolog-Interpreter wurde erstmals in Lisp ? programmiert.

Prolog-Programme bestehen aus einer Datenbasis, die Fakten und Regeln umfasst. Der Benutzer formuliert Anfragen an diese Datenbasis. Der Prolog-Interpreter benutzt die Fakten und Regeln, um systematisch eine Antwort zu finden. Ein positives Resultat bedeutet, dass die Antwort logisch ableitbar ist. Ein negatives Resultat bedeutet nur, dass aufgrund der Datenbasis keine Antwort gegeben werden kann. Dies hängt eng mit der Closed-world-assumption ? zusammen.