soar 推理系统，该软件可以进行通用推理，在编写好规则后，运行代码加载规则进行推理。其内部推理的原理的基于rete网络进行推理的，当然也可以定义一些自定义函数，在函数中引入逆向实现的业务逻辑。