Kernel/lib/kernel.pl

7 % in compliance with the License.  You may obtain a copy of the License
117    op_(global,	650, xfx, with	, sepia_kernel),
329 % try to re-load the eclipse shared library (now with the right options).
369 % and yields with the proper return codes.
417     % We may be resumed with one of the following resume codes:
718 % sign:		Signature is powm(Digest,D,N)	with private_key(D,N)
719 % validate:	Digest =:= powm(Signature,E,N)	with public_key(E,N)
726 	public_key(E, N),	% could succeed with alternative keys
1002 % rerecord_body/3 removes all values associated with the first argument before
1003 % associating the second argument with the first
1309 % suceeds or fail with bip error set
1394 % The handler then records the pragma (together with its module context)
1397 % Compound terms: any pragma with identical functor name overrides any
1398 % previously given pragma with the same functor, e.g. in
1517 	check_callable(Goal),	% may fail with bip_error set
1782 % May fail with bip_error set
1826 % Fails with bip_error set.
1891 % call the specified goal with the given priority, on return force waking
2038 	timestamp_age(Item, 1, Age),	% don't merge this line with the next!
2072 % Result is List with Element removed
2268 % may fail with bip_error set
2379 % This only needs to deal with the non-predicate directives,
2383 import_interface(Module, Where) :-		% may fail with bip_error
2398     % Doesn't have to deal with reexports, they are expanded before
2417     % may fail with bip_error
2461 set_toplevel_module(M) :-		% fails on error with bip_error set
2498 	    writeln(error, "Switch on the garbage collector with \"set_flag(gc,on).\"")
2731 % the result (to make it consistent with the expanded arithmetic).
2866 % This is compatible with all arithmetic operations. It means that min/max
3630 	    local_(PredSpec, M)			% may fail with bip_error
3632 	set_proc_flags(PredSpec, Flag, Value, M). % may fail with bip_error
4235     current_functor(N, A, 2, 0),	% functors with predicates only
4303 	Don't forget to terminate your input with a full stop.\n\
4346 % If it exits with a positive integer Tag, this is interpreted as
4391 % Make annotated term for TermOut with same annotation as In.
4585 % And the same with annotated terms, called form read_annotated/2,3
4586 % Keep this in sycnc with expand_macros_/3!
4660 	    /* with annotated goal, arity 4 or 5 */
4837 :- define_macro('with attributes'/2, tr_with_attributes/3, [global]).
4840 tr_with_attributes(no_macro_expansion('with attributes'(X,Attrs)), X, Module) :-
4843 %	    error(122, no_macro_expansion('with attributes'(X,Attrs)), Module)
5215 :- define_macro((with)/2, tr_with/5, [global]),
5294 % the macro transformation for with/2
5297 	Term = no_macro_expansion(Functor with Args),
5301         TermAnn = no_macro_expansion(AnnFunctor with _AnnArgs),
5483     % make the two templates for F (OldTemplate and NewTemplate) with the
5723 to numeric priorities (which only gets changed when someone comes up with
5974 % - they are currently always qualified with sepia_kernel:...
6035 % - they are always qualified with sepia_kernel:...
6852 % handles "arrays" with "unorthodox" shape (e.g. different rows containing
6857 % inside the arrays (consistent with dim/2), since empty dimensions are
7122     % Works with Step of either sign; assumes the "To" values have been
7127     % Actually, we call it with RevStop instead of RevFrom, which is
7431 :- deprecated(name/2,			"Use string_list/2 with atom_string/2 or number_string/2").