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.
SIMPLE_1 (SIMulation Program for Logistics Engin'g) is a discrete/continuous network-oriented simulation language with general-purpose programming language features. The Linux version of this software includes a project management system to automate integration of user-developed C/C++ code into SIMPLE_1 network models. A user's C/C++ code is interfaced with the SIMPLE_1 modeling language through information embedded in comments in the user's header file(s). SIMPLE_1 produces executable files with the help of the C++ compiler.