Implementation-Oriented Testing and Reliability Determination of Prolog Programs