PREDICATE LOGIC LANGUAGE Англо-русский перевод PREDICATE LOGIC LANGUAGE язык (программирования), основанный на логике предикатов New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011