:- module(layoutmoduleB). :- lib(fd). % Unit i and j unit_nonoverlapping(Xi, Xj, Yi, Yj, Li, Lj, Di, Dj):- (Xi-Xj)#>=((Li+Lj)/2). unit_nonoverlapping(Xi, Xj, Yi, Yj, Li, Lj, Di, Dj):- (Xj-Xi)#>=((Lj+Li)/2). unit_nonoverlapping(Xi, Xj, Yi, Yj, Li, Lj, Di, Dj):- (Yi-Yj)#>=((Di+Dj)/2). unit_nonoverlapping(Xi, Xj, Yi, Yj, Li, Lj, Di, Dj):- (Yj-Yi)#>=((Dj+Di)/2). position_RL(Xi, Xj, E):- (Xi-Xj)#=E. - position_RL(Xi, Xj, E):- (Xj-Xi)#=E. position_AB(Yi, Yj, F):- (Yi-Yj)#=F. position_AB(Yi, Yj, F):- (Yj-Yi)#=F.