[comp.lang.prolog] Comparing Prolog with other languag

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?