A Study of Constraint Inductive Logic Programming

• 约束归纳逻辑程序设计的研究