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.
ROOT is an OO framework for large-scale scientific data analysis and data mining. It contains an efficient hierarchical OO database, a C++ interpreter, advanced statistical analysis, visualization, introspection, documentation, networking, and GUI classes. The command/scripting language is C++, and large scripts can be compiled and dynamically linked in. Using the PROOF (Parallel ROOT Facility) extension, large databases can be analyzed in parallel. The system runs on all known POSIX platforms, Windows, and MacOS X.