login

Availability::- use_module(library(predicate_options)).(can be autoloaded)
[det]derive_predicate_options
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.