|PREV NEXT||FRAMES NO FRAMES|
|orbital.logic||The logic package and its sub packages contain classes for logical operations and frameworks.|
|orbital.logic.functor||Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized call-back, and functional operations based upon them.|
|orbital.logic.imp||Defines a generic interface to (symbolic) logic systems.|
|orbital.logic.sign||Defines generic interfaces for formal languages.|
|orbital.logic.sign.concrete||Defines the concrete syntax of formal languages.|
|orbital.logic.sign.type||Defines interfaces for general type systems.|
|orbital.logic.trs||Provides a term rewrite system (TRS) mechanism with substitution and unification.|
|orbital.math||Defines arithmetic objects and provides mathematical algorithms.|
|orbital.math.functional||Contains mathematical functors and extended functional operations.|
|orbital.util||Provides basic utility classes useful to ease several programming tasks.|
|orbital.algorithm||This package and its sub packages contain important algorithms and algorithmic schemes.|
|orbital.algorithm.evolutionary||Genetic algorithms simulate nature on a very abstract level to get solutions for sophisticated problems.|
|orbital.algorithm.template||A framework for general algorithmic evaluation schemes including search and planning algorithms.|
|orbital.awt||Extends the core Java AWT Package and includes some Beans and GUI add-ons as well as generic customizers.|
|orbital.moon.awt||Implementation of extended Bean, AWT and GUI Add-ons along with useful applet to application converters.|
|orbital.moon.evolutionary||Contains implementation utilities and a front-end for evolutionary algorithms.|
|orbital.moon.logic||Contains implementations of some logics as well as a logic and mathematical expression parser.|
|orbital.moon.logic.functor||Experimental additional classes related to orbital.logic.functors.|
|orbital.moon.logic.resolution||Provides resolution inference theorem prover implementation and clause management.|
The Orbital library is a class library providing object-oriented representations and algorithms for logic, mathematics and artificial intelligence. It comprises theorem proving, computer algebra, search and planning, as well as machine learning algorithms.
Generally speaking, the idea behind the Orbital library is to provide extensional services and components for Java, that are surrounding the heart of scientific applications. This foundation class library is strictly generalized in order to satisfy the requirements of high reusability. So many sophisticated problems can be solved easily with its adaptable components.
Since the Orbital library is written completely in Java, most of the library is ready for use just after including it in the class-path (see below how). This can be achieved in a multitude of ways depending solely on your preference. However, if you intend to use some very specialized features, you might want to configure some system properties as well in addition to placing the library on the class-path.
In order to get the Orbital library into your class-path, you should either:
Most Java Virtual Machines work best when the classes are only kept at one single location. So consider simply storing it at a single location in the class-path. Also make sure that no old release of Orbital library is placed in the class-path.
To accelerate loading any Java applets that use the Orbital library from the internet, the archive files are split into several parts. JAR indexing then enables Java Plug-ins with a JVM of 1.3+ to transfer only those files that are necessary. Also specifying the Orbital library as a download extension in the applet's manifest makes sure that the JAR files are only transferred once at all.
The orbital*.jar archive files consist of
1.3.0: 11 Apr 2009
|PREV NEXT||FRAMES NO FRAMES|