[ The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

Term Manipulation

Built-ins to convert, compose, decompose and modify terms

Predicates

?Term =.. ?List
Univ --- Succeeds if List is the list which has Term's functor as its first element and Term's arguments, if any, as its successive elements.
C(?Input, ?Token, ?Rest)
Specifies how DCG grammar rules get a token from their input.
add_attribute(?Var, ?Attribute)
Add dynamically an attribute to a variable.
add_attribute(?Var, ?Attribute, +Module)
Add dynamically an attribute to a variable.
arg(+N, +Term, -Arg)
Succeeds if Arg is the Nth argument of the compound term Term.
bytes_to_term(+String, -Term)
Converts String, which is supposed to be an encoding of a term, into Term.
char_code(?Char, ?Code)
Succeeds if Code is the numeric character code of the character Char.
copy_term(?OldTerm, -NewTerm)
A copy of OldTerm with new variables is created and unified with NewTerm.
copy_term(?OldTerm, -NewTerm, -MetaTerms)
A copy of OldTerm with new variables is created and unified with NewTerm. MetaTerms is a list mapping the attributed variables in OldTerm to the corresponding variables in NewTerm.
copy_term_vars(?Vars, ?OldTerm, -NewTerm)
NewTerm gets unified with a variant of OldTerm where all occurrences of variables in Vars are replaced by fresh variables.
dim(?Term, ?Dimensions)
Creates a multi-dimensional array in the form of nested structures, or computes the dimensions of an existing matrix.
flatten_array(+Array, -List)
Returns a flat list of the elements of a multi-dimensional array.
functor(?Term, ?Functor, ?Arity)
Succeeds if the compound term Term has functor Functor and arity Arity or if Term and Functor are atomic and equal, and Arity is 0.
get_var_bounds(?Var, -Lower, -Upper)
Retrieve bounds of a numeric variable in a generic way
meta_attribute(+Name, ++Handlers)
Declares the variable attribute Name with the corresponding handlers
meta_bind(-Meta, ?Term)
The attributed variable Meta is bound to the term Term without triggering the metaterm-unification event.
set_var_bounds(?Var, +Lower, +Upper)
Impose bounds on a numeric variable in a generic way
setarg(+N, +Term, ?Arg)
Destructively replaces the Nth argument of the compound term Term with the term Arg.
subscript(+Term, ++Subscript, -Elem)
Accesses the subterm Elem of Term, as specified by Subscript
term_string(?Term, ?String)
Conversion between a Prolog term and a string.
term_to_bytes(?Term, -String)
String is a ground encoding of Term, suitable for writing to a file, transmitting over a network etc.
term_variables(?Term, -VarList)
Succeeds if VarList is the list of all variables in Term.
update_struct(+StructName, +FieldList, ?OldStruct, ?NewStruct)
NewStruct is the same as OldStruct except that the fields in FieldList have been replaced

Generated from termmanip.eci on Tue May 23 02:52:18 2006