Term =.. List is true if and only if (1) Term is an atomic term and List is a list consisted of just one element, Term, or (2) Term is a compound term and List is a list which has the functor name of Term as head and the arguments of that functor as tail.
This is known as the univ operator in Prolog.