Searched refs:sepia_kernel (Results 1 - 25 of 91) sorted by relevance

1234

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Devents.pl34 * 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 Dsockets.pl108 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 Dmegalog.pl154 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 Dsystools.pl56 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 Dkernel.pl36 % 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 Dstat.pl89 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 Dcprof.pl47 :- import call_c/2 from sepia_kernel.
H A Delipsys.pl184 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 Dsuspend.pl49 :- 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 Dgoedel.pl57 from sepia_kernel.
140 from sepia_kernel.
H A Dmps.pl47 :- begin_module(sepia_kernel).
64 % from sepia_kernel.
H A Ddfid.pl76 :- import(sepia_kernel)@dfid.
82 from sepia_kernel.
H A Dstatistics.pl49 from sepia_kernel.
H A Darray.pl34 * IDENTIFICATION: array.pl, part of module(sepia_kernel)
H A Dspell.pl57 :- 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 Doldio.pl76 from sepia_kernel.
H A Dtconv.pl32 * IDENTIFICATION: tconv.pl, part of module(sepia_kernel)
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dwake.pl55 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 Dopiumtop.pl35 :- import extension/1 from sepia_kernel.
47 (import get_opiumdir/1 from sepia_kernel)
H A Dopium.pl44 %:- 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 Dopium_light_kernel_patch.pl53 from sepia_kernel.
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dporting.pl16 from sepia_kernel.
/barrelfish-master/usr/eclipseclp/lib_tcl/
H A Declipse.tcl202 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 Dchr.pl49 ( 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 Dchangeset.pl134 :- import setarg/3 from sepia_kernel.
135 :- import get_attribute/3 from sepia_kernel.

Completed in 220 milliseconds

1234