PROLOG元级解释器的一种实现

来源 :郑州轻工业学院学报 | 被引量 : 0次 | 上传用户:m2564
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
采用广度优先搜索策略给出了一个完整的PROLOG元级解释器的实现,它能使用户了解和访问PROLOG的执行过程。
其他文献
对肟类用Mn(Ⅱ)/Mn(Ⅲ)体系选择性间接电氧化进行了研究,找出了制备Mn(Ⅱ)的最佳条件,Mn(Ⅱ)到Mn(Ⅲ)的转化率为98.7%,电流效率为67.9%,实验结果表明,肟类氧化的产率高,选择性好,反应条件温和,操作简便,阳极液可重复使
用中空式膜超滤和分步碱沉淀处理玉米浸泡液提取菲汀,纯度好,得率高,可充分利用原料,得到高质量的蛋白饲料,推广于工业生产,可大大提高企业经济效益,本文对此从理论和实践上
介绍了在冰醋酸中邻香兰醛和氢溴酸作用生成2,3-二羟基苯甲醛的合成方法,该方法操作方便,安全可靠,且收率较高,对科研同行和试剂生产厂家有重要的参考价值。
芬兰维萨拉公司最新研制的光学CO2传感器Carbocap,其工作原理采用了单束双波长非发散性红外线测量方法,其独特之处在于它的滤光镜-一种袖珍电子调谐干扰仪,这种滤光镜保证了它所透过
介绍了一种以分离大豆蛋白为主要原料的蛋白食品——人造营养果脯的加工原理、工艺流程和配方等。
介绍了Yong的概念和Yong分析方法,并用Yong分析方法对单级蒸汽压缩式制冷循环进行了分析;通过探讨在循环的不同过程中的热力学损失,找出循环的薄弱环节并提出改造循环的方法。
考察了一次剔除一组或多组数据对某些点处拟合值的影响问题,得到了影响度量的广义类,它包含了Cook距离、Welsch-Kuh统计量AP统计量等。
在灰色系统预报GM模型的基础上,提出了机械设备故障状态的灰色预报方法,利用该方法可以及早弄清故障的发展趋势,及早判明故障对设备的危害程度,从而对故障状态下的设备停车与否的决
从结构与液体的耦联振动方面分析了粘性流体对结构固有频率和阻尼的影响:利用水中柱体的振动方程分析结构固有频率下降的原因,利用结构损耗因子及粘性流体的粘性系数说明阻尼增
介绍了用高压釜在高温及压力条件下,将γ-丁内酯氮化合成α-吡咯烷酮的实验情况。测定了原料配比、停留时间、氨浓度、温度、装料量、加压等多种因素对γ-丁内酯转化率、α-