hl(P, Alg).
hl(P, Alg).
Предикат выделения списочной переменной
P
в алгоритме
Alg
hl
(d1, 'Главный').
Да
hl
(d1, 'Главный'),
hl
(p1, 'Главный').
Да
