The UPM-CLIP Benchmark Collection

This directory contains a collection of Prolog and CLP programs that
we have gathered over the years at the CLIP (Computational Logic,
Implementation, and Parallelism group) at UPM (Technical University of
Madrid).  These programs have been used as benchmarks by us and other
researchers.

If you use any of them, please cite its origins (as shown below), and
the CLIP group as their source.

Do not remove headers of the files, since it is the intention of the
original authors to be provided as (public) copyright of their programs.

The subdirectories contain the following Benchmark programs:

Aquarius - From the Aquarius Prolog distribution.
	   See P. Van Roy and A.M. Despain. High-Performace Logic Programming 
	   with the Aquarius Prolog Compiler. IEEE Computer Magazine,
	   January, 1992, pages 54-68.

Chat80 - D.H.D. Warren's Chat-80 sources.

Debray - Sent by Saumya K. Debray (some from SB-Prolog)

Effectiveness - From the testing of PLAI in extracting parallelism.
		See F.Bueno and M.Garcia de la Banda and M.Hermenegildo.
		Effectiveness of Global Analysis in Strict Independence-Based 
		Automatic Program Parallelization. ILPS'94, MIT Press,
		November, 1994, pages 320-336.

Gaia - From the distribution of GAIA.
       See B. Le Charlier and P. Van Hentenryck. Experimental Evaluation of a 
       Generic Abstract Interpretation Algorithm for Prolog. ACM Transactions 
       on Programming Languages and Systems, 1994, vol. 16, number 1, pages 
       35-101.

Granul - From the distribution of CASLOG (annotated to suit PLAI's framework).
	 See S.K. Debray and N.W. Lin. Cost Analysis of Logic Programs.
	 ACM Transactions on Programming Languages and Systems, 1993, vol. 15,
	 number 5, pages 826-875.

Pl2 - Used to test the pl2akl and pl2andorraI translators.
      See F.Bueno and M.Hermenegildo. An Automatic Translation Scheme from 
      Prolog to the Andorra Kernel Language. FGCS'92, ICOT, June, 1992,
      vol. 2, pages 759-769.
      See M.Olmedilla and F.Bueno and M.Hermenegildo. Automatic Exploitation 
      of Non-Determinate Independent And-Parallelism in the Basic Andorra 
      Model. LOPSTR'93, WCS, Springer-Verlag, July, 1993, pages 117-195.

CLP - Used in testing PLAI analyzing CLP.
      See M. Garcia de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier,
      G. Janssens and W. Simoens. Global Analysis of Constraint Logic Programs.
      Technical Report CW205. K.U.Leuven. Belgium. Also in Maria
      Garcia de la Banda's and Veroniek Dumortier's theses. 

CLPR - From the CLP(R) distribution.
       See J. Jaffar and S. Michaylov. Methodology and Implementation of a CLP
       System. ICLP'87, MIT Press, 1987, pages 196-219.

CIAO - Used in testing (parallel CLP) CIAO-Prolog.

More - Some extra programs from who-knows-where-or-whom.

TDvBU - Usend in testing Top-Down/Bottom-Up approaches to goal independent
	analysis.
	See M. Codish, M. Garcia de la Banda, M. Bruynooghe, M. Hermenegildo.
	Goal Dependent vs Goal Independent Analysis of Logic Programs.
        International Conference on Logic Programming and Automated Reasoning.
	LNAI 822, Springer-Verlag, 1994, pages 305-320.

OtherPeople - Sent by other people.

pool - Programs not yet used as benchmarks (mostly programmed by CLIP guys).

	Name	Last modified	Size	Description
	TDvBU.tar.gz	1995-09-13 18:39	101K
	sterling-shapiro.tar.gz	1999-10-14 10:59	44K
	Effectiveness.tar.gz	1995-09-13 18:41	37K
	benchmark-de.tar.Z	1993-10-01 12:05	18K
	TDvBU/	2003-01-23 17:19	-
	Effectiveness/	2003-01-23 17:19	-