=../2

Synopsis

+-Term =.. +-List

Unifies List with a list whose head is the atom corresponding to the principal functor of Term and whose tail is a list of the arguments of Term.

Arguments

Term term

any term

List list

and not empty

Description

Pronounced "univ".

If Term is uninstantiated, then List must be instantiated either to a list of determinate length whose head is an atom, or to a list of length 1 whose head is a number.

Exceptions

type_error

domain_error

Term is uninstantiated and List is not a proper list. Term is uninstantiated and the head of List is not atomic.

instantiation_error

Term and List are both uninstantiated

representation_error

Term is uninstantiated and List is longer than 256.

See Also

functor/3, arg/3 ref-lte-act