关键词: Godel语言，延迟计算，进化代数，过程性语义，扩展Warren机

Abstract: 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.

Key words: Programming language Uodel,Delay computation, Evolving algebra, Procedural semantics, Extended WAM