【从函数式语言到逻辑式语言的转换核技术与实现】王丹如.pdf

【从函数式语言到逻辑式语言的转换核技术与实现】王丹如.pdf

从函数式语言到逻辑式语言的转换技术与实现 A Technique And Implementation For Transforming FunctionalLanguagesIntoLogicaILanguages 作 者:王丹如 导 师:周长林副教授 专 业:计算机软件 吉林大学计算机科学系 一九九四年四月目录 前言 第一章 程序转换简介 第二章 函数型语言与逻辑型语言简介 2 Lambda演算 S 2 SML语言简介 2 Prolog语言简介 第三章 SML到Prolog转换的-般思想 第四章 转换系统的设计与实现 .4 系统简介 S4 预处理 .4 提升 4 转换控制 .4.包含复杂成分,离实际语言有很大的范商.本文给出的是由函数式语言到逻辑式语言白动转换技术及其实现策 略,并实现了一个实验转换系统、这两种歌型语司一个是以Lambda演等为 基础的函数型SML语言,另一个是以一除逻黄为是础的逻督型Pra1og语言.从函数型语言到逻辑型语言的转换技术:对子软件工程、软件自动生成等 领域有着极为重要的作用。在研究转换的过程中使我们更深刻的体会了这 两种语言的内在联系,同时总结出的一些好方法对我们今后的研究工作也 会有很大帮助的。