I am looking for experience-with, comments, suggestions and examples of university courses on logic or declarative programming.
In terms of logic programming one approach would be LP for AI with something like I. Bratko’s book ?
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.