Prolog5.2 ошибка 701 анализа петли

Question

У меня есть маленький код пролога, который является правильным, но не хочет запускаться из-за ошибки, называемой анализом цикла

domains
    list=integer*
predicates
   reverse(list,list,list).
clauses
   reverse([H|T],R,X):-reverse(T,[H|R],X).



Goal
reverse([1,2,3],X,[4,5]).