Functional and Logic Programming

Catalog description

This course will discuss concepts of functional programming such as recursive definitions, polymorphic type inference, abstract data types, induction, etc. and concepts of logic programming such as model-theoretic semantics, logical deduction, backtracking, negation as failure, etc. The programming exercises will illustrate the utility of list-processing, pattern matching, abstraction of data/control, typing, etc. for problem solving.