论文部分内容阅读
21世纪是信息化的时代，计算机技术是信息化时代的基础，人工智能技术是信息化时代的核心技术之一。要实现人工智能需要各种工具，例如计算机，专家系统开发工具等；尤其并行逻辑程序设计语言是人工智能的关键技术，是实现人工智能必不可少的工具。因此，它在下列方面具有广泛的应用前景：（1）各种专家系统和决策支持系统；（2）智能控制；（3）定理检验和证明；（4）系统程序和知识库；（5）智能计算和推理等。
本文阐述了人工智能与逻辑程序设计语言的关系，结合对并行逻辑程序设计语言KLI和KLIC的研究，重点介绍了KLI的语法描述，程序结构，数据类型与数据结构，以及KLIC的控制机构，并运用典型程序法对KLIC进行了性能测试和评价，最后指出了其应用前景。