Prolog split_list函数返回false问题：为何未按预期拆分列表？

需求与问题重现 #

需求：将列表中出现次数为1或2的元素存入ListAtL1，出现次数为2的元素存入ListAtL2。

原Prolog代码：

find_in_list(Element,List,Count):-
    findall(X,(member(X,List),X=Element),Output),
    length(Output,Count).

split_list([],_,_).
split_list([H|T],ListAtL1,ListAtL2):-
    split_list(T,NewListAtL1,ListAtL2),
    not(member(H,ListAtL1)),
    append(H,ListAtL1,NewListAtL1),
    find_in_list(H,[H|T],Count),
    Count is 1.
split_list([H|T],ListAtL1,ListAtL2):-
    split_list(T,NewListAtL1,NewListAtL2),
    not(member(H,ListAtL1)),
    not(member(H,ListAtL2)),
    append(H,ListAtL1,NewListAtL1),
    append(H,ListAtL2,NewListAtL2),
    find_in_list(H,[H|T],Count),
    Count is 2.

执行查询：

?- split_list([a,a,1,2,3,1,3],ListAtL1,ListAtL2).
false.

预期结果：

?- split_list([a,a,1,2,3,1,3],ListAtL1,ListAtL2).
ListAtL1=[a,1,2,3],
ListAtL2=[a,1,3].

错误原因解析 #

1. append参数类型错误 #

Prolog的append/3要求前两个参数必须是列表，但代码中直接用单个元素H作为第一个参数（比如append(H, ListAtL1, NewListAtL1)），这会触发类型不匹配的错误，直接导致目标失败。正确写法应该把H包装成列表：append([H], ListAtL1, NewListAtL1)。

2. 元素次数统计范围错误 #

代码中find_in_list(H, [H|T], Count)统计的是当前剩余子列表中H的次数，而非整个原始列表的次数。比如处理第二个a时，剩余子列表是[a,1,2,3,1,3]，统计结果为1，会错误匹配第一个分支；但实际上a在整个列表中出现2次，应该进入第二个分支。这种局部统计逻辑完全不符合需求，导致同一个元素被多次错误处理。

3. 递归逻辑的去重与累积问题 #

原递归先处理尾部T再处理头部H，同时用not(member(H, ListAtL1))避免重复添加，但因为统计范围错误，同一个元素会被匹配到不同分支，加上append的错误，最终无法正确累积出目标列表，直接返回false。

修正思路 #

正确做法是先统计整个列表中每个元素的出现次数，再根据次数筛选元素：

1. 编写谓词统计单个元素在列表中的出现次数；
2. 生成所有唯一元素的次数统计列表，避免重复处理；
3. 遍历统计列表，按规则将元素加入对应目标列表。

示例修正代码：

% 统计单个元素在列表中的次数
count_element(E, L, C) :-
    findall(E, member(E, L), Es),
    length(Es, C).

% 生成所有唯一元素的次数统计列表
count_unique_elements([], []).
count_unique_elements([H|T], [(H,C)|Rest]) :-
    count_element(H, [H|T], C),
    delete(T, H, TWithoutH),
    count_unique_elements(TWithoutH, Rest).

% 根据统计结果拆分列表
split_by_count([], [], []).
split_by_count([(E,1)|T], [E|L1], L2) :-
    split_by_count(T, L1, L2).
split_by_count([(E,2)|T], [E|L1], [E|L2]) :-
    split_by_count(T, L1, L2).

% 对外接口
split_list(L, L1, L2) :-
    count_unique_elements(L, Counts),
    split_by_count(Counts, L1, L2).

执行查询：

?- split_list([a,a,1,2,3,1,3],ListAtL1,ListAtL2).
ListAtL1 = [a, 1, 2, 3],
ListAtL2 = [a, 1, 3].

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