最通用的高阶约束，描述相对于关系排序的整数序列

在 CLP(FD) 中，我们经常需要声明：“这是整数和有限域变量的列表（有时：strictly) 升序/降序。”

是否有任何 CLP(FD) 系统为此任务提供通用（可参数化）内置约束？

SWI-Prolog 提供了一个称为chain/2，这与我正在寻找的类似。然而，这个名称有点过于具体，无法涵盖约束可以描述的所有关系（例如：#<不是部分命令，但可以接受chain/2，导致序列（视为一组整数）不再算作数学顺序理论中定义的链）。因此，该名称并没有完全描述约束实际实现的内容。

请给出最一般的相对于通常的二元 CLP(FD) 约束的定义 — 或至少包含的合适子集#<, #>, #=< and #>= — 包括根据约束定义的代数结构的专有名称。施加的条件是约束描述actual在文献中具有适当名称的数学结构。

首先，考虑使用 SICStus Prolog 或 SWI：

:- use_module(library(clpfd)).

connex(Relation_2, List) :-
    connex_relation(Relation_2),
    connex_(List, Relation_2).

connex_relation(#=).
connex_relation(#<).
connex_relation(#=<).
connex_relation(#>).
connex_relation(#>=).

connex_([], _).
connex_([L|Ls], Relation_2) :-
    foldl(adjacent(Relation_2), Ls, L, _).

adjacent(Relation_2, X, Prev, X) :- call(Relation_2, Prev, X).

案例示例：

?- connex(#<, [A,B,C]).
A#=<B+-1,
B#=<C+-1.

?- connex(#=, [A,B,C]).
A = B, B = C,
C in inf..sup.

?- maplist(connex(#<), [[A,B],[C,D]]).
A#=<B+-1,
C#=<D+-1.

请注意，甚至可以允许#\=，因为该关系将still描述数学顺序理论中已知的连接。因此，上面的代码对于通常的二进制 CLP(FD) 约束来说并不是最通用的。

胡格尔并不是很有用，但是哈哟是！

foldcmpl

所以这是列表的特殊折叠形式，但它不适用length list次但少一次。

isSortedBy

其名称并不完全通用，但其签名却如此。也许坚持使用最通用的名称并没有多大帮助。否则我们到处都是实体？

定义如下：

isSortedBy 函数返回 True 当且仅当谓词对于列表中所有相邻元素对返回 true。

Maybe: all_adjacent_pairs(R_2, Xs)。在有一个循环结构之后听起来有点adjacent_pair作为一些修饰符。