统一

统一是一种纯粹的关系。它不会产生副作用，可以在所有方向上使用，其中一个或两个参数完全或仅部分实例化。

在 Prolog 中，统一可能发生

• 明确地，使用像 (=)/2 或 unify_with_occurs_check/2 这样的内置谓词
• 隐含地，当统一用于选择合适的条款时。