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