Re: BENCHMARKS AND LIPS, KIPS

Article View: comp.lang.prolog

Article #3804

#3804

From: Chris Moss
Date: Mon, 28 Nov 1988 12:10

23 lines
1247 bytes

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

Technical Details

Message-ID: <510@gould.doc.ic.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!ukc!strath-cs!glasgow!icdoc!ivax!cdsm

References: <1732LIALG@CUNYVM> <721@quintus.UUCP>

Show Full Headers

Complete Article Headers

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

Reply to Parent Message