프롤로그에서 목록 사용 DCG

Question

프롤로그 조건자를 DCG 코드로 변환하려고합니다. 문법 langage에 익숙하다 할지라도 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) --> [_], cleanList(L). 

스타일 참고 : 그래서, 코드를보다 효율적으로 할 수

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

과 같아야합니다 Prologgers 할 것은, 낙타 :) 또한

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

을 피하기 위해 선호 I 더 컴팩트 한 코드를 선호합니다 :

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