reaches(1,3). 
reaches(1,4). 
reaches(1,2).
edge(1,3). 
edge(3,4). 
edge(3,5). 
edge(4,2). 
edge(2,5). 
query(1,2).