DCG의 "임의 용어"chracter (_)가 예상대로 작동하지 않습니다.

Question

문장 목록을 반복하여보고 문법적으로 올바른지 확인하려고합니다. 문장은 단어 목록입니다. 그 모습은 다음과 같습니다 :

verifySen([]). 
verifySen([H|T]) :- 
    sentence(H,[]), 
    verifySen(T). 

여기서 verifySen에는 목록이 제공됩니다. sentence(H,[])은 무언가가 유효한 문장인지 확인하려고 시도합니다. 문제가있는 곳입니다. 나의 현재 DCG는 다음과 같습니다

sentence --> subject_phrase, verb_phrase, {write('this IS a valid sentence'), nl}. 
    sentence --> anything, {write('this is NOT a valid sentence'),nl}. 
    anything --> [_], anything. 
    ... 

코드 뭔가 가 유효한 문장 경우에 대한을 작동하지만 실패하고 뭔가 잘못된 문장 때 오류가 발생합니다. 나는 stream '<stream>(000..random numbers...)' does not exist.

누구든지 조언을 제공 할 수 있습니까?

Answer 1

저는 여러분이 // 0의 기본 경우를 놓치고 있다고 생각합니다. 문장이 유효하지 않을 때 'end-of-stream'까지 실행 한 다음 실패합니다.

anything --> [_], anything. 
anything --> [].