統一

統一是一種純粹的關係。它不會產生副作用，可以在所有方向上使用，其中一個或兩個引數完全或僅部分例項化。

在 Prolog 中，統一可能發生

• 明確地，使用像 (=)/2 或 unify_with_occurs_check/2 這樣的內建謂詞
• 隱含地，當統一用於選擇合適的條款時。