CISC 7130X Logic Programming
(Prior to Fall 2010, this course was known as CIS 719.2.
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
Elementary formal systems and Post productions, unification algorithms, fixed-point semantics, Prolog interpreters and Prolog-oriented hardware, logic programming systems under development, applications to fifth-generation computing.
Prerequisite: Computer and Information Science 7420X [719.1X] or a course in mathematical logic.
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.
