Was ist Prolog

Prolog („Programming in Logic“, auch frankophon „Prologue“) ist eine Programmiersprache, die maßgeblich von Alain Colmerauer, einem französischen Informatiker, Anfang der 1970er Jahre entwickelt wurde und zur Familie der deklarativen Programmierung zählt.

Prolog(Programming in Logic) gehört zu den sogenannten logischen Programmiersprachen, die sich erheblich von den imperativen/prozeduralen Programmiersprachen enscheiden.

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

Ein Prolog-Interpreter wurde erstmals in Lisp programmiert.

[list]Ein Prolog-Programm ist eine Folge von Regeln, die ihrerseits aus Termen bestehen. Ein Term kann eine Konstante, eine Variable oder eine Struktur sein.
[/list][list]Operatoren in Prolog sind andere Schreibweisen für Funktoren. Zum Beispiel ist der Ausdruck 1+8 keinesfalls identisch mit 9, sondern eine kurze Schreibweise für den 2-stelligen Funktor +(1, 8 ). [/list]