Тип видання: Навчальні посібники
Рік видання: 2009
Автор – Валерій Трушевський
Редактор – Людмила Макітринська. Технічний редактор – Світлана Сеник. Комп’ютерне верстання – Наталія Буряк. Обкладинка – Василь Роган.
Посібник складається з чотирьох частин. У першій частині подано вимоги до мов програмування задач штучного інтелекту. Другу частнну присвячено теорії предикатів першого порядку, на якій основано мову Prolog. У третій частині розглянуто основи мови логічного програмування Visual Prolog. Четверта частина містить приклади розв’язування задач на мові Prolog.
Для студентів і аспірантів факультету прикладної математики та інформатики.
Трушевський В. М. Мови програмування для штучного інтелекту: програмування мовою Prolog: навчальний посібник / В. М. Трушевський. – Львів: Видавничий центр ЛНУ імені Івана Франка, 2009. – 150 с.