高阶函数式语言到逻辑式语言的转换  

A TECHNIQUE FOR TRANSFORMING HIGHER ORDER FUNCTIONAL LANGUAGE TO LOGICAL LANGUAGE

作　　者：宋立彤[1] 金成植[1] 王丹茹 

机构地区：[1]吉林大学计算机科学系

出　　处：《软件学报》1996年第10期611-615,共5页Journal of Software

摘　　要：本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．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.

关 键 词：程序语言 高阶函数式语言 逻辑式语言 

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