Kernel/lib/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, (X =:= Y), M).
518 ground_check(X $\= Y, M)	:- :@(sepia_kernel, (X =\= Y), M).
519 ground_check(X $>= Y, M)	:- :@(sepia_kernel, (X >= Y), M).
520 ground_check(X $=< Y, M)	:- :@(sepia_kernel, (X =< Y), M).
521 ground_check(X $> Y, M)		:- :@(sepia_kernel, (X > Y), M).
522 ground_check(X $< Y, M)		:- :@(sepia_kernel, (X < Y), M).
523 ground_check(X #= Y, M)		:- eval(X,XI,M), integer(XI), eval(Y,YI,M), integer(YI), :@(sepia_kernel, (XI =:= YI), M).
524 ground_check(X #\= Y, M)	:- eval(X,XI,M), integer(XI), eval(Y,YI,M), integer(YI), :@(sepia_kernel, (XI =\= YI), M).
525 ground_check(X #>= Y, M)	:- eval(X,XI,M), integer(XI), eval(Y,YI,M), integer(YI), :@(sepia_kernel, (XI >= YI), M).
526 ground_check(X #=< Y, M)	:- eval(X,XI,M), integer(XI), eval(Y,YI,M), integer(YI), :@(sepia_kernel, (XI =< YI), M).
527 ground_check(X #> Y, M)		:- eval(X,XI,M), integer(XI), eval(Y,YI,M), integer(YI), :@(sepia_kernel, (XI > YI), M).
528 ground_check(X #< Y, M)		:- eval(X,XI,M), integer(XI), eval(Y,YI,M), integer(YI), :@(sepia_kernel, (XI < YI), M).
529 ground_check(X and Y, M)	:- eval(X,XI,M), bool(XI), eval(Y,YI,M), bool(YI), sepia_kernel:(XI+YI > 1).
530 ground_check(X or Y, M)		:- eval(X,XI,M), bool(XI), eval(Y,YI,M), bool(YI), sepia_kernel:(XI+YI > 0).
531 ground_check(X => Y, M)		:- eval(X,XI,M), bool(XI), eval(Y,YI,M), bool(YI), sepia_kernel:(YI-XI >= 0).
568 	sepia_kernel:(From =< X),
569 	sepia_kernel:(X =< To),
572 	sepia_kernel:(From =< X),
573 	sepia_kernel:(X =< To).