Язык Пролог предназначен для представления и использования знаний в различных предметных областях. Математическую основу языка составляет исчисление предикатов первого порядка (ИППП), при этом объекты предметной области, их свойства и связи представляются конъюнкцией правильно построение формул специального вида, называемых дизъюнктами Хорна. Для решения задачи получения новой информации об отношениях предметной области, формулируемой как задача доказательства теоремы, в интерпретаторе системы программирования Пролог реализован метод резолюции.
Примечание. Дизъюнктом Хорна называется формула, имеющая следующий общий вид записи:


где 0, - атомарная формула (предикат), все переменные связаны не указанными явно кванторами всеобщности, областью действия которых служит вся формула. Атомарная формула, входящая в дизъюнкт с отрицанием, называется отрицательным литералом, а формула без отрицания - положительном литералом.
Эквивалентной, но более удобной для человека, является импликативная форма записи дизъюнктов Хорна:

которую, с учётом правила Modus Ponens, можно трактовать как "Если ..., то ...".
Различные типы дизъюнктов Хорна имеют специальные названия в языке Пролог, что иллюстрирует следующая таблица.
Таблица 1    
Дизъюнкт ХорнаИмпликативная формаУтверждение Пролога
P0P0Факт
P0P1P2Pn(P1P2Pn)P0Правило
P1P2Pn(P1P2Pn)Запрос (цель)

Программа на языке Пролог состоит из утверждений (предложений, дизъюнктов Хорна), составляющих базу фактов и базу правил, к которым допустимо обращение с запросами. Запросы называются также целевыми утверждениями или просто целями. Термин "программа" мы применяем к Прологу по "традиции", т.к. Пролог - декларативный язык.
Большинство существующих систем программирования Пролог являются комбинированными в том смысле, что допускают как интерпретацию программ, так и их компиляцию.