Kort for programmering i logik eller programmering et logique (fransk), prolog er et programmeringssprog udviklet af Alain Colmeraur og hans kolleger ved universitetet i Marseilles i 1972. Prolog er almindeligt anvendt til AI, og i modsætning til andre programmeringssprog er Prolog baseret på et sæt regler i stedet for instruktioner.

AI, Kunstig intelligensbetingelser, Computerforkortelser, Programlogik, Programmeringsbetingelser