Prolog ist eine häufig für KI-Programmierung verwendete Programmiersprache, die auf der Prädikatenlogik erster Stufe basiert; 1973 von dem Franzosen Alain Colmerauer entwickelt. Grundlage für den Inferenzalgorithmus ist das Resolutionsverfahren. Künstliche Intelligenz, Programmierung.