prolog - How do two atomic formulas unify?

Question

I have learned loves(bob,Y) and loves(X,santa) can unify because {Y\santa,X\bob}. However, I'm not sure if the following can be unified:

m(a,X) and n(Y,b)

Answer 1

为了统一，函子必须完全匹配。也就是说 m 和 n 是两个不同的函子，因此整个表达式不能统一。在第一个示例中，两个表达式的函子是相同的。