G(o)del语言延迟声明语句的语义及其实现方法

摘要

The logic programming language Godel is developed slowly since its appearance due to its complex language components and the lack of rigorous semantic foundation and mature compilers. In this paper, we firstly described the procedural semantics of its delay computation using evolving algebra. Then the specific implementation methods were introduced with a flow chart and a description by C language. Finally the execution of delay computation in the compiler based on extended Warren's Abstract Machine was illustrated. Its feasibility was proved by the implementation.%G(o)del语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢.对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述.最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况.实验结果表明了其可行性.