约束逻辑程序设计语言与系统的研究

约束逻辑程序设计CLP是当今计算机学科中具有战略意义的研究方向之一。本课题具有创新意义的研究内容和成果有：多重论域CLP系统（包括解释与编译，串行与并行）；CLP程序的抽象解释，部分演绎及两者结合方面的一系列新方法；区间算术在软件测试中的应用；约束归纳逻辑抽象设计CLP的新概念及在知识发现KDD中的应用，这些成果属国内在CLP方面的第一批成果，若干方面达到了当前国际先水平。共发表论文12篇，其中计算机学报，软件学报，计算机研究与发展8篇，重要国际会议2篇。本课题的研究已发展为国家863高技术计划课题。培养8名硕士生（4个已获得学位）。本工作最终导致在国产大规模并行机上运行的CLP系统。