Основы программирования на языке Пролог: Курс лекций. Учебное пособие - Шрайнер, П. А. Павел (Основы информационных технологий, 2005)