functor(Term,Func,Arity)
Succeed if the Func is the functor of a Term with the given Arity
Example
functor(D,date,3), arg(1,D,17), arg(2,D,april), arg(3,D,1997). D=date(17,april,1997) 1 Solution