Язык Пролог является представителем семейства языков логического программирования. Пролог не является языком программирования в чистом виде. Его можно считать и оболочкой экспертной системы, и реализацией интеллектуальной базы данных. Фактически Пролог является не процедурным, а декларативным языком. В качестве типовых данных Пролог использует элементарные единицы данных, так называемые атомы строки символов и числа. Сама "программа" строится из последовательности фактов и правил, и затем формулируется утверждение, которое Пролог будет пытаться доказать с помощью введенных правил. Таким способом можно описывать очень сложные проблемы, которые будут решаться самим Прологом автоматически. Человек лишь описывает структуру задачи, а внутренний "мотор" сам ищет решение. Отличие от других языков: Программа на прологе не является алгоритмом. Пролог предназначен не для решения вычислительных или графических задач, а для решения логических задач. Пролог требует особого стиля мышления программиста. Программирование на прологе состоит из следующих этапов: Объявления некоторых фактов об объектах и отношениях между ними, Определение некоторых правил об объектах и отношениях между ними и Формулировки вопросов об объектах и отношениях между ними.