for_loop_trans.pl

:-module(for_loop_trans,_).

:- op(800, fx, for).
:- op(799, xfx, to).
:- op(798, xfx, do).

remmp((:-A),(:-A)).
remmp((A :- B),(A :- NB)) :- buscarfor(B,NB).


%buscarfor((for B to C do D, F),(NB, NF)):-  buscarfor(F, NF).

buscarfor((for I = B to C do D, F),((hacia_alt(B,C,I,D)), NF)):-  buscarfor(F, NF).

buscarfor((Z,B), (Z, NB)):- buscarfor(B, NB).
buscarfor((for I = A to D do C), (hacia_alt(A,D,I,C))).

buscarfor(A,A).