在Prolog中过滤列表

Question

我正在开发一个用Prolog编写的应用程序.我到了一个点,我想要过滤元素列表并删除那些不符合某些约束或条件的元素,保持原始列表顺序.我认为最好的方法是这样的:

filter([],Filtered).
filter([L|List],[F|Filtered]) :-
    /* Conditions are met: bypass the element to the filtered list */
    check_conditions(L),
    filter(List,Filtered).
filter([L|List],Filtered) :-
    /* Conditions are not met: do not include the element in the filtered list */
    filter_aborts(List,Filtered).

在接受它作为我的问题的解决方案之前,我想尝试(独立),所以我编译并运行我的代码(SWI-Prolog)并测试了一些情况.当我使用硬编码列表(或任何你想要调用它)输入Prolog查询时,我会得到类似这样的内容:

?- filter([id01,id02,id03,id04,id05,id06],F).
F = [id03, id05, id06|_G1024] .

该列表肯定被过滤了,但我_G1024在它的末尾得到了这个实例名称" ".我明白这是因为F没有实例化,但我不知道解决方案是什么.而且,如果我尝试做一些不同的事情,例如将列表作为实例变量输入,我得到的更奇怪:

?- L=[id02,id03,id04,id05,id06].
L = [id02, id03, id04, id05, id06].

?- filter(L,F).
L = [] ;
L = [id01],
F = [id01|_G347] ;
L = [id01, id01],
F = [id01, id01|_G403] 
... and so on.

是不是Prolog变量应该是一次性赋值变量？我的程序实际上是在改变,L还是我没有正确理解它？这是其中的一部分,因为我是Prolog的新手,我将不胜感激任何关于我的Prolog -let说... - "风格"的评论.

Answer 1

您使用SWI-Prolog,因此您可以根据您的条件编写成功或失败的谓词,然后使用include(Predidate,Lst,Success).对于axample

include(check_conditions,Lst, Success)