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

Зміст
Вступ.
1. Початок роботи.
2. Основи мови Пролог.
3. Програми мовою Пролог.
4. Уніфікація і пошук з поверненням.
5. Прості і складові об’єкти.
6. Повторення і рекурсія.
7. Списки і рекурсія.
8. Внутрішня база даних мови Пролог.
9. Трасування і відлагодження.
10. Арифметика і порівняння.
11. Запис, читання і файли.
12. Обробка рядків мовою Пролог.
13. Використання вікон у програмах.
14. Система зовнішніх баз даних.
15. Програмування на системному рівні.
16. Графічний інтерфейс.
17. Приклади програм мовою Пролог.
18. Складніші методи.