函数式程序设计语言和逻辑式程序设计语言都属于 (13) 语言。逻辑式语言的基础是 (14) ，如Prolog是逻辑式程序设计语言，它的基本运算单位是 (15) 。函数式语言是一种面向 (16) 的语言。

A．Horn子句
B．函数
C．子程序
D．模块

文艺复兴与宗教改革时期，具有较强群众性和普及性特点的教育是

A．人文主义教育

B．新教教育

C．天主教教育

D．耶稣会教育