SWI-Prolog Did You Know Did you know? Janus-swi lets you embed SWI-Prolog in Python Search Documentation:
Predicate ssl_secure_ciphers/1