Datalog代碼在Racket中不起作用

Question

我想將this Prolog code移植到Racket中的Datalog，使用this page底部的示例。

#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的語法子集。

特別地，在數據記錄中支持的複合術語如列表是而不是。