Как запросить количество вычислений для успешного запроса, который не достиг предела

Question

Я использую Tau-Prolog для вычисления некоторых вещей, я установил ограничение на 100, чтобы проверить что-то. Я иногда дохожу до лимита, потом поднимаю лимит.

Мне было интересно, этот предел измеряет производительность программы, поэтому есть ли способ запросить количество вычислений (откат?), Произведенных для данного запроса. Так что я понимаю, что происходит под капотом.

Например, у меня есть следующие определения:

      zip_pos([], [], []).
zip_pos([X|Xs], [Y|Ys], [X-Y|Rest]) :- zip_pos(Xs, Ys, Rest).
  


fwd_que(X-Y, X_-Y_, N) :- zip_pos(MX, MY, N), lefter(X-X_, MX), upper(Y-Y_, MY).

В определение, если я поставлю в конце он достигает предела, эта версия превышает предел, и результат не меняется. Поэтому мне было интересно, что вызывает это и как я могу обнаружить такие вещи.