短语词组短语parallel constraint logic programming 并行约束逻辑程序设计constraint logic programming clp 约束逻辑程序设计extended constraint logic programming 约束逻辑程序设计logic constraint programming 约束逻辑程序 返回 constraint logic programming