Jess is a fast, light rule engine and scripting environment written entirely in Java. You can build Java software that has the capacity to "reason" using knowledge you supply in the form of declarative rules. It is supplied as a programmer's library, making it ideal for embedding in larger applications. Jess includes development tools built on the Eclipse platform. It is free for academic use and can be licensed for commercial use.
Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. It is intended as a programming environment for prototyping numerically intensive applications. Unlike alternatives like Python or SciLab, Lush is designed for easy integration of existing C/C++/Fortran codes.
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
Narval is a framework dedicated to the setting up of intelligent personal assistants (IPAs). It includes a language, an interpreter, and a GUI/IDE. It is based on artificial intelligence and agent technologies. It executes recipes (sequences of actions) to perform tasks. It is easy to specify new actions using XML and to implement them using Python. Recipes can be constructed graphically (without programming) by linking blocks representing the actions.
DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic logics, defeasible logic has linear complexity, allowing DELORES to execute large theories very quickly. DELORES's algorithm extends to general defeasible theories through the use of a pre-processing transformation which eliminates all uses of defeaters and superiority relations.
RebeccaAIML is an enterprise cross platform AIML development platform. RebeccaAIML supports C++, Java, C#, Python, and many other programming languages. It allows AIML development out of the box. RebeccaAIML also comes with an array of AIML administration tools, great documentation, and an Eclipse AIML editor plugin.
EAsea Specification of Evolutionary Algorithms (EASEA), is a high-level language dedicated to the specification of evolutionary algorithms. The language and compiler are quite mature. EASEA compiles .ez specification files into C++ or Java object files, using existing evolutionary libraries. Supported C++ libraries currently are GALib or EO.
Inlab-Scheme is an independent implementation of the algorithmic language Scheme and conforms to the R4RS and the IEEE Standard 1178. In addition to the language core, Inlab-Scheme has support for image processing which allows the implementation of OCR and image recognition applications. Inlab-Scheme comes with two built in graphic file format converters which convert the PATIMG patent file format and the ST.33 patent file format to multipage TIFF without decompressing.
The XEVM is an XML processing engine. It's a multi-threaded, Pub/Sub environment for dynamic programming on an event-driven state machine with TCP communications, tight fault free memory management, powerful set algebra, and a magical database. It is 100% C++ (25,000 LOC), with a thin porting layer; there are implementations for POSIX (Mac/Linux) and Win32. The XEVM is for processing XEPL (the Xepl Engine Programming Language).
Modell (Modular Extension Lisp Language) is an object-oriented, modular variant of the LISP programming language, specially suitable for embedding in applications using a C++ API. It is implemented as a C++ library (libmodell) and a command-line interactive interpreter for testing and rapid development, and includes modules for diverse tasks such as math, strings processing, interaction with the operating system, and others.