% Logik og sprog, Modul 2, datalogi RUC Henning Christiansen % % % Vertikal-horisontalprogrammet fra Bratkos bog vertical( seg(point(X,Y), point(X,Y1))). horizontal( seg(point(X,Y), point(X1,Y))).