Сегодня такая же пара как и вчера, в смысле, функция и предикат Pilog.
repeat - делает текущее определение Pilog «хвостовым вызовом» (рекурсивным), закрывая ранее определенные правила в свойстве T определения, в циклический список.
repeat/0 - предика...