Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site allegra.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!nam
From: nam@allegra.UUCP (Nam Sung Woo)
Newsgroups: net.lang.prolog
Subject: definiton of LIPS
Message-ID: <2548@allegra.UUCP>
Date: Fri, 22-Jun-84 13:51:02 EDT
Article-I.D.: allegra.2548
Posted: Fri Jun 22 13:51:02 1984
Date-Received: Sat, 23-Jun-84 04:05:48 EDT
Distribution: net.arch
Organization: AT&T Bell Laboratories, Murray Hill
Lines: 8

What is the definition of the LIPS (Logical Inferences Per Second) ?
Does it mean the number of unifications that can be done in a second ?
Or, does it mean the number of rule evaluations in a second ?
In the latter case, is there any assumption about the
number of literals in a rule ?
Please mail your answer to
   allegra!vivace!nam
Thank you in advance