Availability:C-language interface function
bool PL_put_functor(term_t
-t, functor_t functor)Create a new compound term from functor and bind t
to this term. All arguments of the term will be variables. To create a
term with instantiated arguments, either instantiate the arguments using
the PL_unify_*()
functions or use PL_cons_functor().