在Prolog DCG中使用列表

Question

我正在尝试将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).

有可能向我解释错误或遗漏的内容吗？

谢谢！

Answer 1

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).

样式注释：Prologgers确实喜欢避免骆驼：）

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

另外，我更喜欢更紧凑的代码：

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