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