Trumpas programavimo logika arba programavimas ir logika (prancūzų kalba), prolog yra programavimo kalba, kurią sukūrė Alain Colmeraur ir jo kolegos Marselio universitete 1972 m. taisyklių rinkinys, o ne nurodymai.
AI, Dirbtinio intelekto terminai, Kompiuterių santrumpos, Programos logika, Programavimo terminai