Searched refs:term (Results 151 - 175 of 186) sorted by relevance

12345678

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Devents.pl396 % 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 Dtest_util.pl206 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 Dtracer.pl393 % A simple term-spy implementation
H A Dkernel.pl1874 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 Dquintus.pl84 works on every input term, provided that the flag
H A Dsuspend.pl147 % forward them to the variables in the bound term
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dread.pl52 % reads a term from the current input stream and unifies it with
H A Dtidy.pl73 BUG: if the exponent of a term eventually simplifies to 1, the base
H A Dxml_acquisition.pl18 * character codes XML into the Prolog term Document. Controls is a list
H A Ddistfix.pl90 % reads a term from the current input stream and unifies it with
/barrelfish-master/lib/posixcompat/
H A Dselect.c18 #include <term/server/server.h>
/barrelfish-master/usr/fish/
H A Dfish_common.c30 #include <term/client/client_blocking.h>
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex296 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 Dgfd.tex1227 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 Dtommath.tex291 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 Dumsmemory.tex122 As a general rule, when a stored term is overwritten, the space for
H A Dumscompiler.tex98 This predicate is used to compile a given term,
774 textual sources and term compilation:
H A Dumsflags.tex500 during the term input if this flag is not {\bf off},
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Ddict.c1181 /* 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 Dwrite.c107 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 Dconstimpl.tex327 The term {\bf resolvent} originates from Logic Programming.
H A Dumsusing.tex373 {\tkeclipse} windows is disallowed. This prevents the term from
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/
H A Dkl-one.pl72 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 Dbulk-transfer.tex281 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 Dirq_routing_new.pl108 % mem_write(_,_) term (ie: OutMsg = mem_write(A,B)).

Completed in 199 milliseconds

12345678