12.4.5 Unifying data
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Foreign Language Interface
The Foreign Include File
Unifying data
PL_unify()
PL_unify_atom()
PL_unify_bool()
PL_unify_chars()
PL_unify_atom_chars()
PL_unify_list_chars()
PL_unify_string_chars()
PL_unify_integer()
PL_unify_int64()
PL_unify_uint64()
PL_unify_float()
PL_unify_pointer()
PL_unify_functor()
PL_unify_compound()
PL_unify_list()
PL_unify_nil()
PL_unify_arg()
PL_unify_term()
PL_chars_to_term()
PL_wchars_to_term()
PL_quote()
Packages
Availability:
C-language interface function
int
PL_unify_integer
(
term_t ?t, intptr_t n
)
Unify
t
with a Prolog integer from
n
.