人工智能编程语言这项工作是授权下创作共用attribution-noderivs-noncommercial许可证。查看本授权的副本，访问：/ /所有组织/许可证。by-nd-nc / 1/或来信创作共用，559弥敦雅培，斯坦福大学，加利福尼亚94305，美国-This work is licensed under the Creative Commons Attribution-NoDerivs-NonCommercial License. To view a copy of this l

一个基于约束满足的规划程序,将规划问题转换为约束满足问题来求解,输入为PDDL规划语言,产生合理的规划- CPlan solves planning problems formulated as constraint satisfaction problems. Copyright (C) 1999 Peter van Beek and Xinguang Chen This program is free software you can re