[Group Index|Full Index]
ECLiPSe Kernel: Term Manipulation
- 'C'(?Input, ?Token, ?Rest)
-
Specifies how DCG grammar rules get a token from their input.
- ?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.
- 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.
- atom_string(?Atom, ?String)
-
Conversion between an atom and a string.
- 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.
- char_int(?Char, ?Integer)
-
Succeeds if Integer is the ASCII code of the one-character string 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 metaterms 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.
- 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.
- insert_suspension(?Term, +Susp, +Index)
-
Insert the suspension Susp into the Index'th suspension list of the current
module's attribute for all metaterms that occur in Term.
- insert_suspension(?Term, +Susp, +Index, +Module)
-
Insert the suspension Susp into the Index'th suspension list of the
attribute Module for all metaterms that occur in Term.
- integer_atom(?Integer, ?Atom)
-
Conversion between an integer and an atom.
It is more efficient to use number_string/2 wherever possible.
- meta_attribute(+Name, +Handlers)
-
Declares the variable attribute Name with the corresponding handlers.
- name(?Atomnumber, ?List)
-
Succeeds if List is the corresponding list of ASCII codes for the atom or
number Atomnumber.
- nonground(?Term, -Variable)
-
Succeeds if Term is not a ground term and binds Variable to one of the
variables inside Term.
- nonground(+N, ?Term, ?VarList)
-
Succeeds if Term contains at least N different variables, and returns N of
them in the list VarList.
- number_string(?Integer, ?String)
-
Conversion between any number and a string.
- setarg(+N, +Term, ?Arg)
-
Destructively replaces the Nth argument of the compound term Term with the
term Arg.
- string_list(?String, ?List)
-
Succeeds if List is a list whose elements are the ascii codes of the
characters of String.
- subscript(+Term, +Subscript, ?Elem)
-
Accesses the subterm Elem of Term, as specified by Subscript.
- suspension_to_goal(+Susp, ?Goal, ?Module)
-
Succeeds for an unwoken suspension and returns the corresponding Goal
structure and caller module.
- 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.