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().
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in