实现ProTest：用于精炼逻辑框模型的一个Prolog调试程序  

作　　者：SCHLE.,A 曹利华 

出　　处：《软件》1991年第4期299-317,共19页Software

关 键 词：调试程序 逻辑框模型 PROTEST 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]