约束求解器设计中的组件编程与互操作性
摘要：约束求解器的主要实现宿主曾经是Prolog。但现在似乎不再是这样。为了有用，约束求解器必须可以集成到用命令式或面向对象语言编写的工业应用程序中；为了高效，它们必须能与其他求解器进行交互。为了满足这些要求，现在许多求解器都以可扩展的面向对象库的形式实现。我们认为，“对象还不够”，并提出将求解器设计为组件化的库。我们通过描述原型架构的方式来说明我们的方法，并评估其优点和缺点。
作者：Frederic Goualard
论文ID：cs/0105011
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23