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

本文给出高阶函数式语言到ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、ｌａｍｂｄａ提升、顺序化以及ｐｒｏｌｏｇ中的ｃａｌ技术．本文的研究重点在于高阶性的处理上.