/*
 Copyright (C) 1988,2005, Shinji Kono 
 Everyone is permitted to copy and distribute verbatim copies
 of this license, but changing it is not allowed.  You can also
 use this wording to make the terms for other programs.

 send your comments to kono@ie.u-ryukyu.ac.jp
*/

%
%	tokio standard macro definition
%
%		Sat Sep  7 16:45:15 JST 1985
%               $Header$

'$define'	( *A :- *A = 1 ).
'$define'	( not(*A) :- *A = 0 ).

% '$define'	( (A | B) :- A,!,B ).   ! = | in some prolog

'$define' 	(A ; B :- H)
'$clause' 	(H :- A)
'$clause' 	(H :- B). 

'$define' 	(if A then B else C :- H)
'$clause'	(H :- A,!,B)
'$clause'	(H :- C).

'$define'	(if A then B :- H)
'$clause'	(H :- A,!,B)
'$clause' 	(H).

'$define'	(not(A) :- H)
'$clause'	(H :- A,!,fail)
'$clause' 	(H).

'$define'	(while A do B :- H)
'$clause'	(H :- A,!,( B && H))
'$clause'	(H :- empty).

'$define'	(A && B) :- A,@true & B.	% strong chop

'$define'	(fin(A) :- H)
'$clause'	(H :- ifEmpty(A), next(H)).

'$define'	(keep(A) :- H)
'$clause'	(H :- ifNotEmpty(A), next(H)).

'$define'	(more :- @true).		% better than notEmpty?

'$define'	(#P :- Q)			% |t|
'$clause'	(Q :- P, next(Q)).

'$define'	([](P) :- Q)			% |t|
'$clause'	(Q :- P, next(Q)).

'$define'	('||'P :- Q)			% Sun Oct 13 16:48:00 JST 1985
'$clause'	(Q :- (P & true), next(Q)).

'$define' 	( {P} :- P ).

'$define'	( A gets B :- keep(@A = B) ).

'$define'	( stable(A) :- A gets A ).

'$define'	( <>P :- true &&  P).

'$define'	( halt(P) :- # (if P then empty else @true)).

'$define' 	( '$CNT'(A) <-- B :- '$CNT'(A) = B ).    %% tricky!

% many kind of temporal assignments

'$define'	( A <- B	:- C <-- B, fin( A =  C) ).
'$define'	( A <= B	:- C <-- B, fin( A :=  C) ).
'$define'	( [] <<- B	:- true).
'$define'	( [H|T] <<- B	:- C <-- B, fin( H =  C), T <<- C).
'$define'	( [] <== B	:- true).
'$define'	( [H|T] <== B	:- C=B,H <== B,T <== C).
% next two macros are processed in tp.pl
% '$define'	( A <= B	:- C <-- B, fin( A := C) ).
% '$define'	( *A <= B	:- D <-- A, C <-- B, fin( *D := C) ).

'$define'	( skip :- @empty ).

'$define'	( beg(X) :- empty,X & true ).

'$define' 	(call(H) :- r_tokio_call(H)).

 %% system macro end

'$define' 	('r_initr_').