Prolog ist eine
Programmiersprache, die Anfang der 1970er Jahre
maßgeblich von dem französischen Informatiker Alain
Colmerauer entwickelt wurde und ein deklaratives
Programmieren ermöglicht. Sie ist die wichtigste logische
Programmiersprache.
Erste Implementierungen wichen in ihrer Syntax stark
voneinander ab, aber der Edinburgh-Dialekt setzte sich
bald als Quasistandard durch. Er war jedoch nicht formal
definiert, bis er 1995 zur Grundlage eines ISOStandards
wurde (ISO/IEC 13211-1), der auch ISOProlog
genannt wird.
Ausführliche Informationen über die Programmiersprache Prolog befinden sich im Anhang. |