Definitely. If for nothing else then to filter out the "walking code generators". For which also very nicely works teaching Prolog. You can't just sit down and start typing, you have to stop and think. Which is something ALL programmers should learn to do.

Jenda

P.S.: I do not remember when did I do anything math related for the last time, though to some people most of the stuff I do would look like math (or magic ;-).