% Vertical-horizontal program from Bratko's boook, chap 2

vertical(   seg(point(X,Y), point(X,Y1))).

horizontal( seg(point(X,Y), point(X1,Y))).