Ciao Historic Archive

This is a list of Prolog and Ciao related software (co-)developed by the CLIP Lab. For any CLIP software and related manuals which you cannot find in these pages please contact <webmaster@clip.dia.fi.upm.es>. Additionally, you may explore the file archives directly.

License Note: Most of this software is provided under the GNU Public License.

Included in Ciao (or superceded):

• Legacy and archived Ciao versions. (Precompiled binaries and documentation)

• &-prolog: The And-Prolog Parallel Prolog System

• PLAI: Abstract Interpretation-Based Logic Program Analyzer/Specializer. (Now included in CiaoPP, the Ciao system preprocessor)

• prolog-shell: Using Prolog as a Scripting Language (no release available)

• pillow: The PiLLoW Internet/Web Programming Library (=< v1.1)

• bibutils: A Set of BiBTeX File Processing Scripts

Obsolete or discontinued:

• webchat: A Natural Language Geography Database

• benchmarks: Prolog and CLP benchmarks that we have used in experiments with our systems.

• visandor: A visualizer of parallel executions. Includes older (SPARC binary) versions. Also distributed with SICStus Prolog.

• WebDB2.0: The WebDB WWW Database Interface

Other software (not Prolog)

• latex-spread: A Simple Emacs Spreadsheet Mode for TeX/LaTeX Documents

• xdvipresent: Slide Presentations Using LaTeX/xdvi

Third-party software

• btoa

• SmallTalk 1.1.1