プロローグ内のリストから多数のフィルタを外す

Question

特定の数以下のものをすべて削除して数値のリストをフィルタリングする関数を書いてみたいと思います。この関数は、2つのパラメータ、つまり数値のリストとフィルタリングする数値を取ります。この関数は、フィルタ番号より大きいすべての数値を持つリストを返します。いつかこのような

：

filter_num_list(L1,N,L2) :- ... 

test_filter_num_list :- filter_num_list([1,2,3,4,5,6,7,8,9],5,[5,6,7,8,9]). 

Answer 1

は次のようなものを試してください：

filter_num_list([],N,[]) :- true. 
filter_num_list([H|T],N,[H|S]) :- H > N,filter_num_list(T,N,S). 
filter_num_list([H|T],N,S) :- N >= H, filter_num_list(T,N,S). 

Answer 2

のようなライブラリ述語は/ 3、および/ 3を除外も参照してください：

?- include(=<(5), [1,2,3,4,5,6,7,8,9], Is). 
Is = [5, 6, 7, 8, 9]. 

Answer 3

meta-predicatetfilter/3とし、化身のclpfdの制約(#<)/3、あなたはlogical-purityを維持し、あなたがすぐに欲しいものを表現することができます！コードはモノトーンであるように、我々はまた、より一般的なクエリを尋ねると、論理的に音回答を得ることができ

?- tfilter(#<(5),[1,2,3,4,5,6,7,8,9],Xs). 
Xs = [6,7,8,9].        % succeeds deterministically 
false. 

：

:- use_module(library(clpfd)). 

ここで私はSWI-Prologバージョン7.1.37で走ったクエリがあります。