Математическое введение в декларативное программирование. Учебное пособие