tinker@utah-cs.UUCP (04/10/87)
I've heard that most LIPS figures for production Prologs estimate their LIPS rate based on a standard number of logical inferences for the LIST30 naive reverse benchmark. Can someone tell me if this is true, and the number of inferences commonly accepted for the naive reverse benchmark? - Pete Tinker University of Utah -- -pete tinker@utah-20.arpa