自己动手写确定性知识系统（一）——初步搭建谓词逻辑表示框架_stepondust 的课堂_性常识修改系统

这次人工智能实验课，老师要求我们通过代码解决谓词逻辑表示中的一个经典问题——猴子香蕉问题，在上理论课我们自己推导得时候感觉不太难，但是对于如何用代码实现，一下子还是比较懵的。这次人工智能实验课，老师要求我们通过代码解决谓词逻辑表示中的一个经典问题——猴子