🚀 go-pugleaf

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).