函数／逻辑语言归约实现技术

A FUNCTION/LOGIC LANGUAGE IMPLEMENTATION TECHNIQUE WITH REDUCTION SEMANTICS

摘要: ＲＦＵＮＬＯＧ是我们在ＬＮＦ演算基础上自行设计实现的一种函数／逻辑语言，它具有统一的操作语义。本文介绍ＲＦＵＮＬＯＧ语言的总体结构、归约操作语义及其解释实现技术。

Abstract: RFUNLOG is a function/logic programming language designed and implemented by ourselves. It has integrated operational semantics. This paper describes thegeneral architecture, reductional operational semantics and the interpretation implementation techniques of RFUNLOG.