list - Prolog - 为什么变量没有被绑定(bind)？

Question

我定义了一个目标 lowerpartition/3 如下:

lowerpartition(X,P,Z) :- var(Z),!,lowerpartition(X,P,[]).
lowerpartition([],_,_).
lowerpartition([X|Xs],P,Z) :- X=<P, lowerpartition(Xs,P,[X|Z]).
lowerpartition([X|Xs],P,Z) :- X>P, lowerpartition(Xs,P,Z).

当我打电话

lowerpartition([1,2,3,4,5],3,X).

我希望 X 绑定(bind)到列表 [3,2,1]，但 Prolog 只返回 false。我做错了什么？

Answer 1

您似乎将基于累加器的方法与基于堆栈的方法混合在一起。你的第一个条款:

lowerpartition(X,P,Z) :- var(Z),!,lowerpartition(X,P,[]).

将保留 Z 未实例化，在检查它是一个变量后不使用它，因此它不会被统一...

试试这个:

lowerpartition([], _, []).
lowerpartition([X|Xs], P, [X|Zs]):-
  X =< P, lowerpartition(Xs, P, Zs).
lowerpartition([X|Xs], P, Zs):-
  X > P, lowerpartition(Xs, P, Zs).