Update the documentation of the Prolog conformance unit tests