Searched refs:terms (Results 1 - 25 of 190) sorted by relevance

12345678

/barrelfish-2018-10-04/usr/skb/octopus/
H A Dcode_generator.c3 * \brief This file contains functions to generate Eclipse CLP terms based on
11 * This file is distributed under the terms in the attached LICENSE file.
37 struct pword_pair terms; local
38 terms.is_attribute = true;
42 terms.value = ec_atom(ec_did(p->u.in.str, 0));
47 terms.value = ec_string(p->u.sn.str);
51 terms.value = ec_double(p->u.fn.value);
55 terms.value = ec_long(p->u.cn.value);
59 terms.value = ec_newvar();
63 terms
80 struct pword_pair terms = visit_attribute_right(p->u.cnsn.value); local
[all...]
/barrelfish-2018-10-04/usr/skb/programs/
H A Dloaddata.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_PandaboardES.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_VE_A15x1.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_VE_A9x1.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_VE_A9x4.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_fvp.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_qemu.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_zynq7.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_VE_A15x4.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_apm88xxxx.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_cn88xx.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_VE_A15x4_A7x4.pl5 % This file is distributed under the terms in the attached LICENSE file.
H A Dplat_omap44xx.pl5 % This file is distributed under the terms in the attached LICENSE file.
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsbugs.tex44 Note however that the arity of compound terms is unlimited.
54 \item \index{cyclic terms}When the occur check is disabled (the default)
68 Not all {\eclipse} built-in predicates handle cyclic terms gracefully.
77 These will typically loop or overflow a stack when applied to cyclic terms.
78 Note however that, starting from version 5.6, cyclic terms are allowed in all
H A Dextsuspend.tex174 \item It scans the two terms.
188 \item Otherwise it means that the two terms are equal and it fails.
193 If it finds a pair of unifiable terms, it returns them in
196 the two terms and scans recursively all their arguments.
212 true % the terms are different
282 In this way, we scan only the part of the terms which is absolutely
283 necessary to detect failure -- the two terms can become
288 original terms
290 Each time the suspension is woken, we scan the two terms
292 If, for instance, the compared terms ar
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/Mercury/
H A Dmercury.pl3 % This file may only be copied under the terms of the GNU Library General
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembexdr.tex86 \section{{\eclipse} primitives to read/write EXDR terms}
96 This predicate writes terms in exdr format.
98 from the "natural" mapping of the Eclipse terms.
111 EXDR terms.
115 \section{Serialized representation of EXDR terms}
121 for EXDR terms. This definition corresponds to EXDR_VERSION 2:
145 version 1 encoded terms.
H A Dembed.tex394 The posting of goals and building of any {\eclipse} terms in general
542 \subsection{Building {\eclipse} terms}
547 The \verb.pword. C data type is used to store {\eclipse} terms. In C++ the
550 cases, since large terms are constructed on the {\eclipse} global stack.
553 The consequences of this are that terms will be garbage collected
554 or moved so terms do not survive the execution of {\eclipse}. In
555 particular, one cannot build such terms asynchronously while
556 {\eclipse} is running, for example this precludes building terms from
560 \subsection{Building atomic {\eclipse} terms}
567 /* making simple terms i
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dumsterm.tex27 General terms used in Prolog and \eclipse.
47 An atom, string or a number. A terms which does not contain other terms.
85 Compound terms are of the form
91 and {\it t_i} are terms, n is its arity. Lists and Pairs are also
92 compound terms.
203 Compound terms which are not pairs are also called {\it structures}.
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dcardinal_functions.pl22 % Alternatively, the contents of this file may be used under the terms of
27 % under the terms of either the GPL or the LGPL, and not to allow others to
28 % use your version of this file under the terms of the MPL, indicate your
32 % the terms of any one of the MPL, the GPL or the LGPL.
/barrelfish-2018-10-04/doc/001-glossary/
H A DGlossary.tex12 % This file is distributed under the terms in the attached LICENSE file.
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dbuiltins.tex58 copying routine to copy terms from the global stack (where they would be
136 Built-ins for input/output of complex terms.
193 term order, a total order on all terms, including variables (as documented
204 Built-ins to convert, compose, decompose and modify terms.
210 Meta-logical built-ins to test the type of terms.
/barrelfish-2018-10-04/tools/fof/
H A DFutureWork.tex17 \item[Paka terms with real holes:] in Section~\ref{sec:il_paka_paka},
18 we have seen that Paka terms are ignoring most of their holes by
48 ill-formed Filet-o-Fish terms, because the types of constructs have
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dhttp.pl60 messages into Prolog terms) and pretty printing (from prolog terms

Completed in 299 milliseconds

12345678