[comp.lang.prolog] Logic Programming problems and 'benchmarks'

raghutp@hubcap.clemson.edu (Raghu Toppur) (04/08/91)

	I am working on an FCP-like implementation and I am looking for
	a set of programs (and classic problems) which can provide a basis for
	performance evaluation.

	Do there exist 'benchmarks' for Prolog, FCP, PARLOG or GHC ?

	Any input regarding standard problems for implementation will be 
	greatly appreciated . Dining Philosophers, Readers and Writers, Quicksort...
	any others ? I am interested in both uniprocessor as well as multiprocessor
	implementations.

	thanks,
	Raghu Toppur					e-mail : raghtp@hubcap.clemson.edu
											 Dept of Comp Sc,
											 Clemson University, Clemson,
											 SC 29631.