Indexed by：
Abstract：
提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统.该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机工程
ISSN： 1000-3428
Year： 2003
Issue： 19
Volume： 29
Page： 6-7,25
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 4
Chinese Cited Count：
30 Days PV： 9
Affiliated Colleges：
