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

Semantics of Delay Declaration in Logic Programming Language Gdel and its Implementation

作　　者：曹炳义[1] 赵致琢[1] 

机构地区：[1]厦门大学计算机科学系,厦门361005

出　　处：《计算机科学》2012年第5期114-116,共3页Computer Science

基　　金：国家自然科学基金(69383004)资助

摘　　要：Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。The logic programming language Gdel 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del语言 延迟计算 进化代数 过程性语义 扩展Warren机 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]