Lines Matching defs:and
11 % the License for the specific language governing rights and limitations
39 \chapter{'C' Macros and Primitives for External Predicates}
54 The following macros contain a {\tt return} statement and so they
106 the whole reference chain and changes the value of {\tt ref}
159 a term which is uniquely defined by its tag and value and so a comparison with
161 terms and strings need to compare more than just the tag and value.\\
174 The following macros test the type of Prolog words and return
266 They cause an exit from the external predicate and so they must
310 and the exit from the external procedure must be made
323 {\tt Return_Unify} & return from the external and perform the
353 Macros to create tagged Prolog words at a specified address, and to
354 allocate list and structure frames.
370 {\tt Push_Struct_Frame(did)} & allocate a structure at address TG and
373 allocates space for a string of length {\tt len} and sets {\tt val}
374 to the string value and {\tt s} to the first string character.
376 with the string and a zero terminator.\\
381 returns the DID for the functor with name {\tt string} and arity {\tt arity}.\\
403 TG is the top of the global stack, on which strings, lists and structures
407 the string length and which is followed by a tag and the string proper.
446 if {\tt val} and {\tt tag} specify a compound term of the form
454 arity restriction and apart from a term {\it Name/Arity}
455 it accepts as well an atom and returns its DID.\\
466 {\tt FloatVal(val, tag)} & given the value and tag of a single or double
481 a {\tt pword} pointer, {\tt vmod} and {\tt tmod} are value and tag
519 and the following ones are its dimensions.
529 {\tt format} and {\tt args}. {\tt format} is the control string and
534 {\tt val} and {\tt tag}. \\
538 {\tt val} and {\tt tag}. Strings and atoms are quoted if necessary.\\
561 and in external predicates which delay themselves.
568 and in external predicates which delay themselves.
573 returns to the Prolog system and suspends the external predicate.
588 call the goal in the module and keep all bindings, global stack and trail