path(booshehr,shiraz).
path(shiraz,esfahan).
path(esfahan,tehran).
path(tehran,mashhad).
path(shiraz,yazd).
path(yazd,mashhad).
travel(X,Y):-path(X,Y).
travel(X,Y):-path(X,Z),travel(Z,Y).