A.30 library(option): Option list processing
All Application Manual Name SummaryHelp

Availability::- use_module(library(option)).(can be autoloaded)
Source[det]meta_options(+IsMeta, :Options0, -Options)
Perform meta-expansion on options that are module-sensitive. Whether an option name is module-sensitive is determined by calling call(IsMeta, Name). Here is an example: 
        meta_options(is_meta, OptionsIn, Options),
        ...

is_meta(callback).

Meta-options must have exactly one argument. This argument will be qualified.

To be done
Should be integrated with declarations from predicate_options/3.