язык, основанный на логике предикатов ( как функций нескольких переменных )
PREDICATE LOGIC LANGUAGE
Англо-русский перевод PREDICATE LOGIC LANGUAGE
English-Russian dictionary of mechanical engineering and automation 2. Англо-Русский словарь по машиностроению и автоматизации производства 2. 2003