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] ? ;

我如何过滤随机数_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