"Математическое введение в декларативное программирование. Учебное пособие" - читать интересную книгу автора (Зюзьков В. М. )