prolog对在列表中或列表外有什么用途

我在SWI-PL文档中多次遇到键值对，但无法获得关于它们的好信息。这在prolog中是标准的还是仅仅是一个swi pl的扩展？ 主要分布在： 在这里：

例如，对的形式为a-5，或在列表[a-5，b-7]中

---

如果它是标准的，那么使用它有什么附加值吗？他们的兴趣是什么？提前感谢：）

能够使用keysort/2确实是选择对列表（带（-）/2）作为表示的常见原因。它也是一种方便、简短且可读的表示法，（-）/2已经是中缀运算符（是的，“标准”，因为它是由Prolog ISO标准规定的）。（-）/2-对的使用当然不限于键值组合，其他示例包括id变量、变量-“其在术语中出现的次数”等等，只要您表示二进制关联。通常，其他运算符更直观地表示这种关联，例如variable=value（而不是variable-value）表示变量的绑定，或者string+string表示串联。

Ok，这就是我假设的，没有附加值，只有一个连接两个对象的随机运算符。非常感谢您将此清理干净！：）