论文部分内容阅读
集合引入逻辑程序语言可以丰富逻辑程序语言的语义,但同时也增加了计算的复杂性本文介绍了一种基于集合项的归约演算,并且对集合项的存储和含集合符号的逻辑程序语言的计算进行了一些探讨.本文所介绍的方法通过规则编译时对存储有序集的改写,使得对集合的匹配通过一般函数的匹配算法就可以完成,提高了计算的效率.