Added an example, `symbiosis`, of using Prolog built-in meta-predicates and module meta-predicates that take closures as arguments