程序设计语言可划分为低级语言和高级语言两大类。与高级语言相比,用低级语言开发的程序,其 ( ) ,但在 对时间和空间有严格要求 的场合,还经常全部或部分地使用低级语言。在低级语言中,汇编语言与机器语言十分接近,它使用了助记符号来提高程序的可读性。高级语言有许多种类,其中, PROLOG 是一种逻辑型语言,它具有很强的逻辑推理能力。