程序设计语言可划分为低级语言和高级语言两大类。与高级语言相比，用低级语言开发的程序，其{{u}} (1) {{/u}}，但在{{u}} (2) {{/u}}的场合，还经常全部或部分地使用低级语言。在低级语言中，汇编语言与机器语言十分接近，它使用了{{u}} (3) {{/u}}来提高程序的可读性。高级语言有很多种类，其中，prolog是一种{{u}} (4) {{/u}}型语言，它具有很强的{{u}} (5) {{/u}}能力。

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