English ⇄ Russian

set of clauses stresses
progr.	множество дизъюнктов (специфицирующее одно и то же отношение, именуется процедурой в языке программирования Prolog Alex_Odeychuk)