逻辑学教授的3个得意门生ABC，前一晚在酒吧喝多了，结果第二天3人集体迟到。教授说：“作为对你们迟到的惩罚，你们3人必须比其他同学多做一道作业，完成了这道作业才可以离开教室。”这道附加的作业是一道帽子题，教授给每人戴了顶帽子，帽子不是红色就是白色，不是白色就是红色。每人都能看见其他2人帽子的颜色，却不能看见自己帽子的颜色。每人都看到其他2人帽子的颜色后，每思考5分钟为一轮，谁猜出自己帽子的颜色了就可以说出来并离开。教授还说：“你们3人中至少有1人戴了红色帽子。”第一轮下来，A说：“我没猜出来。”B说“我也没猜出来”C说：“我也猜不出。”第二轮下来，还是没人能猜出自己帽子的颜色。第三轮，3人都猜出了自己帽子的颜色。问：ABC三人头顶都是什么颜色的帽子？然后用谓词逻辑写出推理过程。最一般合一及归结反演相关已知w=P(f(x,g(A,y),z), P(f(x,z),z)，求MGU令0=，w0=w，因w中含有两个表达式，因此0不是最一般合一差异集D0=g(A,y)/z1=0D0=g(A,y)/zw1=P(f(x,g(A,y),g
