Lines Matching defs:with
6 % in compliance with the License. You may obtain a copy of the License
36 Structures with the functor book/4 can then be written as
49 The special struct-syntax with names has the advantage that
52 \item ``dummy'' arguments with anonymous variables do not need to be written
68 of-syntax when working with them, and never write them in canonical
105 while the input list and Sum are shared with the context.
123 iterate Goals starting with In=First until Out=Last.
125 iterate Goals with X ranging over all elements of List.
127 iterate Goals with X ranging over all arguments of StructOrArray.
141 iterate Goals with I ranging over integers from MinExpr to MaxExpr.
151 iterate Goals with I ranging over integers from Min up to Max.
153 for declaring variables in Goals global, i.e.\ shared with the context.
162 \section{Working with Arrays of Items}
164 For convenience, \eclipse{} has some features for facilitating working with
166 Arrays can be of any dimension, and can be declared with the
202 \item Declare or query array size with
263 A shelf is an object with multiple slots whose contents survive
269 3. Data is stored in the slots (or the shelf as a whole) with
270 shelf_set / 3 and retrieved with shelf_get / 3.
305 write a string with embedded terms, according to a format string.
327 moreover, the variables are printed with unique numbers, so different
384 The printf-predicate is similar to the printf-function in C, with some
511 Such clauses are written with the {\bf ?-} functor instead of {\bf :-}.
645 or, conversely, creates a structured term with a given functor name and arity:
661 The copy_term/2 predicate creates a copy of a term with fresh variables:
693 A source file can be turned into a module by starting it with a
748 The solution is to qualify every reference with the module name:
812 unifies with a {\tt BTag} from an enclosing {\tt block}, the
813 recovery goal associated with that {\tt catch} is called, with the system
819 {\tt BTag} argument unifies with {\tt ETag}.
829 printf("Execution of main/3 aborted with %w%n", [Problem])
838 being exited with the tag \verb.abort., which can also be caught:
871 The profiling tool can be used any time with any compiled Prolog code.
951 <code to deal with Event>