Did you know ... Search Documentation:
Pack xlibrary -- prolog/pure.pl
PublicShow source
 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 pure-prolog predicates.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.