Did you know ... Search Documentation:
PL_unify_functor()
Availability:C-language interface function
bool PL_unify_functor(term_t ?t, functor_t f)
If t is a compound term with the given functor, just succeed. If it is unbound, create a term and bind the variable, else fail. Note that this function does not create a term if the argument is already instantiated. If f is a functor with arity 0, t is unified with an atom. See also PL_unify_compound().
Tags are associated to your profile if you are logged in
Tags: