/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | master_basic.pl | 3 * some basic procedures
|
H A D | yoyo3.pl | 79 % test procedures 491 % ------ test procedures ----- 525 % ---------- end test procedures ------
|
H A D | pendulum.pl | 254 % stack handling procedures
|
H A D | check_entry.pl | 559 /* ------ test procedures ----- 598 /*% ---------- end test procedures ------ */
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsdynamic.tex | 50 designed to work on dynamic procedures. 58 Clauses of static procedures must always be consecutive, 87 and \about{Somefile} contains clauses for procedures that have 89 in the Prolog database, each of those procedures are treated in one of two ways. 180 {\eclipse} allows the user to modify procedures dynamically by adding 186 These predicates operate on dynamic procedures; if it is 191 \bipref{retract/1}{../bips/kernel/dynamic/retract-1.html} on static procedures 239 \item Only dynamic procedures can have clauses added or removed at run time. 245 \item Source tracing is not supported for dynamic procedures. 252 \item Internally, dynamic procedures ar [all...] |
H A D | umsterm.tex | 171 These are procedures which can be modified clause-wise, by adding or removing 173 interpreted procedures in other Prolog systems. See also \about{static 174 procedures}. 185 These are procedures which are defined in a language 286 %These are procedures which cannot be changed in any way, they are statically 338 Apart from regular procedures {\eclipse} recognises simple procedures 356 to specify a list of procedures in the 361 These are procedures which can only be changed as a whole unit, i.e., removed or
|
H A D | umsprofile.tex | 203 %\bipref{set_statistics/2}{../bips/kernel/obsolete/set_statistics-2.html}) procedures are counted 204 %\item {\bf all} - all traceable procedures are counted 219 %will sort with procedures that exited most frequently first. 226 %and hence procedures with many CALLS are crucial to the program's
|
H A D | umsporting.tex | 150 In the worst case, when (almost) all procedures have to be dynamic, 218 \item As the {\eclipse} compiler does not accept procedures whose clauses 221 directives if you want to compile such procedures.
|
H A D | umsintro.tex | 107 %it contains no interpreter, all procedures are compiled. 251 %set various leash modes of ports and procedures. 302 %external procedures may succeed or fail, 304 %call Prolog procedures from an external one.
|
H A D | umsdebug.tex | 81 succeeded and all procedures called by the clause succeeded), 119 procedures that do not have any alternative, then the execution flow 426 %The leashing mode can be specified separately for ports and procedures. 537 The debugger can trace only procedures which have been compiled in 555 non-debugged procedures are 558 \item They run slightly faster than the debugged procedures 560 the non-debugged procedures run considerably faster than the debugged 564 \item Their code is shorter than that of the debugged procedures. 567 Although only procedures compiled in the \notation{dbgcomp} mode can be 568 traced, it is possible to mix the execution of procedures i [all...] |
/barrelfish-master/usr/eclipseclp/Opium/ |
H A D | loadopium.pl | 83 * link commands/procedures to implementations to enable the bootstrapping 84 * before the scenario handler links together commands/procedures and their
|
H A D | opium_light.pl | 87 * link commands/procedures to implementations to enable the bootstrapping 88 * before the scenario handler links together commands/procedures and their
|
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | proc_desc.c | 80 * Lazy import: import(Module) implements lazy import, i.e. procedures are 195 pd->next_in_mod = module_property->procedures; 196 module_property->procedures = pd; 480 p_fprintf(current_output_,"No procedures"); 506 for (pd = ModuleItem(mod)->procedures; pd; pd = pd->next_in_mod) 1117 for (def = ModuleItem(mod)->procedures; def; def = def->next_in_mod) 1542 pd->next_in_mod = module_property->procedures; 1543 module_property->procedures = pd; 1763 * procedures. This should be done by a garbage collector only, because
|
H A D | bip_module.c | 277 m->procedures = 0; 893 resolve_pending_imports(import_prop->procedures); 948 /* first, clean the procedures, we can reclaim the space */ 949 erase_module_procs(pm->procedures);
|
H A D | dict.h | 431 pri *procedures; /* list of procedures in this module */ member in struct:module_item
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | ptags.pl | 73 a tags file for vi or ex. A procedures specified as Name/Arity 78 If there are several procedures with the same name and different
|
H A D | cprolog.pl | 126 compile/1. By default all compiled procedures are static.
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | runtime.tex | 138 | procedures: | | 304 of the {\eclipse} program, we often talk about procedures instead of 308 all the procedures known to the system. Procedure descriptors are 312 \item abstract machine code (allowing control transfer between procedures) 365 Lazy import\index{lazy import}: import(Module) implements lazy import, i.e. procedures are
|
H A D | builtins.tex | 99 Built-ins to create and manipulate dynamic procedures are implemented in
|
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | intro-sec.tex | 68 \item Full database recovery procedures are included.
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embtclmulti.tex | 111 Here is a more detailed description of the Tcl procedures: 360 by the following two procedures:
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | diaz_bool.pl | 312 /* Array procedures */
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | mp.tex | 145 User-defined notification procedures are called when new messages
|
/barrelfish-master/lib/openssl-1.0.0d/ |
H A D | makevms.com | 16 $! This procedures accepts two command line options listed below.
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | chr_doc.pl | 410 advanced constraint handling rules users to program labeling procedures
|