期限相等
| 相等运算符 | 成功如果 |
|---|---|
| X = Y. | X 可以与 Y 统一 |
| X \ = Y. | X 不能与 Y 统一 |
| X == Y. | X 和 Y 是相同的（即它们统一，没有发生变量绑定） |
| X \ == Y. | X 和 Y 不相同 |
| X =：= Y. | X 和 Y 在算术上是相等的 |
| X = \ = Y. | X 和 Y 在算术上不相等 |
| 相等运算符 | 成功如果 |
|---|---|
| X = Y. | X 可以与 Y 统一 |
| X \ = Y. | X 不能与 Y 统一 |
| X == Y. | X 和 Y 是相同的（即它们统一，没有发生变量绑定） |
| X \ == Y. | X 和 Y 不相同 |
| X =：= Y. | X 和 Y 在算术上是相等的 |
| X = \ = Y. | X 和 Y 在算术上不相等 |