Суммирование чисел хвостовой рекурсией (Prolog)

[Bullrock]

Помогите новичку найти сумму чисел в интервале от N до M хвостовой рекурсией. Кое что смог набросать, но пока еще толком не въехал. Пишу на Visual Prolog 7.3.

implement sum
    open core, console
 constants
  className = "sum".
  classVersion = "".
 clauses
  classInfo(className, classVersion).
 class predicates
    sum:(integer , integer, integer ) procedure (i,i,o) determ(i,i,i).
 clauses
    sum(M,N,M):-
    M1 = M+1,
    R1 = R+M1,
    N><M,
    sum(M1,N,R).
 clauses
	run() :- 
	console::init(),
	stdIO::write("Input M: "),
	M= stdIO::read(),
	stdIO::write("Input N: "),
	N= stdIO::read(),
    sum(M,N,R), 
	stdIO::write("Sum is: "), 
	stdIO::write(R), 
	programControl::sleep(1000),
	succeed().
 end implement sum
 goal
	mainExe::run(sum::run).

Поправте плиз, дальше сам разберусь)))

[rrrFer]

sum(A, B, S, S):- A > B, !.
sum(A, B, TS, S):-
  TTS is TS + A, AA = A + 1, sum(AA, B, TTS, S). % в своем vip замени is на =

sum(A, B, S):-
  sum(A, B, 0, S).

не проверял