package

% abc_library.min % % note that predicates starting with a '_' are not published in % the generated *.mpk file

% the predicate specified in the directive 'init' (if defined) % will be invoked at load time.

:- init('_abc_init').

'_abc_init' :- write('initializing abc_library...'),nl.

abc_f1(x). abc_f2(y). abc_f3(z).

abc_f4(X) :- '_abc_internal'(X).

'_abc_internal'(1).

% example.min % % 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.