internal/kernel/umscmacros.tex

158 {\tt IsStructure(tag)} & a compound term (not a list). \\
176 a term which is uniquely defined by its tag and value and so a comparison with
177 another term has just to check these two. Other terms, namely compound
180 {\tt IsCompound(tag)} & a compound term (i.e.\ a structure or a list). \\
240 return with an instantiation fault if the prolog term \\
293 & unifies a general prolog term with an integer number. \\
296 & unifies a general prolog term with an float. \\
299 & unifies a general prolog term with an atom. \\
302 & unifies a general prolog term with the null list. \\
305 & unifies a general prolog term with a pointer to an \eclipse string. \\
308 & unifies a general prolog term with a list. \\
311 & unifies a general prolog term with a struc\-tu\-re. \\
323 of term pairs.
329 After the return to the system, all the specified term pairs
343 {\tt Request_Unify_Integer(val, tag, int)} & request unification of a general prolog term with an integer. \\
345 {\tt Request_Unify_Float(val, tag, float)} & request unification of a general prolog term with a float. \\
347 {\tt Request_Unify_Atom(val, tag, atom)} & request unification of a general prolog term with an atom. \\
349 {\tt Request_Unify_Nil(val, tag)} & request unification of a general prolog term with a nil list. \\
351 {\tt Request_Unify_String(val, tag, string)} & request unification of a general prolog term with a string. \\
353 {\tt Request_Unify_List(val, tag, listptr)} & request unification of a general prolog term with a list. \\
355 {\tt Request_Unify_Structure(val, tag, strptr)} & request unification of a general prolog term with a structure. \\
459 if {\tt val} and {\tt tag} specify a compound term of the form
467 arity restriction and apart from a term {\it Name/Arity}
543 %prints out on the stream {\tt strm} the prolog term specified by
547 %prints on the stream {\tt strm} the prolog term specified by