含义为“公式翻译程序语言”。计算机编程语言。一种以某一形式代表数学公式，能由计算机进行处理的高级语言(参见“计算机程序”[program])。广为科学家和工程师应用，也应用于商业团体。
科学时代收录了46211条科普词条，基本涵盖了常见科普常识及英语词汇的翻译，是科学学习和研究的有利工具。