spock:Python 的逻辑编程

＃＃这是什么？ Spock是一个用于逻辑的 Python 库。 这并不是一个完整的实现，在这一点上它肯定不是写得非常快。 这主要是一个实验，可能对某人有用作为参考。 一阶逻辑的后端代码大多是从 Russel & Norvig 的“人工智能：一种现代方法”中窃取的，甚至那里的方法也只是为了说明而不是为了工业实力。 这段代码很好地说明了逻辑，但在 python 中说明的逻辑很差。 Spock包括一些改进，使其更加 Pythonic。 我还修复了我发现的错误，并实现了边距最初太窄而无法包含的内容（例如 WalkSAT）。 约束求解代码也是经过重新排列和更新的 AI:MA 代码。 我添加了用于快速绘制和解决约束问题的实用程序类，因此更易于使用。 ##Spock 特点:: 一阶逻辑 [通过 AI:MA] 代理逻辑（义务、决定）[遵循 Shoham '94] 时间逻辑（非常粗糙，非常在*