一阶谓词逻辑和知识绑定

这是我的文章的第三章的第二节，因为有公式没法发，直接放这里了。

AI推理问题求解——题目在我的书里

我书里的推理问题的谓词推理解，关于4个绅士喜欢不同的宠物、颜色和饮料的题目的求解。