connected(x,y) :- link(x,y)
connected(x,y) :- link(x,z), connected(z,y)