On the Quality of Available Prolog Implementations