LIPS

(Logical Inferences Per Second) procedure calls per second in a logic programming system.