IBM's Watson system is partially written in Prolog: http://asmarterplanet.com/blog/2011/02/the-watson-research-team-answers-your-questions.html http://asmarter

IBM's Watson system is partially written in Prolog: http://asmarterplanet.com/blog/2011/02/the-watson-research-team-answers-your-questions.html http://asmarterplanet.com/blog/2011/02/the-watson-research-t... (see the answers to questions #3 and #6)