List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/protobufs
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
pengine://0a3f10dd-c617-4929-8ece-5c4b2515c3e5
pengine://22c95612-8a0d-4ac3-a8c3-c8abb6845379
pengine://2cdda422-f57f-4225-b0ef-7054877bc2c9
pengine://307b9194-6ae9-43d7-8b7a-891e457e6527
pengine://3df5b830-3330-4e23-9cf5-a9139185d531
pengine://50f7ee20-531f-481d-9d58-5c289c1e6845
pengine://718b7a69-e91c-4455-916f-c77f6d6899b5
pengine://d57ac9e5-2878-44a5-87f2-3fa1935c0339
pengine://e56e4390-060d-4d63-9e32-a4bf349e4192
/usr/local/lib/swipl/library/ext/ssl/ssl.pl
All
Application
Manual
Name
Summary
Help
ext
ssl
ssl.pl -- Secure Socket Layer (SSL) library
ssl_context/3
ssl_upgrade_legacy_options/2
ssl_add_certificate_key/4
ssl_set_options/3
ssl_property/2
ssl_negotiate/5
ssl_peer_certificate/2
ssl_peer_certificate_chain/2
ssl_session/2
load_certificate/2
write_certificate/3
load_crl/2
system_root_certificates/1
load_private_key/3
load_public_key/2
cert_accept_any/5
same_certificate/2
verify_certificate_issuer/2
verify_certificate/3
certificate_field/2
ssl_secure_ciphers/1
crypto.pl
xmlenc.pl
xmldsig.pl
cert_accept_any
(+SSL, +ProblemCertificate, +AllCertificates, +FirstCertificate, +Error)
is
det
Implementation for the hook `cert_verify_hook(:Hook)` that accepts
any
certificate. This is intended for
http_open/3
if no certificate verification is desired as illustrated below.
http_open('https:/...', In, [ cert_verify_hook(cert_accept_any) ])