For example, the Horn clause written above behaves as the procedure: to show u, show p and show q and ... and show t.
Наприклад, записаний вище диз'юнкт Горна поводиться як процедура: щоби показати u, показати p і показати q і … і показати t.