%0 Journal Article
%T 高阶函数式语言到逻辑式语言的转换
%A 宋立彤？
%A 金成植？
%A 王丹茹？
%J 软件学报
%P 611-615
%D 1996
%X 本文给出高阶函数式语言到ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、ｌａｍｂｄａ提升、顺序化以及ｐｒｏｌｏｇ中的ｃａｌ技术．本文的研究重点在于高阶性的处理上.
%K 高阶函数
%K 延迟计算
%K 抽象闭包
%K cal谓词
%K 顺序化
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19961004&flag=1