- check_predicate_options is det
- Analyse 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.
- See also
- - derive_predicate_options/0 can be used to derive
declarations for predicates that pass options. This
predicate should normally be called before
check_predicate_options/0.