Lines Matching refs:an
9 % Software distributed under the License is distributed on an "AS IS"
43 This denotes an input argument. Such an argument must be instantiated before
48 This denotes a ground argument. Such an argument can be complex,
53 This denotes an output argument. Such an argument must be not
58 This denotes an input or an output argument. Such an argument may be either
80 A Prolog atom corresponds to an identifier in other languages. It can be
112 A callable term is either a compound term or an atom.
161 has an uninstantiated tail so that new elements
179 %An \about{ElemSpec} specifies a global variable (an atom) or an array
202 A functor is characterised by its name (which is an atom), and its arity
215 A clause head is a structure or an atom.
219 A variable is instantiated when it has been bound to an atomic or a
366 This is an I/O channel identifier and can be a physical stream number, one of
395 The name of a variable is written in the form of an identifier that begins with
396 an upper-case letter or with an underscore. A single underscore represents an