Отсутствует факт представления графа пролога

Question

У меня есть график с ребрами в Прологе. Я представляю график как набор фактов пролога. Где например s(a,b,2). = b является преемником a. Вот мои факты в прологе для этого графика.

Факты:

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). Где г является преемником е? Или он вообще ищется на этом узле, так как "b" имеет только 2 ветви "e" и "g". Может кто-нибудь, пожалуйста, объясните мне это? Спасибо

Answer 1

Мы можем перечислить график, например, в ширину [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).
<b>s(e, g, 1).</b>
s(x, g, 1).
goal(g).

Если мы посмотрим на оригинальный исходный код. Часть s(e, g, 1). отсутствовала.