Lines Matching defs:and
11 % the License for the specific language governing rights and limitations
29 \chapter{External Predicates in C and C++}
58 Apart from that, all functions for constructing, testing and decomposing
83 The next example uses an input list of integers and sums up the numbers.
109 \section{Compiling and loading}
111 provided in your installation directory under lib/\$ARCH and adapt it
137 and load it with a command like
141 The details may vary depending on what compiler and operating system
145 {\eclipse}, the link between the function and a predicate name
162 compiled/linked together with the host program, and the link between function
163 and predicate name can alternatively be made by calling the C function
169 (and after the module that is supposed to contain the external predicate
173 \section{Restrictions and Recommendations}
177 to programs which are hard to understand and to get right.
180 external predicate, but that is a sensible programming style and