kale@m.cs.uiuc.edu (03/01/89)
Carl: Regarding the speedup you obtained for the Prolog version of the propositional theorem prover: Was the speedup due to the native code compilation alone? If not, what role did the profiler (performance analyzer) play, and what sort of source to sorce changes you made in the program?