Re: BENCHMARKS AND LIPS, KIPS

Article View: comp.lang.prolog

Article #3807

#3807

From: Richard A. O'Keefe
Date: Wed, 30 Nov 1988 10:40

17 lines
1249 bytes

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.

Technical Details

Message-ID: <778@quintus.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watmath!clyde!att!pacbell!ames!sgi!arisia!quintus!ok

References: <1732LIALG@CUNYVM> <721@quintus.UUCP> <510@gould.doc.ic.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message