Lines Matching refs:as
72 Atoms are considered as functors with zero arity.
81 written as a conventional identifier (beginning with a lower-case letter), or
138 The six determinism groups are defined as follows:
163 A difference list is written as \about{List - Tail}
180 %element (a ground compound term with as much arguments (integers) as
220 compound term as opposed to being \about{uninstantiated}%
231 as in LISP,
249 at call time. Such a pattern is usually written as a predicate template, e.g.,
272 which is written as :
312 A query has the same form as a \about{body} and is also called a \about{goal}.
313 Such clauses occur mainly as input to the top level Prolog loop
361 These are procedures which can only be changed as a whole unit, i.e., removed or
404 as a shorthand for \pattern{Pred/N1, Pred/N2}.