CISC *7132X Declarative Programming
(Prior to Fall 2010, this course was known as CIS 719.3.
The information below might still reflect the old course numbers. Bracketed numbers, if any, are the old course numbers. Learn more...)
37½ hours plus conference and independent work; 3 credits
Functional, logic, and constraint programming paradigms and languages. Logic programming concepts: logic variables, unification, recursion, and backtracking. Constraint solving and constraint programming. Functional programming concepts: lambda calculus, pattern-matching, high-order functions, strong typing, polymorphism, and lazy evaluation. Declarative programming languages: Prolog, Haskell, and CLP (Constraint Logic Programming).
Prerequisite: A course in discrete structures and a course in data structures; Computer and Information Science 7110X [707X] or 7310X [704X] or 7510X [717.1X].
DISCLAIMER