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.
:- use_module(library(prolog_xref)).
(can be autoloaded)