Seol mar théacs é seo: Metody predikatnogo programmirovani︠i︡a :