quot;Логическое программирование" и "Функциональное и логическое программирование".Подробная информация