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