SWI-Prolog Did You Know Did you know? Use Appendix B for clear code Search Documentation:
Predicate redis_unsubscribe/2