Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!husc6!ut-sally!utah-cs!tinker
From: tinker@utah-cs.UUCP
Newsgroups: comp.lang.prolog
Subject: LIPS estimation
Message-ID: <4470@utah-cs.UUCP>
Date: Thu, 9-Apr-87 18:43:44 EST
Article-I.D.: utah-cs.4470
Posted: Thu Apr  9 18:43:44 1987
Date-Received: Sat, 11-Apr-87 12:25:47 EST
Organization: University of Utah CS Dept
Lines: 13
Keywords: LIPS


I've heard that most LIPS figures for production Prologs estimate their LIPS
rate based on a standard number of logical inferences for the LIST30 naive
reverse benchmark.

Can someone tell me if this is true, and the number of inferences commonly
accepted for the naive reverse benchmark?

- Pete Tinker
  University of Utah
-- 

-pete
tinker@utah-20.arpa