F.2.6 library(check)
| check/0 | Program completeness and consistency |
| list_undefined/0 | List undefined predicates |
| list_autoload/0 | List predicates that require autoload |
| list_redefined/0 | List locally redefined predicates |
library(check)| check/0 | Program completeness and consistency |
| list_undefined/0 | List undefined predicates |
| list_autoload/0 | List predicates that require autoload |
| list_redefined/0 | List locally redefined predicates |