jbn@glacier.STANFORD.EDU (John B. Nagle) (03/16/88)
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.