/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | toplevel.pl | 7 % in compliance with the License. You may obtain a copy of the License 39 % The server variant communicates with a user interface via 74 % succeeded with a "More" result). The result is as for call(...). 78 % succeeded with a "More" or "Yes" result). 85 % (idle,running,success) with the following transitions: 274 garbage_collect % to start with small variable numbers 310 % this deals with the history and goal expansion 467 % remote-eclipse was created with the UseQueues option) 655 invocation level. Exiting with a Control-D (or end_of_file) or
|
H A D | megalog.pl | 7 % in compliance with the License. You may obtain a copy of the License 39 ** are really minor. Look for %% to find predicates with incomplete 241 % are initialized with an unbound variable as value 251 exists with same boundaries 252 error and failure if array exists with different boundaries 299 ** executed when Goal is left with <event> 349 ** MegaLog : cyclic terms are detected and printed with <-> #n# 350 ** Sepia : default printing is with depth limitation 632 Sepia : information available with get_flag/3 731 Sepia : return string, with trailin [all...] |
H A D | modes.pl | 7 % in compliance with the License. You may obtain a copy of the License 36 % The abstract interpreter uses dataflow-driven computation with 42 % The abstract terms are represented with ECLiPSe metaterms. 59 will be called with, given the specified goal pattern. The mode 60 analyser is loaded with 66 analysis with a given call pattern and prints the results in the form 284 % and we use the worst case exit modes (by unifying every argument with ?). 308 % of Goal). Goal shares variables with Env, Env is usually the rest 342 % of clause parts with the current instantiations) 371 % head/subgoal, are marked with ' [all...] |
H A D | profile.pl | 7 % in compliance with the License. You may obtain a copy of the License 151 % Process the file with profiling output and record the ticks 174 % Make a list with all executed predicates
|
H A D | sepia.pl | 7 % in compliance with the License. You may obtain a copy of the License 131 % compatibility switches: can now be done module-wise with use_module/1 202 % no_delayed_goals/0 - the same achieved with delayed_goals/1
|
H A D | kb.pl | 7 % in compliance with the License. You may obtain a copy of the License 749 ** that unifies with the given clause. Clause must be 795 ** are disambiguated by prefixing them with <relation name>^. 994 % Deal with a ground argument for the first time 998 % Deal with a REDO for a ground argument 999 % Prepare a descriptor for a head with a matching variable 1008 % make sure that there is at least one head with a var in this position 1154 % deal with Ref tag in Att1 1161 % deal with Ref tag in Att2 1214 % deal with Re [all...] |
H A D | define.pl | 7 % in compliance with the License. You may obtain a copy of the License 71 * define_erased/0 is used to erase all the macros defined with
|
H A D | make.pl | 7 % in compliance with the License. You may obtain a copy of the License
|
H A D | pretty_print.pl | 7 % in compliance with the License. You may obtain a copy of the License
|
H A D | sicstus.pl | 7 % in compliance with the License. You may obtain a copy of the License 62 be wrapped in a separate module starting with a directive like 77 A sockets library is provided for compatibility with the sockets 186 % the original predicate is renamed with the help of a clause macro.
|
H A D | statistics.pl | 7 % in compliance with the License. You may obtain a copy of the License
|
/barrelfish-master/doc/012-services/ |
H A D | Services.tex | 218 together with a networking device. It may provide further surfaces 248 or deal with the primitives themselves. The functionality provided 315 programs with input and output. A terminal typically multiplexes 335 running entities in the system to log traces with it as well as to 411 % dealing with ram caps and bookkeeping which is BF specific 507 because it needs to communicate with the ethernet device 571 available to others, as well as to connect to and communicate with 628 The device management service works closely with the SKB since it 651 Group communication is typically associated with consensus protocols, 663 The locking service interacts closely with th [all...] |
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | m_tree234.pl | 99 summary: "Succeeds if Key and Value unify with a key/value pair from Tree.", 100 fail_if: "Fails if Key and Value do not unify with a key/value pair from Tree.", 105 Tries to unify Key and Value with key/value pairs from the tree Tree. 112 This predicate should only be called with trees created by other 126 fail_if: "Fails if Key does not appear in Tree or if Value does not unify with the corresponding value found.", 131 This predicate searches the tree Tree for an entry with key Key. 133 value with Value. 136 This predicate should only be called with trees created by other 150 fail_if: "Fails if Value does not unify with the value corresponding to Key.", 155 This predicate searches the tree Tree for an entry with ke [all...] |
/barrelfish-master/doc/006-routing/ |
H A D | Routing.tex | 42 with a fully-distributed Barrelfish instance, or between multiple 43 cores spread out over a PCIe bus (as is the case with Xeon Phi or 56 Most current multicore machines are fully connected via shared memory. This means that any core in the system can communicate with any other core in the system 64 \item If Barrelfish is operated on a cluster of machines, there is only an Ethernet-based ICD link between the core(s) where the network stack is running. In order to allow every core to communicate with every other core, the available link must be multiplexed. 111 need to communicate with each other. 116 The sender sends the message to a subset of nodes it wishes to communicate with. 121 If applications were written with the abstraction of a group layer, 146 The multi-hop interconnect driver was designed to be independent of the type of the underlying ICD links between the nodes on the multi-hop channel. This means that it uses the common flounder interface supported by all ICDs when interacting with the underlying ICD link and uses no ICD-specific knowledge. This design involves a performance penalty: Interacting directly with the underlying ICDs instead of via the common flounder-interface would certainly perform better. Nevertheless, we chose this design, as it gives us more flexibility: The multi-hop interconnect channel can run over all present and future interconnect drivers in Barrelfish, as long as they support the common flounder interface. 163 In addition to the forwarding table, each node maintains a routing table. The routing table is used for channel set-up: If a node receives a channel set-up request, it determines where to forward the request with th [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | extsuspend.tex | 6 % in compliance with the License. You may obtain a copy of the License 60 When it is called with a nonground term, it produces a delayed goal 287 We always wake the \bipref{dif/2}{../bips/lib/sicstus/index.html} call with the 292 If, for instance, the compared terms are lists with thousands of elements 342 instead of decomposing each element with 485 To cope with this problem, we can use the ``short 488 one being shared with the previous suspension and the second 489 one with the next suspension. 490 All suspensions are thus chained with these variables. 604 especially its unifiability with othe [all...] |
H A D | umsparallel.tex | 6 % in compliance with the License. You may obtain a copy of the License 91 explored in parallel by different workers, so one worker continues with X=blue, 92 another with X=red and a third one with X=green. 140 The library {\tt elipsys} provides compatibility with the ElipSys system and 180 spent their time, together with some other data about the parallel execution. 247 with the execution of similarly protected code on other workers. 363 directory. Their names start with {\tt nsrv}.
|
H A D | umssocket.tex | 6 % in compliance with the License. You may obtain a copy of the License 55 This can be done either with the 57 or with the option \notation{\%b} in 74 The host name is the same as obtained, e.g., with 88 After a socket is created with the 151 a message with clear boundaries.} 210 % Invoke eclipse on all machines with small load and let them execute 227 % ECLiPSe on remote hosts is invoked with
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embjava.tex | 6 % in compliance with the License. You may obtain a copy of the License 51 interfacing {\eclipse} with Java, Sun's popular object-oriented 54 program or to interface {\eclipse} with a commercial application 58 libraries) and a basic knowledge of how to interact with {\eclipse} 218 interfaces which contain the methods used when interacting with {\eclipse}. 229 \subsubsection*{Interact with {\eclipse} using methods in the {\it EclipseConnection} or {\it EclipseEngine} interface} 231 We interact with the {\eclipse} engine by invoking methods on the object 238 \subsubsection*{Terminate interaction with the {\eclipse}} 240 with {\eclipse}, the interaction should be terminated. Like 442 executed. How to construct this parameter is dealt with i [all...] |
/barrelfish-master/lib/libc/stdio/ |
H A D | vfprintf.c | 13 * Redistribution and use in source and binary forms, with or without 20 * documentation and/or other materials provided with the distribution. 87 int nseps; /* number of group separators with ' */ 93 * number with ndigits digits. This routine returns the total number 122 * Print a number with thousands' separators. 360 char buf[BUF]; /* buffer with space for digits of uintmax_t */ 377 #define PAD(howmany, with) { \ 378 if (io_pad(&io, (howmany), (with), locale)) \ 381 #define PRINTANDPAD(p, ep, len, with) { \ 382 if (io_printandpad(&io, (p), (ep), (len), (with), local [all...] |
H A D | vfwprintf.c | 13 * Redistribution and use in source and binary forms, with or without 20 * documentation and/or other materials provided with the distribution. 88 int nseps; /* number of group separators with ' */ 125 * number with ndigits digits. This routine returns the total number 151 * Print a number with thousands' separators. 440 wchar_t buf[BUF]; /* buffer with space for digits of uintmax_t */ 457 #define PAD(howmany, with) { \ 458 if (io_pad(&io, (howmany), (with), locale)) \ 461 #define PRINTANDPAD(p, ep, len, with) { \ 462 if (io_printandpad(&io, (p), (ep), (len), (with), local [all...] |
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | collect.pl | 37 diff_member(X,[Y|T]-T) :- % conflict with Opium member/2
|
/barrelfish-master/usr/eclipseclp/Opium/ |
H A D | pce_new.pl | 7 * in compliance with the License. You may obtain a copy of the License
|
/barrelfish-master/usr/eclipseclp/documents/internal/project/ |
H A D | Makefile | 6 % in compliance with the License. You may obtain a copy of the License
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | ic.tex | 6 % in compliance with the License. You may obtain a copy of the License 37 import separate solvers for each, with the solvers using different 39 appearing in both kinds of constraints would end up with two domain 40 representations, with extra constraints necessary to keep the two 52 since (with a few exceptions) the same propagation algorithms are used 87 working with integer variables in this kind of range is not 144 be unified with bounded reals (though direct unification is not recommended: 146 In contrast, RIA will fail with a type error if bounded reals are used in 152 The main problem with using floating point arithmetic instead of real 169 done using these bounds, with th [all...] |
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | manual.tex | 6 % in compliance with the License. You may obtain a copy of the License 89 % compatibility with previous MegaLog
|