About unnecessary performance differences between Prolog implementations
Bart Demoen, Phuong‐Lan Nguyen · Lirias · 2001
In the course of developing hProlog - an alternative back end for HAL - we felt the need to check our implementation of certain features both for correctness and performance against other implementations.