LIPS 0 Logical Inferences Per Second Inferencias Lógicas Por Segundo 1997-01-29 logical inferences per secondLIPS