约束归纳逻辑程序设计系统