论文部分内容阅读
针对传统编程编写的代码可扩展性差的问题,引进一种声明式编程方法,利用行为语言C+进行问题表征与求解。以经典的倒水问题为例,利用C+语言进行主体规则以及目标查询表征,通过调用求解器cplus2asp实现对倒水动作规划。实验证明,用C+语言进行编程,语法简单且求解过程具有自主推理能力,并且可任意增添或删减语句而不影响其他语句执行,具有很高的扩展性。