documents/userman/umsterm.tex

64 %An array specification is a compound term the form Name(Dim_1,...,Dim_n),
67 %An array element is selected with a similar term.
71 Arity is the number of arguments to a term.
86 An atom, string or a number. A term which does not contain other terms.
102 Each \about{Goal_i} must be a \about{callable term}.
111 \item[Callable Term\index{callable term}\index{term!callable}]
112 A callable term is either a compound term or an atom.
119 \item[Compound Term\index{compound term}\index{term!compound}]
126 where \about{f} is the \aboutidx{functor} of the compound term, \about{n} is its
131 \item[Constant\index{constant}\index{term!constant}]
180 %element (a ground compound term with as much arguments (integers) as
190 A fact or \aboutidx{unit clause}\index{clause!unit} is a term of the form:
210 \item[Ground\index{ground term}\index{term!ground}]
211 A term is ground when it does not contain any uninstantiated variables.
220 compound term as opposed to being \about{uninstantiated}%
228 A list is a special type of term within Prolog. It is a
271 A pair is a compound term with the functor \predspec{./2} (dot)
291 A predicate is another term for a \about{procedure}.
301 A program clause (or simply \about{clause}) is either the term
308 (i.e., a compound term with the functor \predspec{:-/2}), or only a fact.
345 or by a compound term (or atom) with this functor.
384 \item[Term\index{term}]
385 A term is the basic data type in Prolog.
386 It is either a \about{variable}, a \about{constant} or a \about{compound term}.
389 \item[Variable\index{variable}\index{term!variable}]
391 imperative language.  It can be free, or instantiated to a term, but once
392 instantiated it becomes indistinguishable from the term to which it was