基于Prolog的二元关系闭包运算的研究与实现

摘要

在代数系统中,关系作为一种抽象工具,在计算机科学研究领域有着极其广泛的应用.文章在研究传统闭包求解方法的基础上,结合其思想给出了用人工智能语言Prolog实现传递闭包求解策略的思想与方法,并在实例中给予论证,此方法具有一定的典型研究意义及价值.%As an abstract instrument, relation was widely applied to the computer science in the algebraic system.On the basis of research of the traditional solution of closure and combined with its thought, this paper gave and demonstrated the thought and approach of realizing the conveying of solution of transitive closure strategy with the artificial intelligence prolog.And the approach had some typical research significance and value.