- Run the benchmark a reasonable number of times and print the average speed
- Run the benchmark Count times and print the average speed
- Run the benchmark Count times with lists of length Length
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.