| 摘要: |
| 本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．本文的研究重点在于高阶性的处理上. |
| 关键词: 高阶函数 延迟计算 抽象闭包 cal谓词 顺序化 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGE |
|
Song Litong,Jin Chengzhi,Wang Danru
|
| 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. |
| Key words: Higher order function lazy evaluation abstract closure call predicate sequentialization. |
