CISC 7132X Declarative Programming
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].
The City University reserves the right, because of changing conditions,
to make modifications of any nature in academic programs and requirements
of the university and its constituent colleges without advanced notice.
Students are advised to consult regularly with college and department counselors
concerning their programs of study.
Access the college's current and recent course bulletins in HTML or PDF format.
Return to the courses list