Course Detail | Brooklyn College
Skip to Main Content

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

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.

Return to full course list


Autumn foliage at the Lily Pond.

Undergraduate Open House

Discover 83 bachelor's degree programs offering you the opportunity to explore different fields of study on October 22.

Students at an outdoor class on the East Quad.

Graduate Open House

Explore our 87 master's degree and advanced certificate programs on November 8.

Two female students examining an old book with protective gloves in the library.

Research

Our faculty not only share their discoveries and knowledge with you, they invite you to be active members of their research teams.

View of the upper portion of the privately owned residence hall near the Brooklyn College campus.

Residence Hall

A privately owned residence hall is located just blocks from the college.