Lines Matching defs:with
6 % in compliance with the License. You may obtain a copy of the License
34 represents a variable together with attached attributes.
40 together with additional meta-level information, forms the metaterm.
49 it can be unified with other terms and
64 with the predicate
102 As the attribute name is usually identical with the source module name,
109 only one occurrence is written with the attribute,
125 with attribute \notation{attr:Attr}.
152 will be the same as unifying \about{Var} with another attributed variable
172 with the caller
201 %using value links), we still recommed to use it with care,
212 An attributed variable is a variable with some additional information
247 is unified with the attributed variable \notation{Y\{a:_, b:_, c:f(b)\}},
266 The first argument is the term that was unified with the attributed variable,
276 The handler's job is to determine whether the binding is allowed with
284 If an attributed variable is unified with a standard variable, the variable is
287 If an attributed variable is unified with another attributed variable or a
310 unification with \about{Term} (not considering effects of woken goals).
328 The handler is invoked with one or both of \about{TermL} and \about{TermR} being
330 and compute their instance relationship with respect to the extension
334 iff \about{TermR} is a proper instance of \about{TermL}) with respect to
335 the attribute under consideration. If the terms are not unifiable with respect
340 the handler is concerned with. The handler must therefore be written to
341 correctly deal with all combinations of an attributed (but potentially
342 uninstantiated attribute) variable with any other term.
372 suspension lists and ending with \about{Tail}.
465 the second argument is the term it is going to be unified with.
466 This handler is provided only for compatibility with SICStus Prolog
500 options to be combined with
503 together with all its attributes in the standard format, so that
523 An attributed variable \notation{X\{m:a\}} with \notation{print} handler
558 \subsection{Variables with Enumerated Domains}
563 a \notation{enum/1} structure with a list holding the values the variable may
586 attributed variable with this value.
672 with nonempty \notation{enum} attribute on the
689 it has (at least) three arguments with the corresponding names.%