Ресурс:
Основы логического и функционального программирования