compound/1
Tests whether a term is a compound term
compound(Term) -(i)
Compatibility: LPA Win-Prolog
?Term <term>
This predicate succeeds if Term is compound, which means that it is currently bound to a tuple, list, conjunction or disjunction.
see also