我正在尝试 XSB 版本 3.3.5 手册中的一个示例(来自“部分订单答案包含”):
:- table sp(_,_,po(</2)).
sp(X,Y,1):- edge(X,Y).
sp(X,Z,N):- sp(X,Y,N1),edge(Y,Z),N is N1 + 1.
我得到
++Error[XSB/Runtime/P]: [Syntax] :- table sp ( _ , _ , po ( >/ <--- HERE? ************
++ 2 ) )
有什么想法有什么问题吗?
此外,没有错误
:- table sp(_,_,lattice(min/3)).