CSE 3401: Functional and Logic Programming (Summer 2011)