【摘要】 本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。更多还原

【Abstract】 This paper proposes an abstract reduction machine supporting logic programming lang-uage—SFCM(Spread FFP Combinator Machine).In fact,it is an extention of the abstract reductionmachine for function programming language—FCM.The aim of designing SFCM is to integrate func-tion programming language and logic programming language on the abstract reduction machine.Finally,we discuss the implementation of SFCM and give its results of performance test through experiment.更多还原