> I think line 3 could just be locatedIn(X, Y) :- locatedIn(X, Z), locatedIn(Z,Y).

This creates potential infinite recursion, which is why the other form is used.