编写用于循环图的谓词，以使用prolog检查两个节点之间是否存在路径。
编写用于循环图的谓词，以使用prolog检查两个节点之间是否存在路径。
提问于 2020-10-07 10:23:03
我试图写一个谓词isway(A，B)，它应该适用于循环图。我试图得到的预期结果是，如果在两个节点之间存在一条路径，或者不存在路径。如果我问isway(a，f)，希望它回答是或否。下面是我的代码，但它从来不起作用，并且总是给我一个错误的输出。
%given facts
edge(a,b).
edge(a,c).
edge(b,c).
edge(c,d).
edge(c,e).
edge(d,e).
edge(f,g).
edge(g,h).
edge2(d,a).
edge2(h,f).
edge2(X,Y) :- edge(X,Y).
%my implementation
isway(A,B) :- edge2(A,B,[]).
edge2(A,B,V) :- edge(A,X), not(member(X,V)), (B = X ; edge2(X,B,[A|V])).
%my output
?- isway(b,a). %I expect true for this one
false
?- isway(a,f). %False for this is ok but I am not confident about my logic
false.回答 1
Stack Overflow用户
回答已采纳
发布于 2020-10-07 14:01:52
您可以使用制表计算边缘关系的传递闭包：
edge(a,b).
edge(a,c).
edge(b,c).
edge(c,d).
edge(c,e).
edge(d,e).
edge(f,g).
edge(g,h).
edge(d,a). % acyclic
edge(h,f). % acyclic
:- table path/2.
path(X, Y) :- edge(X, Y).
path(X, Y) :- path(X, Z), path(Z, Y).然后，查询将如您所期望的那样工作：
?- path(a, f).
false.
?- path(b, a).
true.页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/64242062
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号