[ Type Testing | 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. Compound terms have an arity greater than zero. This test is the negation of atomic/1.

Modes and Determinism

Fail Conditions

Fails if Term is not a compound term

Examples

   Success:
   compound(f(1,2)).
   compound(f(_,_)).
   compound([1,2,3]).
   compound(.(1,2)).
   compound(f/1).
   compound(1+2).
   compound(1+2).
   Fail:
   compound("f(1,2)").
   compound(Term).
   compound(atom).

See Also

atom / 1, atomic / 1, callable / 1, is_list / 1, is_array / 1, var / 1