/usr/lib/swipl/library/predicate_options.pl
All Application Manual Name SummaryHelp

 derive_predicate_options is det
Derive new predicate option declarations. This predicate analyses the loaded program to find clauses that process options using one of the predicates from library(option) or passes options to other predicates that are known to process options. The process is repeated until no new declarations are retrieved.
See also
- autoload/0 may be used to complete the loaded program.
ClioPatria (version V3.1.1-51-ga0b30a5)