论文部分内容阅读
定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统。
一种函数式语言到PROLOG的转换技术
【摘 要】
：
定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统。
【机 构】
：
吉林大学计算机科学系,中国科学院长春光学精密机械研究所
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1996年1期
其他文献
柯达万印公司(Kodak Versamark)是伊士曼柯达公司(NYSE：EK)旗下的全资子公司．是为全彩．专色和单色印刷领域提供超高速．100％可变数据、数码印刷解决方案的世界领先的系统生产商。公
2013年6月26日，从桂林市安全生产监督管理局获悉，桂林橡机通过第三方安全评审单位的评审，依据国家安监局印发的《机械制造企业安全质量标准考核评级标准》的规定，达到三级安全生
从减少不必要的安全性检查和缩小检查范围入手，给出银行家算法的一项改进，使其实现效率得到一定程度的提高。
证明了常微分方程（ａ（ｔ，ｘ，ｘ‘）ｘ’）‘＝ｆ（ｔ，ｘ）的２π周期解及其两点边值问题解的存在性。
近日，我公司接到一批印刷无碳复写纸的订单．在开机印刷时发现背面有输纸轮压过的痕迹．而且非常明显。由于该胶印机采用的是重叠式输纸．前张纸的拖梢处和后张纸的叼口处必须有段重
由北京化工研究院研发的聚乙烯BCE催化剂在泰国BPE公司125kt·a^-1三井聚乙烯装置成功试用，此次试用成功为BCE催化剂进入泰国市场奠定了基础。
一种可用来生产直径219～1 680 mm直埋保温管材的塑机设备,最近在青岛华仕达机器有限公司研制成功。青岛华仕达机器有限公司研发的大口径直埋保温管材采用真空定径技术,配置PLC
本文给出了多元离散均值变点模型和具有多维正态分布的均值变点问题的递推估计方法。
凹版印刷由于具有高效率、高稳定性的特点,近年来在我国得到快速、空前的发展.特别是在烟草包装领域,可以说凹版印刷使烟草包装印刷业经历了次革命.不同的印刷企业,虽然引进
证明了初边值问题 u/t=(k（u）|u|M-1u),在[RN{0}]×（0,+∞）内,N≥1, u（x,0）=0,当|x|>0, u（0,t）=B>0,当t>0, u（x,t）→0,当t>0且|x|→∞,在M>N—1,K（u）连续且正时,对正数B存在非负连续相