Directives

Use MINERVA directives to structure and modularize your system.

The MINERVA package mechanism allows the compiler to find errors like missing program parts at compile time, thus increases system reliability and development speed.

Also, the very same mechanism is used to load MINERVA packages 'on demand' from the file system or over the internet, thus reducing object size and network traffic at run time.

builtin

The directive 'builtin' is used to declare the existence of predicates...

dynamic

The directive 'dymamic' is used to declare a predicate that can be...

external

The directive 'external' is used to declare the existence of predicates...

include

Use the directive 'include' to add a file into this file....

op

The op/3 declarative is used to define operators,...

package

MINERVA packages can be referenced as a modular unit and...

import

init

MINERVA packages can be referenced as a modular unit and...

initialization

ensure_loaded

double_quotes

The compiler directive ':- set_prolog_flag(double_quotes,Value)'...