Нужно описать ориентированный граф. Задать отношения, позволяющие определить наличие в графе путей между произвольной парой вершин.
Граф описала, задала отношение link(A,B), устанавливающее наличие перехода от A к B..
Есть процедурки, устанавливающие наличие маршрута между произвольными вершинами:
Код
link(a,b).
link(b,e).
link(e,d).
link(d,f).
link(f,c).
link(c,a).
link(b,g).
link(g,h).
link(h,c).
link(c,b).
link(d,c).
route(X,Y):-link(X,Y).
route(X,Y):-link(Y,Z),route(X,Z).
Но не пойму, как сделать, чтобы не просто выяснялось наличие маршрута, но и показывался этот маршрут..Подскажите, пожалуйста!