Book

Functional and Logic Programming

by Keisuke Nakano, Konstantinos Sagonas