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