- lips
- Run the benchmark a reasonable number of times and print the average speed
- lips(+Count)
- Run the benchmark Count times and print the average speed
- lips(+Count,+Length)
- Run the benchmark Count times with lists of length Length
- par_lips(?)
- No description available
The executed program is:
    nreverse([], []).
    nreverse([X|L0],L) :-
	    nreverse(L0, L1),
	    concatenate(L1, [X], L).
    concatenate([], L, L).
    concatenate([X|L1], L2, [X|L3]) :-
	    concatenate(L1, L2, L3).
    
    and the standard benchmark is to call nreverse/2 with a 30-element
    list as the first and a variable as the second argument.  This
    instance is assumed to have 496 logical inferences.