Можно просто добавить предикат xedge:
xedge(X,Y,Z) :- edge(X,Y,Z). xedge(X,Y,Z) :- edge(Y,X,Z).
и переписать все предикаты в терминах xedge.
