标签: answer-set-programming
所以我需要做一个Answer-Set-Programming项目,我们应该使用DLV求解器解决一些问题并创建测试用例。
根据项目规范,我们需要制作文件 G.dl , Ch.dl 和 test.dl 请记住,我对这一切都很陌生,这是我的问题:
这个.dl文件是什么,我该如何创建?或者更好:
我应该在哪里编写所有这些事实和规则(顺便说一下,我已经在纸上写了)才能保存为.dl文件?
答案 0 :(得分:1)
这些是简单的文本文件,您可以在任何文本编辑器中编写它们。 this webpage还有一个在线DLV求解器。