Documentation =../2
available from version beta

=../2

Check the descomposition of a term.

Description

'=..'( +nonvar, ?list )
'=..'( -nonvar, +list )

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.

Implementation