Без заголовка

В современной терминологии это различение soft computing и hard computing -- точные матмодели и "выученные" статистические. Но Watson модуль парсера на Прологе имеет. Это хорошо откомментировано. И более 100 обработчиков гипотез, на самых разных языках и на самых разных парадигмах.