Path: utzoo!utgpu!watmath!clyde!att!pacbell!ames!sgi!arisia!quintus!ok
From: ok@quintus.uucp (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: BENCHMARKS AND LIPS, KIPS
Message-ID: <778@quintus.UUCP>
Date: 30 Nov 88 10:40:43 GMT
References: <1732LIALG@CUNYVM> <721@quintus.UUCP> <510@gould.doc.ic.ac.uk>
Sender: news@quintus.UUCP
Reply-To: ok@quintus.UUCP (Richard A. O'Keefe)
Organization: Quintus Computer Systems, Inc.
Lines: 17

In article <510@gould.doc.ic.ac.uk> cdsm@doc.ic.ac.uk (Chris Moss) writes:
>In article <721@quintus.UUCP> ok@quintus.UUCP (Richard A. O'Keefe) writes:
>>In article <1732LIALG@CUNYVM> LIALG@CUNYVM.CUNY.EDU writes:
>>> i WOULD LIKE INFORMATION ON THE DEFINITION OF LIPS (I.E., LOGICAL
>>The only official definition of LI/s is
>...
>
>This is an interesting non-answer to the stated question.
>Is the "official" version "LI/s" or "LIPS"?

It is certainly interesting to find an answer that included source code
for the benchmark in question described as a "non-answer".

LI/s is my personal spelling of logical inferences / second,
and I'm proud of it!  (I also pronounce it "ceidlidhs", but that's a joke.)

The published use of this particular benchmark dates back to 1977.