View source with formatted comments or as raw
    4#table edge/2.
    5
    6edge(1,2).
    7edge(2,3).
    8
    9
   10edge(X,Y) :-
   11    edge(Y,X).
   12
   13edge(4,5) :-  not edge(2,5).
   14
   15?- edge(X,Y).