Prolog was once one of my favorite languages, back in the days of hand-coded rules for AI (and more to my interest, NLP). But AI has gone through several major changes since then. What is Prolog being used for today?