Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!apple!amdcad!sun!pitstop!sundc!seismo!uunet!munnari!otc!metro!basser!mqcomp!s8504867
From: s8504867@mqcomp.oz (John Gardner)
Newsgroups: comp.arch
Subject: Re: BENCHMARKS AND LIPS
Message-ID: <595@mqcomp.oz>
Date: 30 Nov 88 08:16:28 GMT
References: <1740MLWLG@CUNYVM> <746@quintus.UUCP>
Reply-To: s8504867@mqcomp.mq.oz (John Gardner)
Organization: Computing Discipline, Macquarie University
Lines: 23

In article <746@quintus.UUCP> ok@quintus.UUCP (Richard A. O'Keefe) writes:
>In article <1740MLWLG@CUNYVM> MLWLG@CUNYVM.CUNY.EDU writes:
>>THAT IS USED?
>
>Logical Inferences Per Second is a property of a _Prolog_ implementation,
>

Come off the grass.  That's like saying MIPS are a property of C
only.  While it is nice to do benchmarks by only varying what you want to
compare, it is certainly valid to calculate LIPS using any theorem prover,
not just prolog.  Do you think that all other theorem provers are incapable
of logical inferences ?  Do you think prolog is the only langauge availible
for this sort of work ?


------------------------------------------------------------------------------
John Gardner              ACSnet,Ean,CSnet: s8504867@mqcomp.mq.oz
Computing Discipline      Arpa:  s8504867%mqcomp.mq.oz@UUNET.UU.NET
Macquarie University 2109 Janet: s8504867%mqcomp.mq.oz@UK.AC.UKC
Australia                 UUCP:  {uunet,mcvax}!munnari!mqcomp.mq.oz!s8504867

[  Macquarie University  - Where you are not just a number .. you are
   a letter followed by seven numbers. ]