代码之家 › 专栏 › 技术社区 › cala

Prolog图表示缺少事实

prolog

cala · 技术社区 · 6 年前

我有一个在序言中有边的图。我将这个图表示为一组Prolog事实。其中,例如, s(a,b,2). =b是a的继承者。here are my factures in prolog for this graph.


   
    事实:
    
    
    s(a,b,2).
S(A,C,1)。
S(B,E,4)。
S(B,G,2)。
S(C,D,1)。
S(C,X,3)。
S(x,g,1)。
目标(G)。
< /代码> 

我错过了一个事实吗?s(e,g,1).
G是E的继承者?或者在这个节点上搜索它,因为“b”只有两个分支“e”和“g”。有人能给我解释一下吗?谢谢<这是我在Prolog中为这个图表所做的事实。




事实:

s(a,b,2).
s(a,c,1).
s(b,e,4).
s(b,g,2).
s(c,d,1).
s(c,x,3).
s(x,g,1).
goal(g).


我错过了一个事实吗?s(e,g,1).
G是E的继承者?或者在这个节点上搜索它,因为“b”只有两个分支“e”和“g”。有人能给我解释一下吗?谢谢

1 回复 | 直到 6 年前

willeM_ Van Onsem 6 年前

breadth-first [Wiki]

s(a, b, 2).
s(a, c, 1).
s(b, e, 4).
s(b, g, 2),
s(c, d, 1).
s(c, x, 3).
s(e, g, 1).
s(x, g, 1).
goal(g).

s(e, g, 1).

推荐文章

Sam · 如何在Swi Prolog中对元组列表排序

6 年前

davo · 序言:delete谓词如何提供列表的开头

6 年前

Zeph · 在Prolog中添加到列表列表

6 年前

Deeps · 在prolog中截断浮点数

6 年前

Anthony Gauthier · 分析不同规则中的规则体

6 年前

quixote · 如何在swi prolog中删除命令历史记录

6 年前

Walker · Prolog比较列表[关闭]

6 年前

user7303261 · 在prolog中运行main

6 年前

MasterYork42 · Prolog逻辑难题不起作用?

6 年前

Friedrich Schmidt · swi prolog中的逻辑门和

6 年前