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