 [semidet]ssl_peer_certificate(+Stream, 
-Certificate)
[semidet]ssl_peer_certificate(+Stream, 
-Certificate)
  http_open(HTTPS_url, In, []),
  ssl_peer_certificate(In, Cert),
  memberchk(subject(Subject), Cert),
  memberchk('CN' = CommonName), Subject)
 [semidet]ssl_peer_certificate(+Stream, 
-Certificate)
[semidet]ssl_peer_certificate(+Stream, 
-Certificate)
  http_open(HTTPS_url, In, []),
  ssl_peer_certificate(In, Cert),
  memberchk(subject(Subject), Cert),
  memberchk('CN' = CommonName), Subject)