Searched refs:term (Results 26 - 50 of 186) sorted by relevance

12345678

/barrelfish-master/lib/term/client/
H A Ddefault_triggers.c19 #include <term/client/default_triggers.h>
H A Dtrigger.c21 #include <term/client/client.h>
22 #include <term/client/trigger.h>
H A Dfilter.c23 #include <term/client/client.h>
24 #include <term/client/filter.h>
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsmacros.tex44 are expanded just after a Prolog term has been read by the
47 \biptxtref{term-reading}{read/1}{../bips/kernel/ioterm/read-1.html}
51 are expanded only during compilation and only when a term occurs
55 are expanded just before a Prolog term is printed by one of the
61 In addition to transforming a term, macros can also be
63 the transformed term if
64 supplied with source annotation information for the orginal term. Source
65 annotation information is about the source and position of a term, and is
141 The term to transform is passed as the first argument, the second is a free
143 term
[all...]
H A Dumsterm.tex64 %An array specification is a compound term the form Name(Dim_1,...,Dim_n),
67 %An array element is selected with a similar term.
71 Arity is the number of arguments to a term.
86 An atom, string or a number. A term which does not contain other terms.
102 Each \about{Goal_i} must be a \about{callable term}.
111 \item[Callable Term\index{callable term}\index{term!callable}]
112 A callable term is either a compound term or an atom.
119 \item[Compound Term\index{compound term}\inde
[all...]
H A Dumssyntax.tex44 \item a \notation{term_h} is a term which is the head of the clause.
47 \item a \notation{term_g} is a term which is a goal (body) of the clause.
50 \item a \notation{term_a} is a term which is an argument of a compound term or
52 \item a \notation{term(N)} can be any term (\notation{term_h},
352 | term(1200)
355 | term(1200)
357 term(0) ::= VAR /* not a term_h */
368 term(
[all...]
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dumsterm.tex32 Arity is the number of arguments to a term.
62 Each {\it Goal_i} must be a callable term.
79 \index{callable term}
80 A {\it callable term} is either a compound term or an atom.
84 \index{compound term}
89 where {\it f} is the {\it functor} of the compound term
98 A fact or {\it unit clause} is a term of the form:
122 A term is ground when it does not contain any uninstantiated variables.
133 compound term a
[all...]
/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEXDROutputStream.java46 * when a whole term has been completed.
65 * when a full term has been written, or when this stream is flushed.
122 * a compound term, its arguments, nested
156 // write the term o to the buffer
181 * Write a term o's worth of bytes to the buffer.
189 else if (o instanceof CompoundTerm) // compound term
320 * Write a compound term to the buffer in EXDR format
322 void writeStructure(CompoundTerm term) throws IOException argument
326 out.writeInt(term.arity());
328 writeString(term
[all...]
H A DEXDRInputStream.java86 * Read a chunk (one term's worth) of EXDR from the incoming data and
91 * term has been read in.
104 Object term = readSubTerm();
108 return term;
117 * Read a term's worth of data and return a Java object of the corresponding
154 // read the next term (it will be a string), and
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dread.c77 * _read_next_term % top term or right arg of infix/prefix
96 * annotated term instead of the plain parsed term. In an annotated
97 * term, every subterm is wrapped into a annotated_term/4 structure:
100 * term, % var,atomic,compound
101 * type, % term type (see below)
105 * The type field describes the type of the parsed term and is one of
113 * string term is a string or a char_code list
114 * anonymous term is an anonymous variable
115 * var(NameAtom) term i
1023 pword term; local
1343 pword term; local
1881 do_trafo(pword *term) argument
[all...]
H A Dbip_record.c73 pword term; /* TEND for header cell */ member in struct:record_elem
88 obj->term.val.nint = 0;
89 obj->term.tag.kernel = TEND; /* remains TEND for header cells */
108 if (this->term.tag.kernel == TEND)
115 free_heapterm(&this->term);
128 if (header->term.tag.kernel != TEND)
170 mark_dids_from_heapterm(&this->term);
178 if (header->term.tag.kernel != TEND)
268 if (!IsTag(prop->tag.kernel,TPTR) || !IsTag((*pheader)->term.tag.kernel,TEND))
405 move_heapterm(&copy_pw, &obj->term);
[all...]
H A Dbip_parallel.c151 pword term, *term_as_bytes; local
160 /* encode the term */
161 term.val.all = vterm.all;
162 term.tag.kernel = tterm.kernel;
163 term_as_bytes = term_to_dbformat(&term, D_UNKNOWN);
346 pword term, *term_as_bytes; local
352 /* encode the term */
353 term.val.all = v.all;
354 term.tag.kernel = t.kernel;
355 term_as_bytes = term_to_dbformat(&term, D_UNKNOW
[all...]
H A Deg_cc_test.cc99 return term(EC_functor("=",2), a, b);
135 post_goal(term(EC_functor("atom_string",2), X, YZ[0]));
136 post_goal(term(EC_functor("is",2), YZ[1],
137 term(EC_functor("string_length",1),YZ[0]) + 1));
163 list(term(EC_functor("five",5),pwords),
176 post_goal(term(EC_functor("writeln",1), X));
H A Dlex.h169 * - a valid tagged pword value (term)
170 * - or a char* (string) whose length is in term.val.nint
172 pword term; /* token value */ member in struct:__anon1632
/barrelfish-master/include/term/client/
H A Dclient.h21 #include <term/client/defs.h>
H A Ddefs.h22 #include <term/defs.h>
H A Dclient_blocking.h21 #include <term/client/defs.h>
/barrelfish-master/usr/drivers/serial/
H A Dterminal_service.c21 #include <term/server/server.h>
22 #include <term/defs.h>
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dxml.pl40 * term malformed(Attributes, Content) if Chars does not represent well-formed
46 * in addition to the standard term types.
52 * The domain exception will attempt to identify the particular sub-term in
85 * is not well-formed, diagnosis tries to identify the specific culprit term.
114 /* xml_subterm( +XMLTerm, ?Subterm ) unifies Subterm with a sub-term of Term.
115 * Note that XMLTerm is a sub-term of itself.
/barrelfish-master/lib/barrelfish/
H A Dterminal.c21 #include <term/client/client_blocking.h>
/barrelfish-master/lib/posixcompat/
H A Dpty.h16 #include <term/server/server.h>
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dpretty_print.pl48 summary:"Print a term on the given stream, split it if its width exceeds Max"
53 % Print a term on the given stream, split it if its size exceeds Max
61 % First try to print the term using write/2, if it is too big,
H A Dnumbervars.pl48 is any term, From and To are integer numbers. All variables in Term
57 This predicate can thus be used to encode nonground term using a
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dumscmacros.tex144 {\tt IsStructure(tag)} & a compound term (not a list). \\
159 a term which is uniquely defined by its tag and value and so a comparison with
160 another term has just to check these two. Other terms, namely compound
163 {\tt IsCompound(tag)} & a compound term (i.e.\ a structure or a list). \\
223 return with an instantiation fault if the prolog term \\
276 & unifies a general prolog term with an integer number. \\
279 & unifies a general prolog term with an float. \\
282 & unifies a general prolog term with an atom. \\
285 & unifies a general prolog term with the null list. \\
288 & unifies a general prolog term wit
[all...]
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dumscmacros.tex158 {\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 wit
[all...]

Completed in 223 milliseconds

12345678