面向对象的prolog程序测试工具的研究与实现*

本文首先对prolog程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法．接着介绍了一个面向对象的prolog程序测试工具的设计与实现．