
Orbital library  
PREV NEXT  FRAMES NO FRAMES 
See:
Description
Core Packages  

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 callback, 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. 
Extension Packages  

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 addons as well as generic customizers. 
Implementation Packages  

orbital.moon.awt  Implementation of extended Bean, AWT and GUI Addons along with useful applet to application converters. 
orbital.moon.evolutionary  Contains implementation utilities and a frontend 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 objectoriented 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 classpath (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 classpath.
In order to get the Orbital library into your classpath, 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 classpath. Also make sure that no old release of Orbital library is placed in the classpath.
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 Plugins 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

Orbital library 1.3.0: 11 Apr 2009 

PREV NEXT  FRAMES NO FRAMES 