List of谓词、其实现、及和set of谓词的比较

• 作 者: 叶钢 谢志良
• 机 构: 上海交通大学
• 出 处: 中国计算机学会PROLOG语言学术讨论会
• 发表日期: 1985年期
• 关键词: 元素 存贮 运行时 谓词 集合 功能 单位 处理

该文提出了listof谓词：listof（X，P，S，R）——满足P的X的集合是S，R对S的处理以元素为单位进行。同setof（X，P，S）相比，listof运行时无需存贮整个s，只需存贮S中的一个元素。该文给出了listof的实现，并将listof和setof在各个方面做了比较，得出listof比setof灵活，功能强的结论。（本刊录）