Logic/declarative programming university courses

Dear all,

I am looking for experience-with, comments, suggestions and examples of university courses on logic or declarative programming.

  1. In terms of logic programming one approach would be LP for AI with something like I. Bratko’s book ?

  2. For more engineering departments, the natural option (to me) would be to have
    a declarative programming course consisting of equal parts of functional and logic programming. I would motivate this as powerful platform(s) for start-ups.

If you have any examples, such as current university courses containing LP, comments, suggestions on how to market such a course to both academic departments and the students, please let me know.

Thank you,

Nicos Angelopoulos

http://stoics.org.uk/~nicos/