入门:我应该在哪里编写程序?

时间:2015-06-09 13:07:59

标签: answer-set-programming

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

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

这个.dl文件是什么,我该如何创建?或者更好:

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

1 个答案:

答案 0 :(得分:1)

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