Terms and structures

struct/1

define named structure

with

access element(s) in named structure

of

find argument position in named structure

functor/3

define/analyze term for functor and arity

arg/3

access argument of term

compare/3

compare two terms for lexicographical order

= /2

two terms can be unified

== /2

two terms are identical

\= /2

two terms cannot be unified

number/1

argument is a number

integer/1

argument is an integer

atom/1

argument is an atom

var/1

argument is a variable

string/1

argument is a string

real/1

argument is a float

compound/1

argument is a term