Availability:C-language interface function
bool PL_get_uint64_ex(term_t
t, uint64_t *i)As PL_get_uint64(),
but raises a type, domain or instantiation error if
t is not an integer or t is less than zero, or a
representation error if the Prolog integer does not fit in a C
int64_t
.