customRangeListGeneratorTheory

A database that implements custom "range" to generate lists; it should test backtracking functionality along with arithmetic

range(N, N, [N]) :- !.
range(M, N, [M | Ns]) :-
      M < N,
      M1 is M + 1,
      range(M1, N, Ns).