Prolog如何编写notSortedDescending谓词判断列表未按降序排列

需求说明 #

定义谓词notSortedDescending(Numberlist)，当且仅当输入的数字列表Numberlist未按降序排列时，谓词返回真。空列表、仅含单个元素的列表默认属于降序排列，此时谓词返回假。

原有代码问题 #

你提供的初始代码存在以下错误：

• Prolog中变量需以大写字母开头，小写的x、y、z会被识别为常量，无法匹配输入的数字
• 数字大于等于的运算符为>=，你写的=>不属于数值比较运算符
• 缺少核心判定逻辑：只要存在任意一组相邻元素满足前数小于后数，就可直接判定列表未按降序排列
• 未覆盖边界场景：空列表、单元素列表的返回逻辑没有定义，仅有的子句也缺少逆序匹配分支

正确实现代码 #

% 匹配到任意一对相邻元素前数小于后数，直接判定未按降序排列
notSortedDescending([X, Y | _]) :- X < Y.
% 前一对元素满足降序要求，递归检查剩余子列表
notSortedDescending([X, Y | Rest]) :- X >= Y, notSortedDescending([Y | Rest]).

逻辑说明 #

• 空列表、单元素列表无法匹配上述两个子句，默认返回假，符合降序列表的判定要求
• 只要列表中存在任意一组相邻逆序（前数小于后数），就会触发第一个子句返回真
• 若前面的相邻元素都满足降序要求，会递归遍历到列表末尾，若全程没有逆序则返回假

测试用例参考 #

• ?- notSortedDescending([5,4,3,2,1]). 返回 false（列表为严格降序）
• ?- notSortedDescending([5,3,4,2,1]). 返回 true（存在3<4的逆序）
• ?- notSortedDescending([1]). 返回 false（单元素属于降序）
• ?- notSortedDescending([]). 返回 false（空列表属于降序）
• ?- notSortedDescending([2,3]). 返回 true（存在2<3的逆序）
• ?- notSortedDescending([5,5,3,3]). 返回 false（非严格降序符合要求）

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