MINERVA packages can be referenced as a modular unit and dynamically loaded upon demand.

Use the directives 'import' (formerly 'package') and 'init' to group predicates into MINERVA packages.

The MINERVA compiler generates a *.mpk interface description for each *.min source file resp. its *.mbc object file.

Predicates with functor starting with '_' (underscore) will not be included in the interface description.

The *.mbc file is loaded automatically when the first of its predicates is used.

If a predicate it marked with the 'init' directive, it is invoked at load time.

See the example files:

abc_library.min, abc_library.mpk, example.min and example.mpk

scroll to top