Викладено основні питання логічного програмування. Розглянуто історію створення та особливості мови Пролог, що належить до мов логічного програмування та використовується для створення експертних систем. Наведено приклади програм мовою Пролог, увагу приділено уніфікації з поверненням, повторенню та рекурсії, трасуванню та відлагодженню програм, арифметиці, порівнянню, запису, читанню, обробці рядків, використанню баз даних. Охарактеризовано графічний інтерфейс фірми Borland.

Изложены основные вопросы логического программирования. Рассмотрены история создания и особенности языка Пролог, принадлежащего к языкам логического программирования и используемого для создания экспертных систем. Даны примеры программ языком Пролог, уделено внимание унификации с возвратом, повторению и рекурсии, трассированию и наладке программ, арифметике, сравнению, записи, чтению, обработке строк, использованию баз данных. Охарактеризован графический интерфейс фирмы Borland.