The Prolog Development System WWW Site

Copyright note: All this software is provided under the GNU Public License.

Support: Questions whose answer may be of general interest should be sent (in English) to ciao-users@clip.dia.fi.upm.es. For more specific problems the Ciao developers can be reached at ciao@clip.dia.fi.upm.es. Bugs should be reported to ciao-bug@clip.dia.fi.upm.es. Specific professional support and maintenance services are available. Please contact clip@dia.fi.upm.es for details.

Subscribing to the ciao-users mailing list: If you download any Ciao-related software, we highly recommended that you subscribe to the ciao-users@clip.dia.fi.upm.es mailing list, so that you receive updates, bug fixes, and any other related info. You can subscribe by checking the approriate option during the download process, or by sending an ascii message to ciao-users-request@clip.dia.fi.upm.es, containing in the body the word subscribe alone in one line. Discussion is limited to Ciao-Prolog related topics and we will keep your email address strictly confidential. An archive of all messages to the list is available.

Version note: Not all versions of the Ciao system components are guaranteed to work together. On the other hand the current versions in this page have typically been checked to be fully compatible. Thus, if you download one component and also use other components, we recommend downloading the newer version of those components too.

Available components of the Prolog development system: