在Prolog中如何合理表示集合？ordsets库逻辑使用遇困求助

问题原因分析 #

你遇到的ordsets库异常，核心是对库的前提条件理解不足：ordsets的所有操作要求输入集合是已完全实例化的有序无重复列表。

你的查询中，ord_union([1], [Y], Set)执行时Y是未绑定变量，虽然is_ordset([Y])返回true（单元素列表天然满足有序条件），但此时ord_union无法判断Y与1的大小关系，只能按当前项的顺序生成结果。后续绑定Y=2属于回溯修改变量绑定，导致最终Set变成无序的[2,1]，自然无法通过is_ordset/1验证。

正确使用ordsets的方式 #

调整查询顺序，确保所有输入集合在调用操作前完成实例化：

?- is_ordset([X]), is_ordset([1]), Y=2, ord_union([1], [Y], Set).
Y = 2,
Set = [1, 2],
X = X.

此时Set是有序集合，is_ordset(Set)会返回true。

替代方案 #

1. SWI-Prolog内置sets库 #

基于普通列表实现集合操作，不要求输入有序，适合对性能要求不高、需要灵活处理输入的场景：

?- union([1], [2], Set).
Set = [1, 2].

注意：sets库的操作仅保证去重，不强制有序；若需要有序结果，可结合sort/2使用。

2. 通用集合操作实现 #

如果需要支持变量延迟绑定（先调用操作再绑定变量），可基于sort/2实现通用集合操作，自动处理排序和去重：

set_union(A, B, Union) :-
    append(A, B, AB),
    sort(AB, Union).

set_intersection(A, B, Intersection) :-
    sort(A, SortedA),
    sort(B, SortedB),
    ord_intersection(SortedA, SortedB, Intersection).

测试示例：

?- set_union([1], [Y], Set), Y=2.
Y = 2,
Set = [1, 2].

3. 关于B Prolog集合库 #

B Prolog的集合库提供了更原生的集合数据类型，但如果你当前使用SWI-Prolog，无需切换环境。SWI-Prolog的ordsets和sets库配合自定义实现，足以覆盖绝大多数集合处理需求。

逻辑化处理集合的原则 #

• 若使用ordsets：严格保证输入是已实例化的有序无重复列表，避免未绑定变量参与操作。
• 若需支持变量延迟绑定：使用基于sort/2的通用实现，或结合CLP(FD)库处理整数集合的约束操作。
• 标准集合表示：Prolog中sort/2生成的有序无重复列表是最可靠的集合表示形式，可作为所有集合操作的基础。

内容的提问来源于stack exchange，提问作者SuperDisk