论文部分内容阅读
ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑提出了ＰＲＯＬＯＧ程序正确性的一种证明方法。
PROLOG逻辑程序正确性证明
【摘 要】
：
ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑提出了ＰＲＯＬＯＧ程序正确性的一种证明方法
【机 构】
：
上海海运学院计算机系ＣＡＤ研究室
【出 处】
：
上海海运学院学报
【发表日期】
：
1995年1期
其他文献
一位教育家说:"儿童每天来到学校,并不是以纯粹致力于学习的人的面貌出现的."他们"除了怀有获得知识的愿望外,还带来了他自己的情感世界."老师的任务绝不仅仅是让学生每天载
简要介绍了自行开发成功,具有中英文两种界面的"集装箱船配积载计划编制教学模拟系统"的特点、运行环境和教学模拟方面的特别设计.该系统可广泛地用作海运院校海船适任船员"
这是一个阳光明媚的早晨,我像往常一样早早地走进教室,准备迎接每一个学生的到来.站上讲台,我习惯地巡视四周.突然,一个孩子的目光和我相遇,我刚想用微笑和他打个招呼,他却躲
做学习型、研究型的教师是教师专业化发展的必由之路.成都市树德中学创设研究性的学习化组织,以学校具体教学问题研究为载体,校本培训和校本研究一体化,促进了教师和学校发展
目的：探讨高危型人乳头瘤病毒（HPV）的DNA的检测结果，在宫颈癌的筛查中所起的作用。方法：采用回顾性的研究方法，选取2012年2月至2013年2月在我院妇科门诊进行宫颈癌病前检查的1834名
本单元教学内容的编排，改变了现行九年义务教育教材把大数的认识分成“亿以内的数”和“亿以上的数”两个单元分散教学的做法。这样编排，具有以下六大特点：一、集中进行大数认识
本文将激光致热作为第二边界条件,运用热弹塑性有限元方法计算了钢柱体自冷淬火后的残余应力,计算结果与实验值接近。
本文论述了一种由感应同步器为位置检测元件,单片微型计算机为控制器的位置测量和控制仪。该测控仅电路简单、成本低、可靠性强、测量精度高,并且有充分的可扩展性。可广泛应
随机性是运输系统的主要特性之一。但是,过去由于随机系统的优化手段不够成熟,计算量相当大,因此,在实际优化过程中不得不作了许多简化与假设。这样对最后所得到的优化结果的