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.

 is_pure_body(Arg1)