数据记录代码在 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)?

但是，它给出了以下错误：

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

我怀疑'|'符号未被读取为列表的头尾分隔符。此外，[] 也会出错（如果删除了后续行）：

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

如何更正这些问题，以便代码正常工作并搜索 a 和 g 之间的路径？

Answer 1

DrRacket 中的 Datalog 模块不是 Prolog 的实现，您使用的语法是不允许的（请参阅manual 了解允许的语法）。

具体而言，不能是列表 ([]) 之类的数据结构。要运行上述程序，您需要一个带有数据结构的 Prolog 解释器。

你可以做的是定义一个谓词path，就像你链接的例子一样：

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

例如，询问路径是否存在，如：

path(a,g)?

或打印到某个节点的所有路径

path(X,g)?

等等