Improve Prolog standard conformance tests documentation