[ Reference Manual | Alphabetic Index ]

# library(lips)

Measure the system's speed using the naive reverse benchmark [more]

## Predicates

> 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

## Description

Measure the system's speed in logical inferences per second, using the infamous naive reverse program. This test does not say very much about the quality of a system. All it gives is an indication about the speed of list processing.

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.

## About

- Author: Joachim Schimpf, ECRC Munich
- Copyright © Cisco Systems, Inc
- Date: $Date: 2009/07/16 09:11:24 $

Generated from lips.eci on 2022-09-03 14:26