prolog - 在Prolog DCG中使用 list

我正在尝试将Prolog谓词转换为DCG代码。即使我熟悉语法语言，也很难理解DCG如何与列表一起使用以及如何使用它。

实际上，这是我的谓词:

cleanList([], []).
cleanList([H|L], [H|LL]) :-
    number(H),
    cleanList(L, LL),
    !.
cleanList([_|L], LL) :-
    cleanList(L, LL).

这是一个删除非数字元素的简单谓词。
我想在DCG中写入相同的行为。

我尝试了类似的东西(显然不起作用):

cleanList([]) --> [].
cleanList([H]) --> {number(H)}.
cleanList([H|T]) --> [H|T], {number(H)}, cleanList(T).

是否可以向我解释什么地方错了或缺少什么？

谢谢 !

最佳答案

DCG表示法的目的恰好是隐藏或更好地使标记列表隐式化。因此，您的代码应如下所示

cleanList([]) --> [].
cleanList([H|T]) --> [H], {number(H)}, cleanList(T).
cleanList(L) --> [H], {\+number(H)}, cleanList(L).

可以提高效率:

cleanList([]) --> [].
cleanList([H|T]) --> [H], {number(H)}, !, cleanList(T).
cleanList(L) --> [_], cleanList(L).

风格说明:Prologger确实喜欢避免骑 Camel :)

clean_list([]) --> [].
etc...

另外，我希望使用更紧凑的代码:

clean_list([]) --> [].
clean_list(R) --> [H], {number(H) -> R = [H|T] ; R = T}, clean_list(T).