데이터 로그 코드가 DrRacket

Question

내가 DrRacket이 프롤로그 코드를 실행하려고 작동하지 : 그러나 http://www.anselm.edu/homepage/mmalita/culpro/graf1.html

#lang datalog 

arc(a,b). 
arc(b,c). 
arc(a,c). 
arc(a,d). 
arc(b,e). 
arc(e,f). 
arc(b,f). 
arc(f,g). 

pathall(X,X,[]). 
pathall(X,Y,[X,Z|L]):- arc(X,Z),pathall(Z,Y,L).  % error on this line; 

pathall(a,g)? 

를, 그것은 다음과 같은 오류를주고있다 기호가 목록의 head-tail separator로 읽히지 않습니다. (이후의 라인이 제거 된 경우) 또한, []는 오류를주고있다 :

#%app: missing procedure expression; 
probably originally(), which is an illegal empty application in: (#%app) 

방법이이 수정 될 수 있도록하고 g 사이의 경로에 대한 코드 작품과 검색?

Answer 1

DrRacket의 Datalog 모듈은 Prolog의 구현이 아니며 사용 된 구문은 허용되지 않습니다 (허용되는 구문은 manual 참조).

특히 용어는 목록 ([])과 같은 데이터 구조가 될 수 없습니다. 위와 같은 프로그램을 실행하려면 데이터 구조가있는 Prolog 인터프리터가 필요합니다. 경로가 같이 존재 여부를 물어, 예를 들어,

path(X,Y):- arc(X,Y). 
path(X,Y):- arc(X,Z),path(Z,Y). 

과 :

를

당신이 할 수있는 것은 당신이 연결 한 것을 예에서와 같이, 예를 들어 술어 path를 정의하다

path(a,g)? 

또는

path(X,g)? 

등으로 특정 노드에 대한 모든 경로를 인쇄