- 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.6 library(check)
| check/0 | Run all consistency checks defined by checker/2. |
| checker/2 | Register code validation routines. |
| list_autoload/0 | Report predicates that may be auto-loaded. |
| list_redefined/0 | Lists predicates that are defined in the global module =user= as well as in a normal module; that is, predicates for which the local definition overrules the global default definition. |
| list_strings/0 | List strings that appear in clauses. |
| list_strings/1 | List strings that appear in clauses. |
| list_trivial_fails/0 | List goals that trivially fail because there is no matching clause. |
| list_trivial_fails/1 | List goals that trivially fail because there is no matching clause. |
| list_undefined/0 | Report undefined predicates. |
| list_undefined/1 | Report undefined predicates. |
| list_void_declarations/0 | List predicates that have declared attributes, but no clauses. |
| string_predicate/1 | Multifile hook to disable list_strings/0 on the given predicate. |
| trivial_fail_goal/1 | Multifile hook that tells list_trivial_fails/0 to accept Goal as valid. |
| valid_string_goal/1 | Multifile hook that qualifies Goal as valid for list_strings/0. |