:-dynamic v/2.
v(1,2). v(2,3). v(2,4). v(3,7).
v(4,5). v(7,8). v(5,3).
ekv:-sim,tran,listing(v).
sim:-uslov1,fail.
sim.
uslov1:-v(X,Y),not(v(Y,X)),asserta(v(Y,X)).
tran:-uslov2,fail.
tran.
uslov2:-v(X,Y),v(Y,Z),not(v(X,Z)),asserta(v(X,Z)).