unifies the number of the characters of an atom. ...
Move to
Next Prev
Up Top
See also
atom_chars/2
atom_codes/2
atom_concat/3
atom_concat/2
atom_length/2
atom_number/2
atom_lower/2
atom_upper/2
char_code/2
number_chars/2
number_codes/2
parse_atom/2/3
sub_atom/5
write_atom/2
writeq_atom/2
IF Computer > MINERVA > Manual > Reference > Predicates > Atomic term processing > atom_length/2

atom_length/2

unifies the number of the characters of an atom.

atom_length(+Atom, -Number)

atom_length/2 unifies Number with the number of characters of Atom.

Arguments

Atom                   atom
Number                 integer >= 0

Examples

atom_length('this is quite a long text', N). Succeeds with substitution N <- 25
atom_length('four', 4). Succeeds.
atom_length('five', 5). Fails.

Standard

This predicate is part of the ISO-Prolog Standard.

See also

atom_chars/2, atom_codes/2, atom_concat/3, atom_length/2, char_code/2, number_chars/2, number_codes/2, parse_atom/2/3, sub_atom/5.

read on...
MINERVA
ifcomputer logo
f
Expert Services on the Web
Language
English
Japanese
Server
USA
Japan
Site Access
Local Index
Local Contents
Site Contents
Site Index
Printer Friendly
For imode
For PDA
Search
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/atomic_term/atom_length/home_en.html
published 2008/7/21 update 1998/8/11 (c) 1996-2006 IF Computer Japan
IF Computer 5-28-2 Sendagi, Bunkyo-ku Tel +81-3-5814-3352 info@ifcomputer.com
Customer Support Tokyo 113-0022 Japan   http://www.ifcomputer.com
scroll to top managed with ubiCMS