% -*- Prolog -*-
%
% Compilation: arithmetic.
%
% $Id: 204,v 1.1 2000/11/03 11:08:11 peteg Exp $

:- compile(range/3).

range(M,N,[M|Ns]) :-
	M < N,
	M1 is M + 1,
	range(M1,N,Ns).
%range(_A0, _B0, _C0) :-
%        unify(_C0, [_D0|_E0]),
%        unify(_A0, _D0),
%        lt(_A0, _B0),
%        unify(_G0, +(_H0, _I0)),
%        unify(_A0, _H0),
%        unify(_I0, 1),
%        is(_F0, _G0),
%        range(_F0, _B0, _E0).

range(N,N,[N]) :- !.
%range(_A0, _B0, _C0) :-
%        unify(_A0, _B0),
%        unify(_C0, [_D0|_E0]),
%        unify(_A0, _D0),
%        unify(_E0, []),
%        _cut.

main :-
	range(0, 20, X), write(X), nl.
