Kernel/lib/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),
57    op_(global, 1190,  fy, help	, sepia_kernel),
58 %   op_(global, 1180, xfx, -?-> , sepia_kernel),
59    op_(global, 1180,  fx, -?->	, sepia_kernel),
60    op_(global, 1190,  fx, delay , sepia_kernel),
61    op_(global, 1170, xfy, else	, sepia_kernel),
62    op_(global, 1160,  fx, if	, sepia_kernel),
63    op_(global, 1150, xfx, then	, sepia_kernel),
64    op_(global, 1100, xfy, do	, sepia_kernel),
65    op_(global, 1100, xfy, ;	, sepia_kernel),
66    op_(global, 1100, xfy, '|'	, sepia_kernel),
67    op_(global, 1050, xfy, ->	, sepia_kernel),
68    op_(global, 1050, xfx, *->	, sepia_kernel),
69    op_(global, 1050,  fy, import, sepia_kernel),
70    op_(global, 1050,  fy, reexport, sepia_kernel),
71    op_(global, 1050, xfx, from	, sepia_kernel),
72    op_(global, 1050, xfx, except, sepia_kernel),
73    op_(global, 1000,  fy, dynamic, sepia_kernel),
74    op_(global, 1000,  fy, abolish, sepia_kernel),
75    op_(global, 1000,  fy, mode	, sepia_kernel),
76    op_(global, 1000,  fy, local , sepia_kernel),
77    op_(global, 1000,  fy, global, sepia_kernel),
78    op_(global, 1000,  fy, export, sepia_kernel),
79    op_(global, 1000,  fy, parallel, sepia_kernel),
80    op_(global, 1000,  fy, demon , sepia_kernel),
81    op_(global,	900,  fy, ~	, sepia_kernel),
82    op_(global, 1000,  fy, listing, sepia_kernel),
83    op_(global,	900,  fy, once	, sepia_kernel),
84    op_(global,	900,  fy, not	, sepia_kernel),
85    op_(global,	900,  fy, \+	, sepia_kernel),
86    op_(global, 1000,  fy, spy	, sepia_kernel),
87    op_(global, 1000,  fy, nospy , sepia_kernel),
88    op_(global, 1000,  fy, traceable, sepia_kernel),
89    op_(global, 1000,  fy, untraceable, sepia_kernel),
90    op_(global, 1000,  fy, skipped, sepia_kernel),
91    op_(global, 1000,  fy, unskipped, sepia_kernel),
92    op_(global,	700, xfx, ::	, sepia_kernel),
93    op_(global,	700, xfx, #=	, sepia_kernel),
94    op_(global,	700, xfx, #\=	, sepia_kernel),
95    op_(global,	700, xfx, #>	, sepia_kernel),
96    op_(global,	700, xfx, #<	, sepia_kernel),
97    op_(global,	700, xfx, #>=	, sepia_kernel),
98    op_(global,	700, xfx, #=<	, sepia_kernel),
99    op_(global,	700, xfx, #<=	, sepia_kernel),
100    op_(global,	700, xfx, =..	, sepia_kernel),
101    op_(global,	700, xfx, =	, sepia_kernel),
102    op_(global,	700, xfx, ~=	, sepia_kernel),
103    op_(global,	700, xfx, \=	, sepia_kernel),
104    op_(global,	700, xfx, ==	, sepia_kernel),
105    op_(global,	700, xfx, \==	, sepia_kernel),
106    op_(global,	700, xfx, @<	, sepia_kernel),
107    op_(global,	700, xfx, @=<	, sepia_kernel),
108    op_(global,	700, xfx, @>	, sepia_kernel),
109    op_(global,	700, xfx, @>=	, sepia_kernel),
110    op_(global,	700, xfx, is	, sepia_kernel),
111    op_(global,	700, xfx, =:=	, sepia_kernel),
112    op_(global,	700, xfx, =\=	, sepia_kernel),
113    op_(global,	700, xfx, <	, sepia_kernel),
114    op_(global,	700, xfx, =<	, sepia_kernel),
115    op_(global,	700, xfx, >	, sepia_kernel),
116    op_(global,	700, xfx, >=	, sepia_kernel),
117    op_(global,	650, xfx, with	, sepia_kernel),
118    op_(global,	650, xfx, of	, sepia_kernel),
119    op_(global,	650, xfx, @	, sepia_kernel),
120    op_(global,	600, xfy, :	, sepia_kernel),
121    op_(global,	600, xfx, ..	, sepia_kernel),
122    op_(global,	500, yfx, +	, sepia_kernel),
123    op_(global,	500, yfx, -	, sepia_kernel),
124    op_(global,	500, yfx, /\	, sepia_kernel),
125    op_(global,	500, yfx, \/	, sepia_kernel),
126    op_(global,	400, yfx, /	, sepia_kernel),
127    op_(global,	400, yfx, *	, sepia_kernel),
128    op_(global,	400, yfx, //	, sepia_kernel),
129    op_(global,	400, yfx, >>	, sepia_kernel),
130    op_(global,	400, yfx, <<	, sepia_kernel),
131    op_(global,	400, yfx, rem	, sepia_kernel),
132    op_(global,	400, yfx, div	, sepia_kernel),
133    op_(global,	400, yfx, mod	, sepia_kernel),
134 %  op_(global,	300,  fx, *	, sepia_kernel),
135    op_(global,	200, xfy, ^	, sepia_kernel),
136    op_(global,	200,  fy, +	, sepia_kernel),
137    op_(global,	200,  fy, -	, sepia_kernel),
138    op_(global,	200,  fy, \	, sepia_kernel).
149 :- tool_(tool/2, tool_/3, sepia_kernel).	% tool declarations
272 :- set_proc_flags(trace/1, spy, off, sepia_kernel). % spy was inherited...
281 	make_array_(library, prolog, local, sepia_kernel),
283 	make_array_(library_path, prolog, local, sepia_kernel),
289 	make_array_(break_level, prolog, local, sepia_kernel),
291 	make_array_(prolog_suffix, prolog, local, sepia_kernel),
293 	make_array_(eclipse_object_suffix, prolog, local, sepia_kernel),
295 	make_array_(eclipse_info_suffix, prolog, local, sepia_kernel),
297 	make_array_(version_cache, prolog, local, sepia_kernel).
305 ?- make_array_(default_language, prolog, local, sepia_kernel),
316 ?- make_array_(toplevel_trace_mode, prolog, local, sepia_kernel),
318 ?- make_array_(compiled_stream, prolog, local, sepia_kernel),
320 ?- make_array_(compile_stack, reference([]), local, sepia_kernel).
323 ?- make_array_(ignore_eof, prolog, local, sepia_kernel),
472 ?- set_error_handler_(ec_rpc,ec_rpc_in_handler/1,sepia_kernel).
1144 compile_term(Term) :- ecl_compiler:compile_term(Term).	% @sepia_kernel
1145 compile_term(Term,Options) :- ecl_compiler:compile_term(Term,Options).	% @sepia_kernel
1179 	    error(166, FileAtom-(sepia_kernel:load_eco(FileAtom,Module)), Module)
1917 	    sepia_kernel:subcall_init,
1920 	    sepia_kernel:subcall_fini(Delayed)
1928 		sepia_kernel:set_priority(Prio),
1930 		sepia_kernel:set_priority(P),
2175     interpret_obsolete_queries(call_explicit(Goal,sepia_kernel), IGoal) :-
2177     interpret_obsolete_queries(sepia_kernel:Goal, IGoal) :-
2252 	    ; is_locked(Mod), From_mod\==sepia_kernel, \+authorized_module(From_mod) ->
2253 		% locked modules can only be deleted from sepia_kernel
2276 % Cleanup: Erase all modules except sepia_kernel, and finalize sepia_kernel.
2281 	module_tag(sepia_kernel, Self),
3762 	Module \== sepia_kernel, !,
4223 ?- make_array_(profile_module, prolog, local, sepia_kernel).
4256 prof_replace_pred(free_variables,	4, sepia_kernel, bagof_body/4,	0) :- !.
4257 prof_replace_pred(free_variables,	5, sepia_kernel, bagof_body/4,	0) :- !.
4258 prof_replace_pred(collect_instances,	4, sepia_kernel, bagof_body/4,	0) :- !.
4259 prof_replace_pred(make_key,		3, sepia_kernel, bagof_body/4,	0) :- !.
4260 prof_replace_pred(eval,			3, sepia_kernel, arithmetic,	1) :- !.
4261 prof_replace_pred(compare_handler,	4, sepia_kernel, arithmetic,	1) :- !.
4262 prof_replace_pred(evaluating_goal,	5, sepia_kernel, arithmetic,	1) :- !.
4263 prof_replace_pred(recordz_instances,	3, sepia_kernel, all_solutions, 2) :- !.
4264 prof_replace_pred(chk_nmbr_lst,		2, sepia_kernel, name/2,	3) :- !.
4265 prof_replace_pred(susps_to_goals,	2, sepia_kernel, delayed_goals/2,4):- !.
4266 prof_replace_pred(collect_goals,	3, sepia_kernel, coroutining,	5) :- !.
4267 prof_replace_pred(collect_goals,	4, sepia_kernel, coroutining,	5) :- !.
4268 prof_replace_pred(extract_goals,	4, sepia_kernel, coroutining,	5) :- !.
4269 prof_replace_pred(wake_list,		1, sepia_kernel, coroutining,	5) :- !.
4270 prof_replace_pred(untraced_call,	2, sepia_kernel, metacall,	6) :- !.
4271 prof_replace_pred(call_priority,	3, sepia_kernel, metacall,	6) :- !.
4272 prof_replace_pred((','),		4, sepia_kernel, metacall,	6) :- !.
4273 prof_replace_pred((;),			4, sepia_kernel, metacall,	6) :- !.
4274 prof_replace_pred((;),			5, sepia_kernel, metacall,	6) :- !.
4275 prof_replace_pred(length1,		2, sepia_kernel, length/2,	7) :- !.
4276 prof_replace_pred(length,		3, sepia_kernel, length/2,	7) :- !.
4277 prof_replace_pred(member,		3, sepia_kernel, member/2,	8) :- !.
4278 prof_replace_pred(reverse,		3, sepia_kernel, reverse/2,	9) :- !.
4279 prof_replace_pred(subscript1,		5, sepia_kernel, subscript/3,  10) :- !.
4280 prof_replace_pred(subscript2,		6, sepia_kernel, subscript/3,  10) :- !.
4281 prof_replace_pred(subscript3,		5, sepia_kernel, subscript/3,  10) :- !.
4282 prof_replace_pred(subscript,		4, sepia_kernel, subscript/3,  10) :- !.
4283 prof_replace_pred(forallc,		4, sepia_kernel, do/2,         11) :- !.
4673 		    TLM = sepia_kernel
5894 	trans_expr(Y, RY, Code1, sepia_kernel:Out),
5930 	    Call = sepia_kernel:Pred,
5933 	    Call = sepia_kernel:Pred,
5961 	Code0 = sepia_kernel:NewGoal,
5974 % - they are currently always qualified with sepia_kernel:...
6035 % - they are always qualified with sepia_kernel:...
6135 	Code0 = sepia_kernel:subscript(Mat, EvalIndexList, Res).
6438 	(sepia_kernel:foreachelem_next(I,Arr,Stack,I1,Arr1,Stack1,Elem),Goals), Goals,
6448 	(sepia_kernel:foreachelem_next(I,Arr,Stack,I1,Arr1,Stack1,Elem,Idx),Goals), Goals,
6458 	(sepia_kernel:foreachelem_next(I,Arr,Stack,I1,Arr1,Stack1,_,Idx),Goals), Goals,
6598 		sepia_kernel:multifor_init(N, From, To, Step, RevFrom, RevTo, RevStep, RevStop),
6602 		sepia_kernel:multifor_next(RevIdx, RevStop, RevTo, RevStep, RevIdx1, [], Idx),
7509 ?-	make_array_(eclipse_tmp_dir, prolog, local, sepia_kernel),