Prolog (vom Französischen "Programmation en Logique") ist die bekannteste logische Programmiersprache.

Sie wurde vom französischen Informatiker Alain Colmerauer am Anfang der 1970er Jahre entwickelt. Ursprüngliches Ziel der Entwicklung war nicht eine neue Programmiersprache, sondern die Verarbeitung natürlicher Sprache. Deshalb besitzt Prolog neben den Kernmerkmalen einer logischen Programmiersprache (wie Hornklauseln und Resolution) auch die Möglichkeit, kontextfreie Sprachen zur formulieren (sogenannte Definite Clause Grammar).


Quellen

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.85.7438&rep=rep1&type=pdf
http://de.wikipedia.org/wiki/Prolog_%28Programmiersprache%29