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.
ConceptBase is a multi-user meta-database system based on a deductive object manager. It is mainly intended for conceptual modeling and coordination in design environments. The system implements O-Telos, a dialect of Telos that amalgamates properties of deductive and object-oriented languages.