Functional and Constraint Logic Programming - Silva (Springer International Publishing, 2019)