过程演绎系统的英文翻译
中文：过程演绎系统
英文翻译：【计】 procedural deduction system