| There are only few limits imposed by the MINERVA implementation
itself:
- Arity of Terms:
A term may not have more than 125 arguments.
- Size of Integers:
An integer in MINERVA is represented by 64 bits
i.e. corresponds to the Java data type "long",
and can be as big as 1,000,000,000,000,000,000.
- Large collection of clauses
A large (order of several ten thousands) collection
of clauses with identic functor/arity may cause a
compiler overflow. MINERVA Versions prior to 2.3
do not report the overflow and silently produce invalid code,
which in turn causes a ArrayIndexOutOfBoundsException
at object load time.
The compiler of MINERVA Versions from 2.3 reports an error like
** minerva assembler: com.ifcomputer.minerva.MC26: codearea is too huge
If you hit this condition please declare the offending predicate
as dynamic. E.g. ":- dynamic(myfactdb/5)".
This will likely also improve the performace of your program, due
to the different optimization strategies used.
We are not aware of other hard coded limitations to the MINERVA
engine, e.g. lengths of lists, size of atoms, etc.
Practical limits to program size and execution time depend
heavily on your execution environment, notably your Java
language processor, the operating system, and your hardware
architecture.
|
