Courses taught using CL

We use CL in four courses:

• Introduction to declarative programming (second term) -- evolved from Logic for Computer Science 1 (Introduction to declarative programming).

• Predicate logic and Peano arithmetic (third term)

• Specification and verification of programs (fourth term)

• Computability (third/fourth year)

CL has been also used at the University of Copenhagen in the Fall of 2002 in the course Metamathematics of Computer Programming taught by Paul J. Voda.