论文部分内容阅读
本文首先对Ｐｒｏｌｏｇ程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法，接着介绍了一个面向对象的Ｐｒｏｌｏｇ程序测试工具的设计与实现。
面向对象的PROLOG程序测试工具的研究与实现
【摘 要】
：
本文首先对Ｐｒｏｌｏｇ程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法，接着介绍了一个面向对象的Ｐｒｏｌｏｇ程序测试工具的设计与实现。
【出 处】
：
软件学报
【发表日期】
：
1995年A01期
其他文献
计数算法是最著名的ＳＬ递归处理地之一。对于一类称作计数线的递归，它具有良好的性能，然而，计数算法要求查询的约束集为单值的，因此很难用作子目标的处理策略，本文提供一种新的广义查
笔者想从三个方面谈谈“读组合体视图”的教学问题。 一、搞好组合体读图教学的重要意义: 组合体读图教学的好坏,可以说关系到整个《机械制图》这门课教学的成败。这是由组合
卞侃总经理小启:来者都是客,全凭嘴一张。就事论事,品头论足,过一把诸葛孔明羽扇纶巾舌战群儒之瘾。请标明自己为正方观点或反方观点,将一家之言投至本刊“金舌头乐园”卞侃
“中国技工学校校办企业协作基金会”(以下简称基金会)于1995年5月7日至10日在浙江省杭州市召开了第二次会员代表大会。51家会员单位的负责人及厂长(经理)共78人出席了大会。
马克思主义公共经济理论具有丰富内涵和科学价值。马克思主义公共经济理论是制定社会主义国家公共政策的科学依据；社会主义国家公共政策是马克思主义公共经济理论的具体体现。
LogC语言和环境面向知识推理,旨在为包括专家系统在内的一大类智能软件系统设计提供一般目的的集成化环境支持,本文从知识表示、推理效率和环境结构化等三方面阐述LogC语言和
我国区域经济的发展伴随着国家“一五”计划的实施而不断变化发展着，改革开放后，我国区域经济发展呈现了蓬勃发展的态势，新时期，我国区域经济的进一步发展面临着机遇与挑战并存的
招远市技校创办于1985年6月,是山东省第一所县(市)办技校。学校规模为600人,建筑面积22583平方米,拥有固定资产1170万元。现开设10个专业,有21个教学班,在校学生842人。学校
目的探讨营养状况与儿童结核病患者的关系。方法对2007年1月～12月在本院住院治疗的结核病患儿营养状况分析。结果婴幼儿患结核较多（39．0％）；结核性脑膜炎在学龄前儿童较多（41．7％，P〈0．05），