Reference

Invocation

To compile a program, you invoke the MINERVA Development Server with:...

Predicates

MINERVA provides the bulk of predicates specified in ISO 13211-1,...

Directives

Use MINERVA directives to structure and modularize your system....

Arithmetic

New arithmetic functions programmed in MINERVA are used exactly ...

Functions

Minerva offers 2 built-in predicates for function style evaluation...

Objects

Object oriented programming is useful to ...

Error Messages

Error messages by MINERVA:...

File Names

MINERVA uses standardized file name extensions:...

main

For applications, main/1 of the first loaded package will be called at startup time of a MINERVA program....

Packages

A clear mechanism to structure large programs, the MINERVA packages...

Debugger

MINERVA provides a simple debugging tool to ...

Internationalization

MINERVA allows the use of international character sets in programs and data....

Gui Programming

Programming Graphical User Interfaces in MINERVA exploits...

MINERVA to Java Interface

MINERVA provides three ways to use Java methods and objects....

Java to MINERVA Interface

Embed MINERVA in your Java programs:...

Restrictions