Solutions

path(X,Y).
path(X,Y) :- connected(X,Z),
             path(Z,Y).
    

Back to the exercise.