Update documentation of the Prolog conformance tests