###
DOI:
Journal of Software:1996.7(10):611-615

高阶函数式语言到逻辑式语言的转换
宋立彤,金成植,王丹茹
(吉林大学计算机科学系,长春,130023)
A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGE
Song Litong,Jin Chengzhi,Wang Danru
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3102   Download 3003
    Revised:July 10, 1995
> 中文摘要: 本文给出高阶函数式语言到Prolog语言的一种转换技术.其中主要用到抽象闭包分析、Lambda提升、顺序化以及Prolog中的Cal技术.本文的研究重点在于高阶性的处理上.
中文关键词: 高阶函数  延迟计算  抽象闭包  cal谓词  顺序化  
Abstract:The paper gives a technique for transforming higher order functional language to Prolog language, such techniques as Lambda lifting, abstract closure analysis, sequentialization and predicate call in Prolog are used. The main research of this paper is aimed at higher order function.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

宋立彤,金成植,王丹茹.高阶函数式语言到逻辑式语言的转换.软件学报,1996,7(10):611-615

Song Litong,Jin Chengzhi,Wang Danru.A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGE.Journal of Software,1996,7(10):611-615