MODULE dfs. edge a b. edge b a. edge b c. edge b d. edge c e. edge d e. LINEAR node a. LINEAR node b. LINEAR node c. LINEAR node d. LINEAR node e. dfs X Y :- edge X Y. dfs X Y :- edge X Z, node Z, dfs Z Y. path X Y :- node X, dfs X Y, erase.