Ресурс:
Математическое введение в декларативное программирование