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