在Turbo+Prolog中用“截表法”实现支持矩阵运算的谓词集研究.pdfVIP

在TurboProlog中用 “截表法”实现 支持矩阵运算的谓词集 谭建福 (西安建筑科技大学，西安，710055) 摘 要 本文在Turbo Prolog表处理的基础上，讨论了表内套表(即表的元素仍是表)结构，并给 出了用 截“表法”实现的支持矩阵运算的自定义谓词集，从而增强了TurboProlog的数据处理能力，使 它更适合于构造 “定性推理和定量运算相结合”的智能系统。 关键词 TurboProlog 智能 表处理 引 言 Prolog是公认的Al语言之一，它一改过程型语言的格局，支持自动搜索，匹配合 一及回溯机制.是强于推理的语言。Porlog虽然也有一定的运算能力，但在数据处理， 特别是矩阵运算方面与已有的过程型语言相比，差距很大。 一个成熟的智能决策支持系统或专家系统，往往是 “定性推理和定量运算相结合即 的系统。即推理过程中常常伴随着大量的数据处理，而立足于Prolog语言本身，利用Prolog 丰富的内部谓词和表处理能力，扩展其数据处理能力，很