Как быстро сделать процедуру, работающую с неориентированным графом?

Можно просто добавить предикат xedge:

xedge(X,Y,Z) :- edge(X,Y,Z). xedge(X,Y,Z) :- edge(Y,X,Z).

и переписать все процедуры в терминах xedge.