预蕴涵程序的英文翻译

中文：预蕴涵程序