【論理】Prolog【初心者】

[763 デフォルトの名無しさん 2014/09/18(木) 21:10:59.37 ID:pPyVXEwN]

filter をカットなしで書く方法を知りたいです
カットなしだと部分リストも答えで出てくる

filter(Pred, [], []).
filter(Pred, [X|Xs], [X|Ys]) :- prove(Pred, [X]), filter(Pred, Xs, Ys).
filter(Pred, [X|Xs], Ys) :- filter(Pred, Xs, Ys).