推理引擎是一个软件项目，使用真实表检查（TT），正向链接（FC）和向后链接（BC）算法实施推理引擎进行命题逻辑。它提供了逻辑上的命令行界面，以支持一般和角形式知识库。