answer-set-programming - 入门：我应该在哪里编写程序？

Question

所以我需要做一个 Answer-Set-Programming 项目，我们应该使用 DLV 求解器解决一些问题并创建测试用例。

根据项目规范，我们需要制作文件G.dl、Ch.dl和test.dl，所以请记住，我对这一切都很陌生，这是我的问题：

这个 .dl 文件是什么，如何创建一个？或者更好：

我应该在哪里写下所有这些事实和规则（顺便说一句，我在纸上写了）才能将其保存为 .dl 文件？

Answer 1

这些是简单的文本文件，您可以在任何文本编辑器中编写它们。此网页上还有一个在线 DLV 求解器。