:- initialization(run).
:- dynamic(path/2).

path(paris,orleans).
path(paris,chartres).
path(toto,machin).

run :-
    path(paris,blois).