[det]check_predicate_optionsAnalyse loaded program for erroneous options. This predicate decompiles
the current program and searches for calls to predicates that process
options. For each option list, it validates whether the provided options
are supported and validates the argument type. This predicate performs
partial dataflow analysis to track option-lists inside a clause.
:- use_module(library(predicate_options)).(can be autoloaded)
- See also
can be used to derive declarations for predicates that pass options.
This predicate should normally be called before
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in