基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究

【作者】赵岭忠；

【作者基本信息】西安电子科技大学，模式识别与智能系统， 2007，博士