[ 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.
- arity(+Term, -Arity)
- Succeeds if Arity is the arity of 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, -AttrVars)
- A copy of OldTerm with new variables is created and unified with NewTerm.
AttrVars 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 2011-05-24 05:41