list - 检查列表是否有序

Question

我正在尝试比较 integer 的 list 的元素，看看它们是否有序。我正在使用 Amzi!

我尝试了几次，但没有任何效果......:(

ordered([X]).
ordered([N|[N1|L]]) :- N <= N1, ordered([N1|L]).

ordered_([X]).
ordered_([Head,Head1|Tail]) :- Head <= Head1, ordered_([Head1|Tail]).

如果输入此列表，两者都返回 no:

ordered([1,2,3,4]).
ordered_([1,2,3,4]).

我明白我需要比较head和head of the tail。

Answer 1

看起来不应该比

更复杂

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

此处介绍算术比较谓词:http://www.amzi.com/manuals/amzi/pro/ref_math.htm#MathematicalComparisons

使用 @=</2或 compare/3以术语的标准顺序检查事物的顺序:http://www.amzi.com/manuals/amzi/pro/ref_manipulating_terms.htm#StandardOrder