如何编写Predicate查找列表中X并按规则生成目标列表L2

现有代码错误点梳理 #

• 列表构造语法错误：第一个子句中的[H,S2]是双元素列表写法，递归构造多元素列表应该使用[H|S2]的头-尾分隔语法，前者完全不符合列表拼接逻辑。
• 冗余且错误的约束：T1\=S2属于完全不必要的判断，且\=是不可合一运算符，写在递归前会直接阻断所有合法的递归匹配逻辑。
• 谓词名不统一：代码中同时出现insertion和setinsertion两个不同谓词名，且完全缺失空列表、首元素匹配X的两类边界子句，逻辑覆盖不全。
• 运算符使用错误：Prolog中判断值不相等的运算符是\=，你写的/=是语法错误，会被识别为复合函子而非不等判断。

正确实现逻辑 #

完全对应你提到的三类边界情况设计子句即可：

1. 空列表场景：X必然不存在，返回的L2就是仅包含X的单元素列表
2. 首元素等于X场景：无需修改列表，直接返回L2与原L1相等
3. 首元素不等于X场景：递归处理列表尾部，将当前首元素拼接在递归返回的结果头部

完整实现代码 #

% 边界情况A：输入列表为空，插入X得到[X]
insertion(X, [], [X]).

% 边界情况B：输入列表首元素就是X，输出列表与原列表完全一致
insertion(X, [X|Tail], [X|Tail]).

% 边界情况C：首元素不等于X，递归处理尾部后拼接首元素
insertion(X, [Head|Tail], [Head|ResultTail]) :-
    Head \= X,
    insertion(X, Tail, ResultTail).

效果验证 #

测试用例运行结果：

• 查询insertion(3, [1,2], L) → 输出L = [1,2,3]
• 查询insertion(2, [1,2,3], L) → 输出L = [1,2,3]
• 查询insertion(a, [], L) → 输出L = [a]
• 查询insertion(b, [a,c,d], L) → 输出L = [a,c,d,b]

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