How to check if two elements of nested lists are the same index in Prolog?

Question

I want to create a predicate same_position(B,X,Y) that is true if element X and element Y have the same position within their respective nested lists.

For example,