Prolog 输入未绑定变量时生成枚举无穷有序列表的实现方法

• 原代码中使用的X =< Y是即时算术比较，要求两个参数必须是已经绑定的可比较数值，只要遇到未绑定的自由变量，就会直接触发实例化错误，根本走不到生成列表的分支。
• 原实现仅适配“传入固定列表做有序性判断”的单场景，没有设计双向兼容的逻辑，自然没法反向枚举满足要求的列表。

调整核心是替换即时比较为可兼容自由变量的持久非降约束，完全保留原有递归结构，就能同时支持两种交互模式：

• 以SWI-Prolog环境为例，首先引入library(clpfd)模块，把原来的即时比较X =< Y替换为持久约束X #=< Y。这类约束不会因为变量暂时未赋值就报错，会把相邻元素的非降关系记录下来，等后续变量绑定具体值时再做校验，和原有具体列表判断的逻辑完全兼容。
• 不需要修改递归的分支结构，原有的递归路径天然可以按长度从小到大回溯出结果：
  1. 第一次匹配空列表事实，输出长度为0的空列表解
  2. 回溯匹配单元素列表事实，输出长度为1的单元素列表解
  3. 后续走递归分支，构造[X,Y|Ys]结构，挂载相邻非降约束后递归处理剩余的列表尾部。每次递归到最深处匹配单元素事实时，就会输出比上一次长度多1的列表，完全实现逐次变长枚举的效果。

:- use_module(library(clpfd)).

ordered([]).
ordered([_]).
ordered([X,Y|Ys]) :-
    X #=< Y,
    ordered([Y|Ys]).

• 传入具体列表时的判断逻辑和原实现完全一致：

  ?- ordered([1,2,3]).
  true
  ?- ordered([1,5,2]).
  false
  

• 传入自由变量时，会按照长度从0开始逐次枚举有序列表，和预期交互一致：

  ?- ordered(L).
  L = [] ;
  L = [_A] ;
  L = [_A, _B], _A#=<_B ;
  L = [_A, _B, _C], _A#=<_B, _B#=<_C ;
  L = [_A, _B, _C, _D], _A#=<_B, _B#=<_C, _C#=<_D.
  

说明：顶层输出的约束标记是Prolog对持久约束的标准展示形式，核心交互逻辑和要求完全匹配——每次按分号都会生成更长的有序列表，直到用户主动终止查询。如果需要调整输出格式隐藏约束标记，只需要修改顶层打印规则即可，不影响核心功能。

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