代码:
path(X,Y,Path):- traverse(X,Y,[X],Q),reverse(Q,Path).
traverse(X,Y,P,[Y|P]):- connected(X,Y).
traverse(X,Y,V,Path):- connected(X,Z),Z\=Y, \+(member(Z,V)),traverse(Z,Y,[Z|V],Path).
其中,traverse(X,Y,V,Path):- connected(X,Z),Z\=Y, \+member(Z,V),traverse(Z,Y,[Z|V],Path).
上述规则中有一个谓词为 \+ /1,如果证明这个目标可以发现,最初的目标失败;如果没有证据可以发现,最初的目标成功。
这句规则在swi-prolog中可以实现,而在visual prolog中不可识别,总是出现如下的情况:
“traverse(X$23,Y$24,V$25,PATH$26) :- connected(X$23,Z$27) , Z$27 \= Y$24 , \+
Syntax error in parser
Reconsulted from: C:\Users\Xinxin\Desktop\pie(1)\Exe\FILE0.PRO”
在\+后面的member就不识别了,这是怎么回事?
我将它改为\+(member(Z,V)),加载的时候不会报错,但是这句还是没有起作用,这是为什么?
谢谢!