% Use the directive package to declare all predicates of a package. % The package will by dynamically loaded when one of its predicates % is first accessed. % If there is a directive 'init' defined in the package, it will % be invoked at load time % packages are produced with minervac or minervax. :- package(abc_library). main(_Args) :- abc_f1(X), abc_f2(Y), abc_f3(Z), writeq(xyz(X,Y,Z)),nl.