Большой англо-русский словарь (с транскрипциями) PREDICATE logic-based language язык (программирования), основанный на логике предикатов