データマークがラケットで動作しない

Question

this pageの下部の例を使用して、this Prolog codeをラケットのDatalogに移植しようとしています。

#lang datalog 

edge(a, b). edge(b, c). edge(c, d). edge(d, a). 
path(X, Y) :- edge(X, Y). 
path(X, Y) :- edge(X, Z), path(Z, Y). 
path(X, Y)? 

pathall(X,X,[]). 
pathall(X,Y,[X,Z|L]):- arc(X,Z),pathall(Z,Y,L). 
pathall(a, d)? 

しかし、コードの最後の行に[X,Z|L]でこのエラーを与えている：

read: expected a `]' to close `[' 

私はデータログにリストを表現するにはどうすればよいですか？ご協力いただきありがとうございます。

Answer 1

Datalogは、Prologの構文サブセットです。

特に、のような化合物の用語リストは、Datalogでではありません。です。