- Documentation
- Reference manual
- Summary
- Library predicates
- library(aggregate)
- library(apply)
- library(assoc)
- library(broadcast)
- library(charsio)
- library(check)
- library(clpb)
- library(clpfd)
- library(clpqr)
- library(csv)
- library(debug)
- library(error)
- library(iostream)
- library(summaries.d/iostream/tex)
- library(lists)
- library(main)
- library(option)
- library(optparse)
- library(ordsets)
- library(persistency)
- library(predicate_options)
- library(prologpack)
- library(prologxref)
- library(pairs)
- library(pio)
- library(random)
- library(readutil)
- library(record)
- library(registry)
- library(simplex)
- library(ugraphs)
- library(url)
- library(www_browser)
- library(solution_sequences)
- library(thread_pool)
- library(varnumbers)
- library(yall)
- Library predicates
- Summary
- Packages
- Reference manual
F.2.21 library(predicate_options)
| assert_predicate_options/4 | As predicate_options(:PI, +Arg, +Options). |
| check_predicate_option/3 | Verify predicate options at runtime. |
| check_predicate_options/0 | Analyse loaded program for erroneous options. |
| current_option_arg/2 | True when Arg of PI processes predicate options. |
| current_predicate_option/3 | True when Arg of PI processes Option. |
| current_predicate_options/3 | True when Options is the current active option declaration for PI on Arg. |
| derive_predicate_options/0 | Derive new predicate option declarations. |
| derived_predicate_options/1 | Derive predicate option declarations for a module. |
| derived_predicate_options/3 | Derive option arguments using static analysis. |
| predicate_options/3 | Declare that the predicate PI processes options on Arg. |
| retractall_predicate_options/0 | Remove all dynamically (derived) predicate options. |