This paper describes the general architecture, reductional operational semantics and the interpretation implementation techniques of RFUNLOG.

• 本文介绍RFUNLOG语言的总体结构、 归约操作语义及其解释实现技术。