/barrelfish-master/lib/term/client/ |
H A D | default_triggers.c | 19 #include <term/client/default_triggers.h>
|
H A D | trigger.c | 21 #include <term/client/client.h> 22 #include <term/client/trigger.h>
|
H A D | filter.c | 23 #include <term/client/client.h> 24 #include <term/client/filter.h>
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsmacros.tex | 44 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 D | umsterm.tex | 64 %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 D | umssyntax.tex | 44 \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 D | umsterm.tex | 32 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 D | EXDROutputStream.java | 46 * 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 D | EXDRInputStream.java | 86 * 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 D | read.c | 77 * _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 D | bip_record.c | 73 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(©_pw, &obj->term); [all...] |
H A D | bip_parallel.c | 151 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 D | eg_cc_test.cc | 99 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 D | lex.h | 169 * - 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 D | client.h | 21 #include <term/client/defs.h>
|
H A D | defs.h | 22 #include <term/defs.h>
|
H A D | client_blocking.h | 21 #include <term/client/defs.h>
|
/barrelfish-master/usr/drivers/serial/ |
H A D | terminal_service.c | 21 #include <term/server/server.h> 22 #include <term/defs.h>
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | xml.pl | 40 * 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 D | terminal.c | 21 #include <term/client/client_blocking.h>
|
/barrelfish-master/lib/posixcompat/ |
H A D | pty.h | 16 #include <term/server/server.h>
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | pretty_print.pl | 48 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 D | numbervars.pl | 48 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 D | umscmacros.tex | 144 {\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 D | 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 wit [all...] |