계획에서 DCG와 구문 분석 (프롤로그없이)?

문제

많은 Prolog-in-Scheme 구현이 있습니다. 예 : Kanren, Schelog.

명백히 "AI 프로그래밍의 패러다임"에서 Norvig는 명확한 조항 문법을 사용하기 위해 LISP의 Prolog-to-LISP 컴파일러를 구현합니다.

그러나 더 간단한 청정 방법이 있습니까? 전체 "프롤로그"를 구현하지 않기 위해 AMB를 영리하게 사용할까요? 계획에 DCG 기반 구문 분석을하는 가장 쉬운 방법은 무엇입니까?

해결책

DCG는 통일 및 역 추적을 모두 사용하므로 Prolog의 핵심 구현을 피할 수는 없습니다. 즉, 빈 목록을 구문 분석하는 DCG로 순수한 프롤로그 프로그램을 나타낼 수 있습니다.

변수가없는 DCG의 특별한 경우에만 관심이있는 경우 (구문 분석이 아닌 인식에만 적합 함).

라이센스 : CC-BY-SA ~와 함께 속성

제휴하지 않습니다 StackOverflow