|
|
|
IF Computer
>
MINERVA
>
Manual
>
Reference
>
Predicates
>
Atomic term processing
|
Atomic term processing
|
|
| read on...
|
-
atom_chars/2
-
defines a relation between an atom and a list of one-character atoms....
-
atom_codes/2
-
defines a relation between an atom and a list of the codes of one-character atoms....
-
atom_concat/3
-
concatenates or splits atoms....
-
atom_concat/2
-
Concatenates a list of atoms and numbers to an atom....
-
atom_length/2
-
unifies the number of the characters of an atom. ...
-
atom_number/2
-
defines a relation between an atom and a number....
-
atom_lower/2
-
Converts uppercase characters to their corresponding lowercase characters...
-
atom_upper/2
-
Converts lowercase characters to their corresponding uppercase characters...
-
char_code/2
-
gets the code of a character or reversely....
-
number_chars/2
-
relates a number and the list of the one-character atoms forming that number. ...
-
number_codes/2
-
relates a number and the list of the codes of the one-character atoms forming that number. ...
-
parse_atom/2/3
-
Parses the characters of an atom as MINERVA term and retrieves information about variables....
-
sub_atom/5
-
unifies by backtracing one atom with all substrings of another atom....
-
write_atom/2
-
Writes a term to a string....
-
writeq_atom/2
-
Writes a term to a string....
|
|
|
|
|
 |
|
Expert Services on the Web |
|
|
|
|
|
|
|
|
|
|