逻辑编程方法在约束满足问题的表示和求解中的比较
摘要：逻辑编程方法可以用于描述和解决组合搜索问题。一方面，确定性程序和约束逻辑程序可以计算解作为约束满足问题中包含变量的查询的答案替换。另一方面，基于稳定模型语义、双赋值求解、和一阶逻辑模型生成的方法可以计算解作为某个理论的模型。本文从知识表示的角度（程序的声明性如何）和性能的角度（解决典型问题的能力如何）对这些不同方法进行比较。
作者：Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe
论文ID：cs/0003026
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23