在不实例化变量本身的情况下，通过 SWI-Prolog 中变量的首次出现来分隔列表

Question

我有以下源代码：

split_list(List, L, [R1|RN], Condition) :-
   find_first(List, R1, Condition),
   append(L, [R1|RN], List), 
   forall(member(X, L),
   not(call(Condition, X))).

find_first([H|_], H, Condition) :- call(Condition, H), !.
find_first([_|T], X, Condition) :- find_first(T, X, Condition).

这个 Prolog 程序将一个列表List分成两个列表L和[R1|RN] 。 R1是满足谓词Condition的List的第一个元素。 L包含List中R1之前的所有元素。 L不包含任何满足Condition的元素。 RN包含List中R1之后的所有元素。

我现在的目标是写一些谓词，它将一些列表[a,b,c,D,d,f,e,f,d]分成两个列表[a, b, c]和[D, d, f, e, f, d]没有实例化变量 D。

我刚试过电话：

split_list([a,b,c,_,d,f,e,f,d], L, R, var).

但这会通过 a 或 b 或 c 等实例化 _ 来产生很多解决方案。 我该如何解决？

Answer 1

从它的外观来看，这是一个更有用的find_first （参数顺序更改为更合理）：

% P means previous, R means remainder
find_first_succ(Cond, L, P, [H|T]) :-
    find_first_succ_(L, Cond, P, [H|T]).

find_first_succ_([H|T], Cond, [], [H|T]) :-
    call(Cond, H), !.
find_first_succ_([H|T], Cond, [H|P], R) :-
    find_first_succ_(T, Cond, P, R).

swi-prolog 中的结果：

?- find_first_succ(var, [a,b,c,_,d,f,e,f,d], P, R).
P = [a, b, c],
R = [_, d, f, e, f, d].

所以，你不需要那个有问题append 。

Answer 2

我找到了一些解决方案：

split_list(List, L, [R1|RN], Condition) :- member(R1, List), append(L, [R1|RN], List), call(Condition, R1).