probabilistic logic solver(т.е. задач теории вероятностей, описанных в форме односмысловых логических суждений на основе функторов ортогонального базиса, что позволяет ставить и решать задачи компьютеризации интеллектуальной деятельности Alex_Odeychuk)
numerical constraint solver(IBM; русс. перевод взят из работы Института систем информатики им. А.П. Ершова СО РАН по алгоритмам программирования в ограничениях Alex_Odeychuk)