Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!unmvax!ncar!ames!amdcad!sun!pitstop!sundc!seismo!uunet!mcvax!ukc!harrier.ukc.ac.uk!eagle.ukc.ac.uk!icdoc!ivax!cdsm
From: cdsm@ivax.doc.ic.ac.uk (Chris Moss)
Newsgroups: comp.lang.prolog
Subject: Re: BENCHMARKS AND LIPS, KIPS
Message-ID: <522@gould.doc.ic.ac.uk>
Date: 5 Dec 88 12:47:55 GMT
References: <1732LIALG@CUNYVM> <721@quintus.UUCP> <510@gould.doc.ic.ac.uk> <778@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: 22

>>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".
>

I was referring to the use of the name, not the benchmark!

>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.

Yes, I know the use of the naive reverse benchmark first appeared in
Dave Warren's paper on the Edinburgh compiler. But it was not distinguished
there from a large number of other tests nor was it given a name.

I was interested in the source of the name "LIPS" which seems to be used
by everyone (except Richard). Can anyone help?

Chris Moss.