functor/3

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