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.