[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
compound(?Term)
Succeeds if Term is of type compound, i.e. a structure or a list.
- ?Term
- Prolog term.
Description
Used to test whether Term is a compound term.
Fail Conditions
Fails if Term is not a compound term.
Resatisfiable
No.
Examples
Success:
compound(f(1,2)).
compound([1,2,3]).
compound(.(1,2)).
Fail:
compound("f(1,2)").
compound(Term).
compound(atom).
See Also
atom / 1, atomic / 1, var / 1