/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | events.pl | 34 * IDENTIFICATION: events.pl, part of module(sepia_kernel) 182 (import Tool from sepia_kernel)@LM 184 (reexport Tool from sepia_kernel)@LM 200 ( DM==sepia_kernel -> true ; DM==iso_strict ). 1222 ?- make_array_(trigger_suspensions, global_reference, local, sepia_kernel). 1367 ?- set_default_error_handler_(1, error_handler/2, sepia_kernel), 1368 set_default_error_handler_(2, error_handler/2, sepia_kernel), 1369 set_default_error_handler_(4, error_handler/4, sepia_kernel), 1370 set_default_error_handler_(5, error_handler/4, sepia_kernel), 1371 set_default_error_handler_(6, error_handler/4, sepia_kernel), [all...] |
H A D | sockets.pl | 108 sepia_kernel:socket(Dom, stream, Socket). label 112 sepia_kernel:bind(Socket, Name). label 117 sepia_kernel:connect(Socket, Name). label 120 sepia_kernel:listen(Socket, Length). label 123 sepia_kernel: accept(Socket, _, Stream). label 127 sepia_kernel: stream_select([Socket|Streams], TimeOut, ReadStreams0), label 129 sepia_kernel: accept(Socket, _, NewStream) ; ReadStreams = ReadStreams0 label 134 sepia_kernel:stream_select(Streams, TimeOut, ReadStreams). label
|
H A D | megalog.pl | 154 abolish P :- is_predicate(P), !, sepia_kernel::abolish(P). 163 dynamic [H|T] :- !, sepia_kernel::dynamic(H), dynamic T. 164 dynamic P :- sepia_kernel::dynamic(P). 167 listing [H|T] :- !, sepia_kernel::listing(H), listing T. 168 listing P :- sepia_kernel::listing(P). 173 retract(Clause) :- sepia_kernel::retract(Clause),!. 192 sepia_kernel::compound(Culprit), 197 ((sepia_kernel::is_predicate(F/Arity), abolish(F/Arity));true), 209 sepia_kernel::error_handler(63,Culprit). 211 :- sepia_kernel [all...] |
H A D | systools.pl | 56 from sepia_kernel. 296 % Print all predicates exported from sepia_kernel together with their class 304 (is_locked(sepia_kernel) -> 309 ul(sepia_kernel) 315 get_flag_body(X, visibility, exported, sepia_kernel), 316 get_flag_body(X, defined, on, sepia_kernel), 318 get_flag_body(Y, tool, on, sepia_kernel), 319 tool_body(Y, X, sepia_kernel) -> 323 get_error_handler(N, X, sepia_kernel) -> 327 get_interrupt_handler(N, X, sepia_kernel) [all...] |
H A D | kernel.pl | 36 % Prolog definitions that go into sepia_kernel. 37 % Note that the sepia_kernel module already exists: it 44 :-(begin_module(sepia_kernel)). 50 :-(op_(global, 1000, xfy, (',') , sepia_kernel)). 51 :-(op_(global, 1200, fx, :- , sepia_kernel)). 52 :- op_(global, 1200, xfx, ?- , sepia_kernel), 53 op_(global, 1200, fx, ?- , sepia_kernel), 54 op_(global, 1200, xfx, :- , sepia_kernel), 55 op_(global, 1200, xfx, --> , sepia_kernel), 56 op_(global, 1200, xfx, if , sepia_kernel), 1917 sepia_kernel:subcall_init, label 1920 sepia_kernel:subcall_fini(Delayed) label 1928 sepia_kernel:set_priority(Prio), label 1930 sepia_kernel:set_priority(P), label 6598 sepia_kernel:multifor_init(N, From, To, Step, RevFrom, RevTo, RevStep, RevStop), label 6602 sepia_kernel:multifor_next(RevIdx, RevStop, RevTo, RevStep, RevIdx1, [], Idx), label [all...] |
H A D | stat.pl | 89 from sepia_kernel. 92 sepia_kernel:vm_statistics(off), label 147 sepia_kernel:vm_statistics(off), label 156 sepia_kernel:vm_statistics(off), label 216 sepia_kernel:vm_statistics(off), label 225 sepia_kernel:vm_statistics(off), label
|
H A D | cprof.pl | 47 :- import call_c/2 from sepia_kernel.
|
H A D | elipsys.pl | 184 from sepia_kernel. 312 :- call_explicit(set_error_handler(24, eval_handler/2), sepia_kernel). 379 call_explicit(compound(Culprit), sepia_kernel), 400 :- call_explicit(set_error_handler(63,error_handler_63/3), sepia_kernel). 421 call_explicit(undef_array_handler(41,Goal,Module), sepia_kernel). 423 :- call_explicit(set_error_handler(41,error_handler_41/3), sepia_kernel). 553 get(X) :- repeat,call_explicit(get(X), sepia_kernel),X > 32,!. 554 get(X,S) :- repeat,call_explicit(get(S,X), sepia_kernel),X > 32,!. 558 get0(X) :- call_explicit(get(X), sepia_kernel). 559 get0(X,S) :- call_explicit(get(S,X), sepia_kernel) [all...] |
H A D | suspend.pl | 49 :- module(suspend, [], sepia_kernel). 99 from sepia_kernel. 304 (sepia_kernel: \==(X, Y, Vars), 511 ground_check(X =:= Y, M) :- :@(sepia_kernel, (X =:= Y), M). 512 ground_check(X =\= Y, M) :- :@(sepia_kernel, (X =\= Y), M). 513 ground_check(X >= Y, M) :- :@(sepia_kernel, (X >= Y), M). 514 ground_check(X =< Y, M) :- :@(sepia_kernel, (X =< Y), M). 515 ground_check(X > Y, M) :- :@(sepia_kernel, (X > Y), M). 516 ground_check(X < Y, M) :- :@(sepia_kernel, (X < Y), M). 517 ground_check(X $= Y, M) :- :@(sepia_kernel, ( 568 sepia_kernel:(From =< X), label 569 sepia_kernel:(X =< To), label 572 sepia_kernel:(From =< X), label 573 sepia_kernel:(X =< To). label [all...] |
H A D | goedel.pl | 57 from sepia_kernel. 140 from sepia_kernel.
|
H A D | mps.pl | 47 :- begin_module(sepia_kernel). 64 % from sepia_kernel.
|
H A D | dfid.pl | 76 :- import(sepia_kernel)@dfid. 82 from sepia_kernel.
|
H A D | statistics.pl | 49 from sepia_kernel.
|
H A D | array.pl | 34 * IDENTIFICATION: array.pl, part of module(sepia_kernel)
|
H A D | spell.pl | 57 :- import current_predicate_body/2 from sepia_kernel. 58 :- import error_handler/2 from sepia_kernel. 69 % since error_handler/2 form sepia_kernel is guaranteed never to be abolished.
|
H A D | oldio.pl | 76 from sepia_kernel.
|
H A D | tconv.pl | 32 * IDENTIFICATION: tconv.pl, part of module(sepia_kernel)
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | wake.pl | 55 from sepia_kernel. 65 call(export(wake/0), sepia_kernel), 71 get_flag_body(wake/0, visibility, exported, sepia_kernel) -> 73 call(global(wake/0), sepia_kernel)
|
/barrelfish-master/usr/eclipseclp/Opium/ |
H A D | opiumtop.pl | 35 :- import extension/1 from sepia_kernel. 47 (import get_opiumdir/1 from sepia_kernel)
|
H A D | opium.pl | 44 %:- import opium_level/1 from sepia_kernel. 45 :- import fd_open/3 from sepia_kernel. 262 % remote_once(setval(opium_pid, OpiumPid), sepia_kernel).
|
H A D | opium_light_kernel_patch.pl | 53 from sepia_kernel.
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | porting.pl | 16 from sepia_kernel.
|
/barrelfish-master/usr/eclipseclp/lib_tcl/ |
H A D | eclipse.tcl | 202 ec_rpc [list : sepia_kernel [list ecl_create_embed_queue $eclipse_name $access [list $event]]] (()(()()())) 388 [list : sepia_kernel [list set_embed_peer $name tcl]] (()(()S))
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | chr.pl | 49 ( sepia_kernel:last_suspension(LD), 52 sepia_kernel:new_suspensions(LD, []))). label 60 sepia_kernel:last_suspension(LD), label 63 sepia_kernel:new_suspensions(LD, []), label 82 :- import sepia_kernel. 625 :- (import subcall/3 from sepia_kernel), set_flag(subcall/3, leash, notrace).
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | changeset.pl | 134 :- import setarg/3 from sepia_kernel. 135 :- import get_attribute/3 from sepia_kernel.
|