高级程序语言的一种划分标准是按照语言的计算模型，将高级语言分为声明式式和命令式两个大类，前者进一步划分为（）