SWI-Prolog Did You Know Did you know? SWI-Prolog has Multi-Thread support Search Documentation:
Predicate xref_mode/3
Availability::- use_module(library(prolog_xref)).(can be autoloaded)
 xref_mode(?Source, ?Mode, ?Det) is nondet
Is true when Source provides a predicate with Mode and determinism.