Availability::- use_module(library(ssl)).(can be autoloaded) 
 [det]load_crl(+Stream, 
-CRL)Loads a CRL from a PEM- or DER-encoded stream, returning a 
term containing terms hash/1, signature/1, issuer_name/1 
and
revocations/1, which is a list of revoked/2 
terms. Each
revoked/2 term is of the form
[det]load_crl(+Stream, 
-CRL)Loads a CRL from a PEM- or DER-encoded stream, returning a 
term containing terms hash/1, signature/1, issuer_name/1 
and
revocations/1, which is a list of revoked/2 
terms. Each
revoked/2 term is of the form revoked(+Serial, DateOfRevocation)