Next: mpg-ref-unknown, Previous: mpg-ref-unify_with_occurs_check, Up: mpg-bpr [Contents][Index]
=../2
ISO+Term =..
-List
-Term =..
+List
Unifies List with a list whose head is the atomic term corresponding to the principal functor of Term and whose tail is a list of the arguments of Term.
term any term
list of term and not empty
If Term is uninstantiated, then List must be instantiated either to a proper list whose head is an atom, or to a list of length 1 whose head is a number.
This predicate is not strictly necessary, since its functionality can
be provided by arg/3
and functor/3
, and using the latter
two is usually more efficient.
| ?- product(0, n, n-1) =.. L. L = [product,0,n,n-1] | ?- n-1 =.. L. L = [-,n,1] | ?- product =.. L. L = [product]
instantiation_error
Term is unbound and List is not instantiated enough.
type_error
List is not a proper list, or the head of List is not atomic, or the head of List is a number and the tail of List is not empty.
domain_error
List is the empty list.
representation_error
Term is uninstantiated and List is longer than 256.
functor/3
, arg/3
, ref-lte-act.