1#table p/2.
    2
    3e(a,b).
    4e(b,c) :- not e(b,d).
    5e(b,d) :- not e(b,c).
    6e(b,a).
    7
    8p(X,Y) :-
    9    e(X,Y).
   10p(X,Y) :-
   11    p(X,Z),
   12    e(Z,Y).
   13
   14
   15?- p(b,X).