摘要
本文深入讨论了Turbo-Prolog的“表内套表”结构,提出并应用“截表法”,定义和实现了一套支持矩阵运算的谓词。从而增强了Turho-Prolog的数据处理能力,使它更适合于构造“定性推理和定量运算相结合”的智能系统。
In this paper, the nested list structure that the elements in a list are also lists has been discussed in details. And then, a set of predicates has been defined and used to sup- port matrix operation by using' list severing method'. With the data processing capacity greatly enhanced, it is suitable for Turbo-Prolog to construct intelligent system that com- bines inference with calculating.
出处
《包头钢铁学院学报》
1992年第2期23-27,共5页
Journal of Baotou University of Iron and Steel Technology