"Введение в логическое программирование на микро-Прологе" - читать интересную книгу автора (Кларк К., Маккейб Ф.)