Функциональное и рекурсивно-логическое программирование: Учебно-методический комплекс