Functional and Logic Programming CSE 3401 Fall 2010 Instructor:   Gunnar Gotshalks