Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате
Форум программистов > Prolog > Не могу разобраться с терминами


Автор: Alexey91 29.12.2011, 19:06
Здравствуйте!

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

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) будет просматривать правила (или факты) дальше.

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

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)