| ?- route(a, 1).

     yes

| ?- route(1, 5).

     yes

| ?- route(3, b).

     yes

| ?- route(9, End).

     End = b ? ;

     no

| ?- route(4, End).

     End = 5 ? ;

     End = 8 ? ;

     End = b ? ;

     no

| ?- route(Start, 5).

     Start = 2 ? ;

     Start = 4 ? ;

     Start = a ? ;

     Start = a ? ;

     Start = a ? ;

     Start = 1 ? ;

     Start = 1 ? ;

     Start = 3 ? ;

     no