Predicates

MINERVA provides the bulk of predicates specified in ISO 13211-1, and additional libraries for e.g. for networking, text processing, scanning, parsing, data handling, graphical user interfaces.

Arithmetic comparison

Arithmetic evaluation

Atomic term processing

Text Processing and Regular Expressions

Regular expressions for text processing on strings, pattern matching, scanners....

Blackboards

BinaryIO

A set of predicates to manipulate binary data streams,...

Character input/output

Constraints

MINERVA provides advanced functionality for constraint...

Compilation

Clause creation and destruction

Clause retrieval and information

global variables

Grammar rules

Lists

Logic and control

All Solutions

Communication between distributed Minerva processes.

Minerva offers an high level interface to support the communication between distributed Minerva programs....

Stream selection and control

Servlet

Servlet support in MINERVA follows the Java servlet standard....

Term comparison

Term creation and decomposition

Term input/output

Term unification

Term vector

Minerva supports so called term vectors to store and retrieve terms....

Term Stream

Term streams are used to write/read to/from binary files...

XML (eXtended Markup Language) terms

Minerva supports the manipulation (read/modify/write) of XML terms....

Asynchronous timer handling

Minerva supports timer handling....

Type testing