Call term t just like the Prolog predicate once/1. t
is called in the module m, or in the context module if m
== NULL. Returns TRUE if the call succeeds, FALSE
otherwise.
Figure 7 shows
an example to obtain the number of defined atoms. All checks are omitted
to improve readability.