Functional and Logic Programming - Keisuke Nakano, Konstantinos Sagonas (Springer, 2020)