tests whether the argument is an atom or a number. ...
Move to
Next Prev
Up Top
See also
atom/1
atomic/1
compound/1
float/1
integer/1
nonvar/1
number/1
var/1
IF Computer > MINERVA > Manual > Reference > Predicates > Type testing > atomic/1

atomic/1

tests whether the argument is an atom or a number.

atomic(+Term)

atomic/1 succeeds if Term is an atom or a number otherwise it fails.

Arguments 

Term                   term

Examples

atomic('this is an atom'). Succeeds.
atomic(15.27). Succeeds.
atomic(Var). Fails.
atomic(f(x,y)). Fails.

Standard

This predicate is part of the ISO-Prolog Standard.

See also

atom/1, compound/1, float/1, integer/1, nonvar/1, number/1, var/1.

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/type_test/atomic/home_en.html
published 2012/2/6 update 1997/6/22 (c) 1996-2009 IF Computer Japan
IF Computer 5-28-2 Sendagi, Bunkyo-ku Tel +81-3-5814-3352 start (AT) ifcomputer.com
Customer Support Tokyo 113-0022 Japan   http://www.ifcomputer.com
scroll to top managed with ubiCMS