12.4.6 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()
PL_for_dict()
Packages
Availability:
C-language interface function
bool
PL_unify_arg
(
int index, term_t ?t, term_t ?a
)
Unifies the
index-th
argument (1-based) of
t
with
a
.