%0 Journal Article %T 面向对象的PROLOG程序测试工具的研究与实现* %A 侯广德 %A 王雷 %J - %D 1995 %X 本文首先对Prolog程序中的错误进行了系统的分类,并对各类错误提出了相应的测试算法.接着介绍了一个面向对象的Prolog程序测试工具的设计与实现 %K 测试工具 %K Prolog %K 面向对象. %U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1995s112&flag=1