Declarative Programming

Introduced declarative and logic programming, where a program specifies the characteristics of a problem’s solution rather than the steps to reach it, with Prolog’s SLD-resolution finding the answer. Covered search strategies, natural-language parsing with definite clause grammars, reasoning with incomplete information (default reasoning, abduction), and advanced topics such as meta-interpreters and constraint programming.

Taught during the 2010–2011 academic year. No longer taught.