list - maplist/3 結果からのランダム結果のフィルタリング

Question

List=['F1',a1,a2,' LF2',a1,a2]以下の述語 is_upper/2 と maplist/3 でこのリストを除外したい

is_upper(Elem,Res):Elem大文字のアトムの場合、Res に割り当てられます。すべての大文字のアトムをリストに入れたいと思いますList_Upper

私はこれを試します;

?- maplist(is_upper,List,List_upper).
List_Upper = ['F1',_A,_B,'F2',_C,_D,'F3',_E,_F] ? ;

outs-random をフィルタリングする方法_A,_B...

期待される結果:

 List_Upper = ['F1','F2','F3'] 

よろしく

Answer 1

include/3真の結果と偽の要素を収集exclude/3する

| ?- include(is_lower,['FUNCTOR1','arg1','arg2','FUNCTOR2','arg3','arg4','FUNCTOR3','arg5','arg6'],List_Lower).
List_Lower = [arg1,arg2,arg3,arg4,arg5,arg6] ? ;
no