Title: Functional and Constraint Logic Programming