?- sha_hex("Rosetta Code",Hex). Hex = '48c98f7e5a6e736d790ab740dfc3f51a61abe2b5'.