对

按照惯例，算符 (-)/2 经常用来表示对在 Prolog 的元件。例如，术语 -(A, B) 表示元素对 A 和 B。在 Prolog 中，(-)/2 被定义为中缀运算符。因此，该术语可以与 A-B 等效地编写。

许多常用谓词也使用此语法来表示对。这方面的例子是 keysort/2 和 pairs_keys_values/3。