Kort för programmering i logik eller programation et logique (franska), prolog är ett programmeringsspråk som utvecklats av Alain Colmeraur och hans kollegor vid universitetet i Marseilles 1972. Prolog används ofta för AI, och i motsats till andra programmeringsspråk är Prolog baserat på en uppsättning regler istället för instruktioner.

AI, Artificiell intelligens termer, Datorförkortningar, Programlogik, Programmeringsvillkor