- visible_predicate(?PI, +Module, +Options) is nondet
- True when PI is a plain predicate indicator for a predicate that
can be called in Module. Additional options:
- safe(+Boolean)
- If
true, filter out unsafe predicates.
- autoload(+Boolean)
- Load autoloadable predicates.