| |
| |
The Ciao Prolog Development System WWW Site (Site not responding. Last check: 2007-10-21) |
 | | Ciao also supports (through such extensions) programming with functions, higher-order (with predicate abstractions), constraints, and objects, as well as feature terms (records), persistence, several control rules (breadth-first search, iterative deepening,...), concurrency (threads/engines), a good base for distributed execution (agents), and parallel execution. |
 | | Ciao offers support for programming in the large with a robust module/object system, module-based separate/incremental compilation (automatically --no need for makefiles), an assertion language for declaring (optional) program properties (including types and modes, but also determinacy, non-failure, cost, etc.), automatic static inference and static/dynamic checking of such assertions, etc. |
 | | The Ciao compiler (which can be run outside the top level shell) generates several forms of architecture-independent and stand-alone executables, which run with speed, efficiency and executable size which are very competitive with other commercial and academic Prolog/CLP systems. |
| clip.dia.fi.upm.es /Software/Ciao (1212 words) |
|