Programming languages for the Java Virtual Machine JVM and JavascriptPosted on by Robert Tolksdorf
MINERVA is a declarative language that inherits and combines the advantages of Java and Prolog, resulting in a very practical tool. MINERVA is implemented in Java and provides the core functionality of ISO/IEC 13211-1.