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

Question

我在 SWI-PL 文档中多次遇到键值对，但无法获得有关它们的详细信息。这是序言中的标准内容还是只是 swi pl 的扩展？主要在这里找到: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

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

如果它是标准的，使用它们是否有任何附加值？他们的兴趣是什么？预先感谢:)

Answer 1

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