:- dynamic gadestykke/2,
           vej/2.

gadestykke(a, b).    %    
gadestykke(b, c).    % a -> b -> c -> d
gadestykke(c, d).    %      |
gadestykke(b, f).    %      V
gadestykke(e, f).    % e -> f -> g -> h
gadestykke(f, g).    %
gadestykke(g, h).    %

vej(X, Z):-
    gadestykke(X, Z).

vej(X, Z):-
    gadestykke(X, Y),
    vej(Y, Z).