소개

N-Prolog는 오래된 RUN/PROLOG 호환을 목표로 하는 Prolog 인터프리터, 컴파일러입니다. DCG를 내장하고 있습니다. 그것의 사용 방법에 관한 것입니다.

구현

ISO-Prolog에서 공표된 DCG 코드를 내장하고 있습니다. 시작시 컴파일러와 함께 DCG가 로드됩니다.

DCG 예

s --> np,vp.
np --> det,n.
det -->[a].
n -->[dog].
n -->[postman].
vp --> v,np.
v -->[bites].

나카지마 선생님의 Prolog의 책에 있던 예입니다.

동작

RUN/PROLOG와의 호환

사용자 매뉴얼에서 볼 수 있듯이 다음 술어가 내장되어 있습니다.

□ expand_term(Term,Newterm)
DCG : 한정 절문법의 항을 동등한 Prolog 항으로 변환한다.

Github