约束程序为人工智能的一个重要研究方向,约束程序手册是一个不错的学习资料