SC-PROLOG逻辑程序编译系统实现方法

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:luckyphilip
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了设计SC-PROLOG逻辑程序编译系统时所采用的方法,解决了系统设计方案,中间代码选择,动态编译实现以及优化手段实现等问题。分析和讨论了在无微解释器硬件支持的条件下,选择高级语言作为编译目标码的方法
其他文献
本文介绍了利用STD总线工控机实现生物发酵过程控制和管理的硬件和软件结构及实际应用。
期刊
站点数据库访问技术是Web技术与数据库技术有机结合的产物。本文介绍了当前流行的各种站点数据库技术及其它们的区别,并对这些技术进行了评论。
期刊
本文提供了一种建立群体决策支持系统的决策模型的通用智能化生成方法,我们通过引进模型树将所用到的所有决策模型联结在一起,使得求解模型过程自动化。
期刊
本文讨论了关于局部受损图象的恢复问题。尝试应用插值的原理去求得受损处的采样值。求解时使用了两种方法,并且对它们的效果进行了实验对比。
期刊
本文主要探讨在LotusDomino的环境中服务器安全性的控制、层次结构命名机制、客户机安全性的问题,研究使用公钥/私钥进行双向身份认证和加密的安全保障以及禁止未授权访问的具体措施。在实践企业网技术的过程中,我们得出要使企业网络、服务器/客户机和应用程序得到最大程度的安全性保障,就必须从不同的层次上对网络安全性进行整体的设计,同时还要选择一个好的实施平台也是非常重要的结论
期刊
本文在分析了Windows环境下串行通信机制的基础上,介绍了分布式系统中上位PC机与下位单片机串行通信协议以及数据块的发送与接收过程。
期刊
本文在指出两层C/S结构存在的问题的基础上,提出了三层C/S结构的结构、各层功能、优点,最后简单地给出了实现的方案
期刊
随着Internet/Intranet的普及,安全性问题也日益引起人们的关注。本文通过开发同舟生命卡网上服务系统的实际经验,提出了在C/S模式下,针对系统安全性所采取的若干方法与技术,包括内核级透明代理、用户授权机制、智能型日志和备份恢复机制。
期刊
本文研究了开发国家高新区基建项目管理信息系统的方法。介绍了数据库和系统逻辑模型的设计思路,并说明了面向对象的程序设计方法在本系统中的应用。
期刊
本文分析了Protel原理图文件的结构,讲述了在VisualC++下读取和显示Protel原理图的方法和步骤,并给出了程序流程图
期刊