多机并行PROLOG处理系统WUMPPS的设计与实现

本文给出了我们在武汉大学分布式计算机系统上开发的多机并行PROLOG处理系统WUMPPS的概貌。文章着重讨论了WUMPPS的设计思想及其实现策略,此外还通过WUMPPS运行的一个程序对系统性能作了简单分析。     

代德景问题的机械算法

数学定理的证明是人类演绎能力的最集中表现,能否使数学定理证明机械化,是人工智能中的一个重要课题。六十年代以来,定理的机械证明,引起了人们极大的兴趣[1,2]。由于计算机的计算速度快,许多需要通过大量计算,才能获得其结论的问题,就可以通过计算机的计算,求出部分结果,猜出结论,然后编好程序,让机器进行自动证明。文献[1]对于     

对自由分配格进行等价分类的机械算法

本文给出了对自由分配格进行等价分类的一种机械算法,并且得到了计算自由分配格D_n的等价类数目的公式。利用这个公式,我们算得D_6的等价类数目是16353。