Curious to learn whether Prolog is still an integral part for contemporary CS (proposition, predicate) Logic curriculum, natural language parsing, etc. I suppose that the built-in backtracking was the most controversial aspect, so maybe attention has shifted to Erlang, Haskell or esoteric languages like (wild) life?
Anyone currently in education care to comment?