nam@allegra.UUCP (Nam Sung Woo) (06/22/84)
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