對

按照慣例，算符 (-)/2 經常用來表示對在 Prolog 的元件。例如，術語 -(A, B) 表示元素對 A 和 B。在 Prolog 中，(-)/2 被定義為中綴運算子。因此，該術語可以與 A-B 等效地編寫。

許多常用謂詞也使用此語法來表示對。這方面的例子是 keysort/2 和 pairs_keys_values/3。