其次章 PROLOG 语言与人工智能程序设计PROLOG 是一门人工智能语言，是各种人工智能机器或学问工程系统的重要工具。利用人工智能语言，依据学问表达、学问推理、学问猎取技术与方法，设计和编写相应的程序，才能构成各种人工智能系统，实现人工智能的应用。第一节 人工智能程序综述一． 人工智能程序的特点1.学问信息处理：在人工智能系统中，通常需要进展符号形式的学问信息处理。如，比较、选择、分类、检索、存取„。对文字、图像、图形、语言进展理解 和识别的符号信息处理。2.非确定性推理：如在专家系统中，往往需要利用专家的阅历学问以及有关问题的启发信息进展非确定性推理，其中包括，模糊性——与人的思维、语言、行为的非确定性有关；随机性——与大事发生的偶然性有关。3.动态执行：由于人工智能问题求解过程的非确定性，在执行过程中需要动态的调用、存储学问，同时，需要动态地安排与释放存储空间。4.并行分布式处理：在确定性信息处理过程中，有一组任务需要同时执行，“与并行”；在非确定性信息处理过程中，需要附加并行处理资源，如参加启发信息，“或并行”。5.学问治理：人工智能的问题求解是以学问猎取、表达、存储和学问推理、利用为根底的。人工智能系统的学问水平的凹凸和解题力量的水平，取决于系统所拥有的学问多少和学问治理的水平。因此，如何对大量的学问信息进展合理存储以及有效治理、设计和建筑相应学问库以及治理系统，是需要解决的关键技术问题。6.“开放式”系统：所谓“开放式”系统是指其性能和构造可以不断修改、扩大的系统。由于人工智能问题的非确定性，动态执行的需要，以及学问库增删、更的要求等，因此，人工智能系统应当是具有学习，适应力量的开放式系统。二．人工智能程序设计语言人工智能程序设计语言主要用于学问信息处理，求解非数值计算的问题，如逻 辑推理、规划决策、分析论证、符号处理等，要求语言便于进展学问表达、存储、学问推理和学问猎取。我们把这种语言称为“面对学问工程”的语言。从学问信息 处理的角度来看，对人工智能程序设计语言要求如下：1.回溯功能〔Back-tracking〕，即返回追踪功能；2.守护功能〔Demon〕，即在非确定性算法中的程序守护功能；3.模式调用功能〔Pattern-directed Invocation〕，即模式匹配功能；4.过程证明功能〔Procedure Specification〕，用于解释推理过程；5.并行处理功能〔Parallel-Proceeding〕，或为并行处理功能，提高速度；现有的人工智...
