Path: utzoo!attcan!uunet!mcvax!ukc!strath-cs!glasgow!icdoc!ivax!cdsm
From: cdsm@ivax.doc.ic.ac.uk (Chris Moss)
Newsgroups: comp.lang.prolog
Subject: Re: BENCHMARKS AND LIPS, KIPS
Message-ID: <510@gould.doc.ic.ac.uk>
Date: 28 Nov 88 12:10:12 GMT
References: <1732LIALG@CUNYVM> <721@quintus.UUCP>
Sender: news@doc.ic.ac.uk
Reply-To: cdsm@doc.ic.ac.uk (Chris Moss)
Organization: Dept. of Computing, Imperial College, London, UK.
Lines: 23

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
>> INFERENCES PER SECOND) AND ANY BENCHMARKS THAT ARE 'STANDARD' IN
>> MEASURING IT.
>
>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"?

I am unable to find the original definition which was I believe made in
a paper by Furukawa from ICOT in around 1982. We don't seem to have a
copy here and an enquiry to ICOT produced no answer.

Does anyone have that paper and if so could they clarify what the
name he gave it?

Just an idle curiosity!

Chris Moss,
Imperial College