我正在尝试写一个谓词filter(List, PredName, Result)过滤一个List目标的所有要素PredName失败并随后返回Result列表。谓词PredName/1应该在调用过程时定义filter/3例如可以是：
test(N) :- N >= 0
然后可以像下面这样进行查询：
?- filter([-6,7,-1,0], test, L)
L = [7, 0];
no
如果您使用 SWI-Prolog，您可以使用exclude谓词来自“应用”库 http://www.swi-prolog.org/pldoc/doc_for?object=section%282,%27A.2%27,swi%28%27/doc/Manual/apply.html%27%29%29
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
