Что обозначает в прологе -> ? - Prolog

Узнай цену своей работы

Формулировка задачи:

Столкнулась с примером где есть эта стрелка и хотелось бы разобраться но не могу найти в интернете что это обозначает предикат выглядит так
Заранее спасибо )

Решение задачи: «Что обозначает в прологе -> ?»

textual
Листинг программы
predicates
  func: (integer) -> integer.
clauses
  func(X) = Y :- 
    Y = X * X 
  run :-
    Y = func(2),
    console::write(Y).

Оцени полезность:

5   голосов , оценка 3.8 из 5