CLIP Group Locally (Co-)Developed Software
This is the CLIP Group's software download site. For any CLIP software and related manuals which you cannot find in these pages (e.g., packages or versions which are in Beta or Alpha release) please contact <email@example.com>. Some older distributions are available from the old clip software ftp directory.
Copyright Note: Most of this software is provided under the GNU Public License.
Support: We offer support and maintenance services. Please contact firstname.lastname@example.org for details.
Index of Available Software Packages:
Index to other CLIP Software Packages:
- &-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.
- benchmarks: Prolog and CLP benchmarks that we have used in experiments with our systems.
- 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).