Part of the question parser in the Jeopardy version of IBM Watson uses Prolog[1]. There's a lot more to it than that single part though.

[1] http://www.cs.nmsu.edu/ALP/2011/03/natural-language-processi...