@r(In, Out, Fm, Fun, Alg). - предикат отношения Симплекса.
In
Входные параметры отношения
Out
Выходные параметры отношения
Fm
Тип согласования
Fun
Функция
Alg
Алгоритм