Functional and Logic Programming - Oleg Kiselyov, Andy King; King, Andy (Springer International Publishing, 2016)