Здравствуйте!

Видимо, я совсем запутался.
Где-то в лекциях видел пример:

predicates
f(X,Y)

f(X,0) if x < 3.    % 1-ое правило
f(X,1) if x < 6.    % 2-oe правило
f(X,2).                % 3 факт

т.е Y принимает значение 0, если Х < 3, значение 1, если Х < 6, и значение 2 если >= 6

Включаем трассировщик:
После того, как пролог прошел первое правило возвращается RETURN*
что значит звездочка?

Где-то пишутся остальные неиспользованные указатели откатов.
Где-то бактрэкинг.

Вообще разница между точкой отката и точкой возврата есть? Разные источники пишут по разному

Я понял, что это значит то, что он (prolog) будет просматривать правила (или факты) дальше.

И как я понял факты или правила просматриваются сверху вниз.