- is_pure_pred(:Pred) is semidet
- Succeeds if the predicate is pure-prolog, that is, it does not have
side-effects. We check that by ensuring that the predicate is implemented
only using prolog clauses or other pure-prolog predicates. Fails otherwise
or if it is unable to determine it.
- is_pure_clause(Ref) is semidet
- Succeeds if the clause referenced by Ref has been implemented using only
The following predicates are exported, but not or incorrectly documented.