Приложения с тегом "reasoning"

Найдено приложений: 2
SWI Prolog SWI Prolog SWI-Prolog offers a comprehensive Free Software Prolog environment for programming software that does logical reasoning.…
OpenCyc OpenCyc OpenCyc is a cut-down open version of the Cyc technology, the world's largest and most complete general knowledge base and commonsense reasoning engine.…