Математическое введение в декларативное программирование. Зюзысов В.М.