alias(sv_bel,unload:package(bel,"Bel>bel") ).
alias(sv_dul,unload:package(dul,"save>dul") ).
alias(sv_rosi,unload:package(rosi,"save>rosi") ).
alias(sv_soc1,unload:package(soc1,"save>soc1") ).
alias(sv_soc2,unload:package(soc2,"save>soc2") ).
alias(sv_sancho,unload:package(sancho,"save>sancho") ).
alias(compile(A,B),(dfp(A) ; compile(B) ; dfp(dul) ) ).
alias(bcomp(A), rosi::bcomp:compile(A) ).
alias(bcompall(A), (rosi::bcomp:compile(A); compile(bel,A); rp(bel); rp(rosi); rp(dul)) ).
alias(rp(A), (dfp(A); relink:package; dfp(dul) ) ).
alias(dul,dul::dul:main).
alias(demo,dul::dul:demo).
alias(xdemo(A,B),dul::dul:xdemo(A,B)).
