(load "netrules.clp")
(load "net-structure2.clp")
(reset)
(assert (begin Marseille))
(assert (end Internet))
(run)