一遍又一遍地给出相同的答案，而不是听众崩溃 - Prolog

Question

警告，我是 Prolog 的新手。

我在 Prolog 中编写了一个拆分谓词。它将一个列表拆分为两个新列表。一个包含大于 Key 的项目，一个包含小于或等于 Key 的项目。它应该只返回一组答案。问题是如果我输入 ;要检查更多答案，它会不断给我已经得到的答案，然后最终听众崩溃。我想知道你能不能帮我解决这个问题？

代码：

split([],_,[],[]).
split([H|T],Key,Small,Big):-
    H=<Key,
    removeFirst(Small,H,NewSmall),
    split(T,Key,NewSmall,Big).
split([H|T],Key,Small,Big):-
    H>Key,
    removeFirst(Big,H,NewBig),
    split(T,Key,Small,NewBig).

removeFirst([H|T],H,T).
removeFirst(L,Key,Result):-
    divide(L,Key,F,E),
    X = F,
    Y = E,
    append(X,Y,Z),
    Result = Z.

输出：

?- split([1,2,3,4,5],3,S,B).

S = [1, 2, 3]
B = [4, 5] ;

S = [1, 2, 3]
B = [4, 5] ;

S = [1, 2, 3]
B = [4, 5] ;
侦听器在第 4 次尝试时崩溃。

Answer 1

我建议你用另一种方式解决这个算法：

• 定义递归谓词 (split/4)，检查输入列表中的每个项目，但在递归返回时构建结果列表（即，将当前项目添加为适当列表的头部子句的头部）。

应该是这样的：

split([], _, [], []).  % Base case
split([Item|Tail], Key, [Item|Small], Big):-
  Item =< Key,
  split(Tail, Key, Small, Big).
split([Item|Tail], Key, Small, [Item|Big]):-
  Item > Key,
  split(Tail, Key, Small, Big).