type_compound_1Version: NextOn this pagetype_compound/1 Description type_compound/1 is a predicate that checks if the given term is a compound term. Signature compound(@Term) Where: Term is the term to check. A compound term is a functor with one or more arguments.