Prolog (vom Französischen: Programmation en Logique, dt.: „Programmieren in Logik“) 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.