Lines Matching defs:of
4 % The contents of this file are subject to the Cisco-style Mozilla Public
6 % in compliance with the License. You may obtain a copy of the License
15 % The Initial Developer of the Original Code is Cisco Systems, Inc.
23 \chapter{Review of Terminology}
32 Arity is the number of arguments to a term.
34 The notation {\it Name/Arity} is used to specify a functor of name
52 A clause {\it body} can either be of the form
85 Compound terms are of the form
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:
111 which is its number of arguments.
141 A list is a special type of term within Prolog. It is a
142 recursive data structure consisting of {\it pairs} (whose tails are lists).
160 The notation {\tt Name/Arity} is used to specify a functor of name
167 The most important unit of a Prolog or {\eclipse} program.
168 Defined by the set of clauses whose {\bf Head} has the same functor.
171 reminds of the operational behaviour of the definition.