CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group Locally (Co-)Developed Software

CiaoPP

The Ciao System

Much of our work is integrated in Ciao (and its preprocessor CiaoPP), a next-generation, multi-paradigm programming language and environment, featuring:

  • Functions, predicates, constraints, higher-order, objects, ...
  • Assertion language, automatic static and dynamic checking ("gradual" types/properties), assertion-based testing.
  • Autodoc, semantic code search (searching for code by what it does).
  • Industrial performance, automatic parallelization, portability, ...



Older Software

You can find some older (some indeed very old) systems and distributions below. Other even older packages are available from our old software ftp directory. For any other CLIP software and related manuals which you cannot find in the Ciao site above or in these pages (e.g., packages or versions which are in Beta or Alpha release) please contact <webmaster@cliplab.org>.

  • &-prolog: The And-Prolog Parallel Prolog System. Now superceded by the Ciao system. See the clip ftp directory for old versions of the &-prolog parallelizing compiler.
  • PLAI: Abstract Interpretation-Based Logic Program Analyzer/Specializer. Now included in Ciaopp, the Ciao system preprocessor. See the clip ftp directory for older versions.
  • prolog-shell: Using Prolog as a Scripting Language. Now included in the Ciao system. See the clip ftp directory for previous versions for other Prolog systems.
  • visandor: A visualizer of parallel executions.. New source distribution in preparation. See the clip ftp directory for older (SPARC binary) versions. (Also distributed with SICStus Prolog).

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

Support: We offer support and maintenance services. Please contact clip@dia.fi.upm.es for details.