Kort for programmering i logikk eller programmering et logique (fransk), prolog er et programmeringsspråk utviklet av Alain Colmeraur og hans kolleger ved Universitetet i Marseilles i 1972. Prolog er ofte brukt for AI, og i motsetning til andre programmeringsspråk er Prolog basert på et sett med regler i stedet for instruksjoner.

AI, Kunstig intelligens, Datortabeller, Programlogikk, Programmeringsbetingelser