Text this: Ispolʹzovanie sredstv logicheskogo programmirovani︠i︡a v sistemakh postroeni︠i︡a kompil︠i︡atorov /