dram.me

答案集程序设计(Answer set programming)

无意间看到Potassco项目,进而了解到答案集程序设计(Answer set programming)的概念。

总体来说,要学习答案集程序设计,需要有这几方面的基础:逻辑编程知识表示、稳定模型(Stable model),这样的门槛不低。

以下是一些参考资料: