Трушевський, Валерій Миколайович. Технології та мови програмування для штучного інтелекту / В. М. Трушевський. – Львів : Львівський нац. ун-т ім. І. Франка. – (Дискретний аналіз та штучний інтелект) . Книга 110-а 9116
Ч.1 : Основи програмування мовою Prolog. – 2006. – 119 с. : рис., табл. Бібліогр.: с.117 (7 назв.).