Availability:C-language interface function
int PL_unify_uint64(term_t
?t, uint64_t n)Unify t with a Prolog integer from n. Note that
unbounded integer support is required if n does not fit in a signed
int64_t. If unbounded integers are not supported a
representation_error is raised.