A logikai vagy programozási és logikai programozás rövidítése (franciául) a prolog egy programozási nyelv, amelyet Alain Colmeraur és munkatársai fejlesztettek ki a Marseille-i Egyetemen 1972-ben. utasítások helyett szabályrendszer.
AI, Mesterséges intelligencia fogalmak, Számítógépes rövidítések, Program logika, Programozási feltételek