atom/1 /MINERVA/Manual/Reference/Predicates/type_test/atom/

tests whether the argument is an atom. ...

Move to
=>	<=
Darueber	Spitze

See also

IF Computer > MINERVA > Manual > Reference > Predicates > Type testing > atom/1

atom/1

tests whether the argument is an atom.

atom(+Term)

atom/1 succeeds if Term is an atom otherwise it fails.

Arguments

Term                   term

Examples

atom('this is an atom').	Succeeds.
atom([]).	Succeeds.
atom(Var).	Fails.
atom([a,t,o,m]).	Fails.

Standard

This predicate is part of the ISO-Prolog Standard.

See also

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

read on...

MINERVA

Expert Services on the Web

Sprache

Server

Site Access

Site Index

Printer Friendly

For imode

For PDA

Search

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/type_test/atom/home_de.html
published 2008/12/1 update 1997/6/22 (c) 1996-2006 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

managed with ubiCMS