PARLOG顺序编译实现技术

来源 :软件学报 | 被引量 : 0次 | 上传用户:hzp901124
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
PARLOG语言是一种并行逻辑程序设计语言。其关系定义分为单解关系和所有解关系。本文着重讨论PARLOG单解关系基于与/或树模型和进程调度方法的顺序编译实现技术。
其他文献
目的观察胸膜腔内置引流管注入尿激酶治疗结核性包裹性胸腔积液的效果。方法将30例结核性包裹性胸腔积液患者,随机分成二组,均给予常规抗结核治疗,治疗组置引流管后胸腔内注入尿
视频点播VOD是用户通过网络点播视频服务器视频节目的一种新型交互式多媒体应用。VOD系统对计算机系统的实时性、通用性、可扩展性以及网 传输与控制提出了更高要求。
目的对比观察使用白三烯拮抗剂和未用该药对咳嗽变异性哮喘患者的访治效果。方法将剧烈干咳持续三周以上,抗菌药无效的56例咳嗽变异型哮喘患者分为两组,治疗组31例,对照组25例,两
目的总结初治渗出性结核性胸膜炎的临床资料,为其治疗提供借鉴。方法对67例渗出性结核性胸膜炎患者应用2HRZE/4HR短程化疗方案,结合口服激素及反复胸腔抽液进行治疗。结果胸穿抽
目的探讨微卡(母牛分枝杆菌菌苗)治疗肺结核合并糖尿病的疗效。方法将120例肺结核合并糖尿病病人按入院先后顺序分为微卡加化疗组即治疗组,与单纯化疗组即对照组,每组各60例;治疗
沙眼是农村的常见病,我们在农村开展治沙防盲工作中发现,很多沙眼病人都进行过治疗,但治疗效果并不满意。为了探讨治疗失败的原因,为合理治疗提供依据,我们对300例有过治疗史
本文介绍手写印刷体汉字识别方法2-D EAG。主要的工作为:提出了二维扩展属性文法模式识别方法,可实现自底向上归约和自顶向下推导双向信息传递和控制;提出了一种直接利用二维信息进行识别的方式,可避免特征线性化造成的信息丢失;提出了多义文法、共生文法和结构推断三种在文法之间建立联系,利用结构类比区分极相似字的 识别算法;提出了多冗余归约机制,双边缘弹性跟踪笔段抽取算法,多冗余有引导部件抽取算法。用2-
随着社会的快速发展和进步,信息技术已经逐渐融入人们的生活,并且对人们的生活方式和行为产生了巨大的影响。通过在中职院校课堂教学中融入信息技术,能够促使教学过程得到优化,对于提升教学当中的趣味性也具有一定的积极影响,因此需要加以重视。  一、中职院校课堂教学效果差的原因  1.学生兴趣低  中职教育在当前几乎是一种零门槛、设限极低的教育。进入中职院校的学生大多数都是中考当中的落榜生。可以说,这些学生是
职业生涯教育重在体验,在体验中培养学生确立职业目标,提升其作为准职业人的职业素质。本文意在重视学生的作业设计,通过"思诊互通"体验式作业设计和应用,构建中职卫校特色的
COPD是一种气流受限的疾病,气流受限呈进行性加重,在急性加重期(AECOPD)由于感染等多种因素导致了气道黏液高分泌,气道黏液高分泌可导致肺功能的下降,肺通气功能的下降又可使疾病反