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.
ImSafe (Immune Security For your Enterprise) is a host-based intrusion detection tool. After a learning phase, it is able to detect changes in processes behavior, to detect buffer overflows, etc. It is implemented through a device driver (as a kernel patch) for the Linux kernel, but can also be run on other UNIX systems by using a "sensor" built upon strace.
CLIPS is a productive development and delivery expert system tool which provides a complete environment for the construction of rule- and/or object-based expert systems. It is used by numerous users throughout the public and private community, including all NASA sites and branches of the military, numerous federal bureaus, government contractors, universities, and many companies.
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.
YAKS - Yet Another Khepera Simulator, is a Khepera simulator that uses prerecorded sensor values from a real robot in order to provide simulation speeds of 3600 times reality. It has support for the infrared sensors, light sensors, K213 vision turret, gripper arm, and more. The simulator comes with a GTK interface, a genetic algorithm (GA), and an artificial neural net (ANN).
TinySoar is an implementation of the Soar artificial intelligence architecture that is intended to run on a memory-constrained device, like a robot. Soar is a "real time'' performance runtime that incorporates acting, planning, and learning in a rule-based framework. TinySoar includes alternative firmware for the Lego Mindstorms RCX, so you can control a Lego robot with a Soar agent.