distance/3, where the third argument is matched with distance between the points in the first two arguments. For example: ?- distance ((1,-2), (4,2),D). D = 5.0