程序设计语言可划分为低级语言和高级语言两大类。与高级语言相比，用低级语言开发的程序，其__（1）__，但在__（2）__的场合，还经常全部或部分地使用低级语言。在低级语言中，汇编语言与机器语言十分接近，它使用了__（3）__来提高程序的可读性。高级语言有许多种类，其中，PROLOG是一种__（4）__型语言，它具有很强的__（5）__能力。空白（5）处应选择（）

• A、控制描述
• B、输入/输出
• C、函数定义
• D、逻辑推理