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.
|Tags||Database Database Engines/Servers Internet Web Office/Business Scheduling Scientific/Engineering Artificial Intelligence Software Development Compilers Text Processing Linguistic Interpreters Quality Assurance|
|Operating Systems||Mac OS X Windows POSIX|
Release Notes: Initial freshmeat announcement.