Есть ли такая система/язык чтобы выводить из одних знаний другие -- примерно как в Прологе но альтернативы или развитие идей?
Крайне желательно наличие интерфейсов к реляционным базам данных для наполнения фактами (ведь по сути реляционная база данных с её индексами и ограничениями + операторы выборки это уже примитивный вывод знаний).
