**Topical Outline:** | There is no set topic for this course. Any advanced topic in logic
and its application to logic programming may be covered,
for example: first order logic, unification, resolution,
SLD-resolution, Horn clause logic, modal logic, temporal
logic, epistemic logic, situation calculus, or nonmonotonic logic. |