Constraint programming especially constraint logic pro gr amming(CLP)and concurrent constraint programming(CCP)is becoming more and more important in the field of AI programming.

• 约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。