Пролог (ағылш. Prolog) - бірінші ретті предикаттар логикасының ішкі жинағын білдіретін Хорн дизъюнктерінің математикалық логика предикаттарының тіліне негізделген логикалық бағдарламалау тілі мен жүйесі. Объектілер (атап айтқанда құрылымдалған объектілер) және олардың арасындағы қатынастар қарастырылатын міндеттерді шешу үшін өте қолайлы. Пролог, өзінің ерекшеліктерінің арқасында жасанды интеллект, компьютерлік лингвистика және жалпы сансыз бағдарламалау саласында қолданылады.
Пролог - бұл декларативті бағдарламалау тілі: бағдарламаның логикасы фактілер мен ережелер түрінде ұсынылған қатынастар тұрғысынан көрінеді. Есептеулерді бастау үшін логикалық бағдарламалау жүйесі «шын» және «жалған» жауаптар шығаратын білім базасына арнайы сұрау салады. Аргументтер ретінде айнымалысы бар жалпыланған сұраулар үшін құрылған Prolog жүйесі жалпыланған ақпарат пен анықтама ережелерінің ақиқатын растайтын нақты деректерді көрсетеді.
