Minor update to the documentation of the Prolog conformance tests