машина обработки правил(выполняет логический вывод из предварительно построенной базы фактов путем активизации и запуска на выполнение соответствующих правил логического вывода Alex_Odeychuk)
машина обработки правил(выполняет логический вывод из предварительно построенной базы фактов путем активизации и запуска на выполнение правил логического вывода с соответствующими приоритетами, удовлетворенными предусловиями Alex_Odeychuk)