Hi. `borders/2` should be symmetric, but it is not. <pre> ?- borders(X,Y), \+ borders(Y,X). X = atlantic, Y = french_guiana ; X = atlantic, Y = surinam ; false. </pre> Best regards, Stefan.
Hi.
borders/2should be symmetric, but it is not.Best regards,
Stefan.