CS 555 - Logic Programming

Units: 3

Declarative programming techniques: formal specification of the problem itself rather than of a solution algorithm. Survey of logic programming languages such as Prolog, applications, theoretical foundations propositional logic, predicate calculus, resolution, theorem proving, non-determinism, meta-programming. Enrollment Requirement(s): for graduate students CS 351 and MATH 270 or 370.

Prerequisite(s): for undergraduates CS 351 and MATH 270 or 370.