That sounds very familiar. ;-) (For the similar reasons I learned Pascal, Modula 2, Ada when I ought to have learned about C++, Java)
If you were a teacher now, having to explain about predicate logic and proof automation, would you choose teaching Prolog? If not, which language would you choose?
I work as a web developer, and rarely use exotic paradigms like Prolog's logic programming or OCaml's functional programming, so I do not know many alternatives, but I like the value of showing all of these to students, so I'm still ok with teaching Prolog to students, because I'm not familiar with alternatives.
If I knew alternatives that were very recent, like 4-5 years old, I'd be careful replacing the current courses, because often in technology, statistically, if something has been there for a long time, it'll be there for a long time, and many new things die young.
If you were a teacher now, having to explain about predicate logic and proof automation, would you choose teaching Prolog? If not, which language would you choose?