SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机

SFCM:An Abstract Reduction Machine Supporting Logic Programming Language

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

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 reduction machine 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.