so I am required to do an Answer-Set-Programming project, where we should solve some problem and create test cases, using the DLV solver.
According to the specification of the project we need to make the files G.dl, Ch.dl, and test.dl so keeping in mind that I am very new to all of this, here is my question:
what is this .dl file and how do I create one? or better yet:
Where am I supposed to write all these facts and rules (which I have on paper, by the way) to be able to save the as a .dl file?
Those are simple text files, you can write them in any text editor. There is also an online DLV solver at this webpage.