列表内部或外部的序言对有什么用

我在 SWI-PL 文档中多次遇到键值对，但无法获得有关它们的详细信息。这是序言中的标准内容还是只是 swi pl 的扩展？ 主要在这里找到：http://www.swi-prolog.org/pldoc/doc_for?object=keysort/2 http://www.swi-prolog.org/pldoc/doc_for?object=keysort/2和这里 ：http://www.swi-prolog.org/pldoc/doc_for?object=section%282,%27A.3%27,swi%28%27/doc/Manual/assoc.html%27%29%29 http://www.swi-prolog.org/pldoc/doc_for?object=section%282,%27A.3%27,swi%28%27/doc/Manual/assoc.html%27%29%29

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

如果它是标准的，使用它们是否有任何附加值？他们的兴趣是什么？提前致谢 ：）

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