/barrelfish-2018-10-04/usr/skb/octopus/ |
H A D | code_generator.c | 3 * \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 D | loaddata.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_PandaboardES.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_VE_A15x1.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_VE_A9x1.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_VE_A9x4.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_fvp.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_qemu.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_zynq7.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_VE_A15x4.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_apm88xxxx.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_cn88xx.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_VE_A15x4_A7x4.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
H A D | plat_omap44xx.pl | 5 % This file is distributed under the terms in the attached LICENSE file.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsbugs.tex | 44 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 D | extsuspend.tex | 174 \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 D | mercury.pl | 3 % This file may only be copied under the terms of the GNU Library General
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embexdr.tex | 86 \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 D | embed.tex | 394 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 D | umsterm.tex | 27 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 D | cardinal_functions.pl | 22 % 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 D | Glossary.tex | 12 % This file is distributed under the terms in the attached LICENSE file.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | builtins.tex | 58 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 D | FutureWork.tex | 17 \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 D | http.pl | 60 messages into Prolog terms) and pretty printing (from prolog terms
|