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 <webmaster@clip.dia.fi.upm.es>.
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 clip@dia.fi.upm.es 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).
More detailed descriptions and downloadable packages:
latex-spread: A Simple Emacs Spreadsheet Mode for TeX/LaTeX Documents
This package provides a simple spreadsheet minor mode for TeX/LaTeX documents. It allows including formulas in LaTeX files and using emacs to evaluate them.
Current version (0.9#4 of 2001/10/7):
xdvipresent: Slide Presentations Using LaTeX/xdvi
xdvipresent provides glue for developing slides for on-line presentation using LaTeX and xdvi, and a (portable) computer with a sxga+ (1400x1050), sxga (1280x1024), xga (1024x768), svga (800x600), vga (640x480), or sun (1152x900) screen running Xwindows.
Current version (0.6#14 of 2003/3/1):
List of all available versions for xdvipresent:
Last modified on: Sat Mar 1 18:52:54 CET 2003.
Please let the CLIP group
members know of any problem, question, improvement, etc. related
with these packages.
Send feedback to webmaster@clip.dia.fi.upm.es
Prolog Development System