@def edge(u32, u32) input.
@def reachable(u32, u32) output.

reachable(x, y) :-
  edge(x, y).

reachable(x, z) :-
  edge(x, y),
  reachable(y, z).