Path: utzoo!attcan!uunet!seismo!sundc!pitstop!sun!quintus!ok
From: ok@quintus.uucp (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: BENCHMARKS AND LIPS, KIPS
Message-ID: <721@quintus.UUCP>
Date: 23 Nov 88 01:54:16 GMT
References: <1732LIALG@CUNYVM>
Sender: news@quintus.UUCP
Reply-To: ok@quintus.UUCP (Richard A. O'Keefe)
Organization: Quintus Computer Systems, Inc.
Lines: 20

In article <1732LIALG@CUNYVM> LIALG@CUNYVM.CUNY.EDU writes:
> i WOULD LIKE INFORMATION ON THE DEFINITION OF LIPS (I.E., LOGICAL
> INFERENCES PER SECOND) AND ANY BENCHMARKS THAT ARE 'STANDARD' IN
> MEASURING IT.

The only official definition of LI/s is
    let T be the time in seconds to run naive reverse of a 30-element
    list N times, for N large enough that timing fluctuations are small.
    The LI/s figure is then T/(496*N).
*NO* other benchmark measures LI/s; anything else is "procedure calls
per second for benchmark X".  Naive reverse is of course

	nrev([], []).
	nrev([X|Xs], R) :-
		nrev(Xs, R1),
		append(R1, [X], R).

	append([], L, L).
	append([H|T], L, [H|R]) :-
		append(T, L, R).