Functional and Logic Programming CSE 3401 Winter 2009 Instructor:   Gunnar Gotshalks