less(a,b).
less(b,d).
less(X,Z) :- less(X,Y), less(Y,Z).
