Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!purdue!lerc.nasa.gov!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!newsfeed.internetmci.com!news.exodus.net!news.wni.com!noc.netcom.net!noc.netcom.net!news3.noc.netcom.net!ix.netcom.com!netcom.com!activis
From: activis@netcom.com (ActiVision)
Subject: Re: Prolog for Powermac?
Message-ID: <activisDHuzyt.EtK@netcom.com>
Organization: NETCOM On-line Communication Services (408 261-4700 guest)
X-Newsreader: TIN [version 1.2 PL1]
References: <brady-3110951434410001@brady.cs.tcd.ie> <47ufvn$cdo@hp5.online.apple.com>
Date: Sat, 11 Nov 1995 03:20:53 GMT
Lines: 22
Sender: activis@netcom10.netcom.com

Imccallu (imccallu@eworld.com) wrote:
: Mike: 

: Just curious: what is a "klip". I'm guessing that it is thousands of
: somethings per second (or other unit of time)

Right you are.  Logic programming systems are in the habit of measuring
performance in multiples of LIPS, which are Logical Inferences Per Second,
analogous to FLOPS (FLoating-point Operations Per Second) for more numerically-
oriented languages.

Of course, to discuss LIPS implies that the underlying logic is known,
consistent, etc. which may or may not be a safe assumption for N logic
programming systems, where N is a set that includes, for example, non-Prolog
systems (that is, systems not necessarily based solely and strictly on
Horn-clause resolution--and yes, I'm aware that that assumption doesn't even
necessarily hold for "Prolog" implementations).

: Thanks.

Paul Snively
psnively@activision.com
