Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!decwrl!labrea!glacier!jbn
From: jbn@glacier.STANFORD.EDU (John B. Nagle)
Newsgroups: comp.ai
Subject: Re: Ever heard of KLIPS ???
Message-ID: <17359@glacier.STANFORD.EDU>
Date: 15 Mar 88 16:55:45 GMT
References: <31922@gt-cmmsr.GATECH.EDU>
Reply-To: jbn@glacier.UUCP (John B. Nagle)
Organization: Stanford University
Lines: 6


     KLIPS has been used as an acronym for Kilo Logical Inferences Per
Second.  In the Prolog community, the execution of one Prolog statement
is considered one logical inference, and Prolog systems are thus rated
in LIPS, Logical Inferences Per Second, to which the usual metric prefixes
are applied when appropriate.