Would be interesting to see how much more involved it is to solve a constraint programming or optimization problem (something you'd actually use prolog for) in the other languages.