人工智能语言是一类适应于人工智能和知识工程领域的、具有符号处理和逻辑推 理能力的计算机程序设计语言,其中 Prolog 是当代最有影响的人工智能语言之 一。