compound/1 /MINERVA/Manual/Reference/Predicates/type_test/compound/

tests whether the argument is a compound term. ...

Move to
Next	Prev
Up	Top

See also

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

compound/1

tests whether the argument is a compound term.

compound(+Term)

compound/1 succeeds if Term is a compound term otherwise it fails.

Arguments

Term                   term

Examples

compound([l,i,s,t]).	Succeeds.
compound(f(X,Y)).	Succeeds.
X=a*(b+c), compound(X).	Succeeds with substitution X <- a*(b+c).
compound([a,t,o,m]).	Succeeds.
compound('this is an atom').	Fails.

Standard

This predicate is part of the ISO-Prolog Standard.

See also

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

read on...

MINERVA

Expert Services on the Web

Language

Server

Site Access

Site Index

Printer Friendly

For imode

For PDA

Search

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/type_test/compound/home_en.html
published 2008/7/14 update 1997/6/22 (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

managed with ubiCMS