Term =.. List
Succeeds if List is a list of the functor and all arguments of
Actually, =.. is defined on Prolog and here is its definition:
?- f(a, b)=..X, Y=..[g,
c, d], write(X), nl, write(Y), nl.