期限相等
| 相等運算子 | 成功如果 |
|---|---|
| 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 在算術上不相等 |