Offers WEKA, an open-source (GPL) machine learning and data mining toolkit in Java with classification, regression, clustering, and association rules. Command-line and GUI interfaces.
A collection of tools that implement decision trees and tables, rule learners, Naive Bayes, support vector machines, voted perceptrons, multi-layer perceptron. Meta schemes include bagging, stacking, and boosting. Written in Java. [GPL]
Declarative temporal logic programming language for: general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components: a set of timed facts, a set of temporal logic rules. Somewhat like Prolog.