Title: Functional and Logic Programming