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