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