Anglais ⇄ Russe +

category predicate contraintes
progr.	категорийный предикат (в языке логического параллельного объектно-ориентированного программирования Logtalk Alex_Odeychuk)