小型推理引擎tie实现

本项目是一个小型的推理引擎，使用自定义语言tie，该引擎的使用方法和tie语言语法定义可参考小型推理引擎语言tie使用方法 & 语法定义。该项目为离散数学学习过程中的实践项目，离散数学笔记可参考Rosen 《离散数学及其应用》 阅读笔记