Lines Matching refs:term
32 Arity is the number of arguments to a term.
62 Each {\it Goal_i} must be a callable term.
79 \index{callable term}
80 A {\it callable term} is either a compound term or an atom.
84 \index{compound term}
89 where {\it f} is the {\it functor} of the compound term
98 A fact or {\it unit clause} is a term of the form:
122 A term is ground when it does not contain any uninstantiated variables.
133 compound term as opposed to
141 A list is a special type of term within Prolog. It is a
176 A {\it program clause} or {\it clause} is either the term
184 i.e. a compound term with the functor {\it :-/2}, or only a fact.
208 A {\it term} is the basic data type in Prolog.
209 \index{term}
214 or a {\it compound term}.