prolog对在列表内或列表外的用途是什么

Question

我在SWI-PL文档中遇到了几次键-值对，但无法获得有关它们的详细信息。这是prolog中的标准，还是只是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-变量、变量-“它在术语中出现的次数”等等，无论您表示的是二元关联。通常，其他运算符更直观地表示这样的关联，例如variable=value (而不是变量-值)表示变量的绑定，或者string+string表示连接。