SFCM:An Abstract Reduction Machine Supporting Logic Programming Language

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.