Man, I was so excited by that Jeopardy win. I fired up my Eclipse Prolog and went through a few example from "A Gentle Guide to Constraint Logic Programming via ECLiPSe", http://www.anclp.pl/, and Bratko. It would have been such a win for Prolog if IBM Watson did well. See https://www.cs.nmsu.edu/ALP/2011/03/natural-language-process... for more context

(Of course, that's just a sub-system I'm focusing on; there's a lot more to Watson than parsing).