/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | events.pl | 396 % ISO style: throw error term 773 compiled_file_handler(_, term, _, _, _) :- !. 1099 subtract(A, [local,read,term], A1), sort(A1, NormFlags), 1100 subtract(B, [local,read,term], B1), sort(B1, NormFlags).
|
H A D | test_util.pl | 206 desc:"The exception term thrown must be an instance (see instance/2) of Exception", 217 desc:"The exception term thrown must be an instance (see instance/2) of Exception", 579 % The thrown term should be an instance of the Expected template.
|
H A D | tracer.pl | 393 % A simple term-spy implementation
|
H A D | kernel.pl | 1874 arg(1, Goal, Term), % if it fails return the old term 4352 % term, % var, atomic or compound 4391 % Make annotated term for TermOut with same annotation as In. 4393 % In = annotated_term{term:TermIn}, 4394 % update_struct(annotated_term, [term:TermOut], In, Out) 4401 % Make annotated term for TermOut, inheriting location from In. Similar to: 4402 % update_struct(annotated_term, [term:TermOut,type:TypeOut], In, Out) 4536 % This is called just after parsing (if the term contains read-macros). 4698 % singleton warnings when the annotated term gets compiled. 4957 portray_term_(Term, Portrayed, term, Modul [all...] |
H A D | quintus.pl | 84 works on every input term, provided that the flag
|
H A D | suspend.pl | 147 % forward them to the variables in the bound term
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | read.pl | 52 % reads a term from the current input stream and unifies it with
|
H A D | tidy.pl | 73 BUG: if the exponent of a term eventually simplifies to 1, the base
|
H A D | xml_acquisition.pl | 18 * character codes XML into the Prolog term Document. Controls is a list
|
H A D | distfix.pl | 90 % reads a term from the current input stream and unifies it with
|
/barrelfish-master/lib/posixcompat/ |
H A D | select.c | 18 #include <term/server/server.h>
|
/barrelfish-master/usr/fish/ |
H A D | fish_common.c | 30 #include <term/client/client_blocking.h>
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | ic.tex | 296 term. See section~\ref{sec:eval} for an more detailed explanation of 432 appended to the term as an extra argument, and then the term 462 variable when it is in fact the term \texttt{+(X1,+(X2,+(...)))} 1322 The IC attribute is a meta-term which is attached to all variables which
|
H A D | gfd.tex | 1227 The GFD attribute is a meta-term which is attached to all GFD problem variables.
1547 raised if a GFD variable occurs in a term that is being copied for such purpose
|
/barrelfish-master/lib/tommath/ |
H A D | tommath.tex | 291 The term ``mp\_int'' shall refer to a composite structure which contains the digits of the integer it represents, as well 2842 When picking points to gather relations there are always three obvious points to choose, $y = 0, 1$ and $ \infty$. The $\zeta_0$ term 2843 is simply the product $W(0) = w_0 = a_0 \cdot b_0$. The $\zeta_1$ term is the product 2850 $\left (2^q \right )^{2n} \cdot \zeta_{2^{-q}}$ for small values of $q$. The term ``mirror point'' stems from the fact that 2941 By adding the first and last equation to the equation in the middle the term $w_1$ can be isolated and all three coefficients solved for. The simplicity 2970 Calculate the middle term. \\ 3242 represent the number being squared. The first observation is that in row $k$ the $2k$'th column of the product has a $\left (x_k \right)^2$ term in it. 3244 The second observation is that every column $j$ in row $k$ where $j \ne 2k$ is part of a double product. Every non-square term of a column will 3248 The third and final observation is that for row $k$ the first unique non-square term, that is, one that hasn't already appeared in an earlier row, 3300 the inner loop computes the columns of the partial result. Step 4.1 and 4.2 compute the square term fo [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsmemory.tex | 122 As a general rule, when a stored term is overwritten, the space for
|
H A D | umscompiler.tex | 98 This predicate is used to compile a given term, 774 textual sources and term compilation:
|
H A D | umsflags.tex | 500 during the term input if this flag is not {\bf off},
|
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | dict.c | 1181 /* term comparison */ 1362 d_.term = in_dict("term", 0); 1403 * being set in pointers (in)to these persistent heap term. 1501 * PFAIL: the term cannot be tabled in a meaningful way, 1504 * INSTANTIATION_FAULT: the term was nonground 1565 * Mark it as a persistent heap term. 1566 * This will also make any DIDs within the term permanent,
|
H A D | write.c | 107 goto _pwrite_; /* print the transformed term */ \ 317 writes the Prolog term (tag,val) to the current output stream. 318 The term is written according to the current operator 336 The Prolog term is written to the current output stream 419 writes the Prolog term (tag,val) to the specified output stream. 420 The term is written according to the current operator 461 writes the Prolog term (tag,val) using portray/1,2 if it exists. 462 The term is written according to the current operator 480 writes the Prolog term (tag,val) to the specified output stream, 482 The term i [all...] |
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | constimpl.tex | 327 The term {\bf resolvent} originates from Logic Programming.
|
H A D | umsusing.tex | 373 {\tkeclipse} windows is disallowed. This prevents the term from
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | kl-one.pl | 72 isa(term, and(top, and(some(arity) is number, and(some(arity) is greater(-1), some(functor) is top)))).
|
/barrelfish-master/doc/014-bulk-transfer/ |
H A D | bulk-transfer.tex | 281 This section briefly explains the term used in the design 329 \item \textbf{Classification:} This term refers to the
|
/barrelfish-master/usr/skb/programs/ |
H A D | irq_routing_new.pl | 108 % mem_write(_,_) term (ie: OutMsg = mem_write(A,B)).
|