入门：我应该在哪里编写程序？

Question

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

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

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

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

Answer 1

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